Wat als je geen verantwoording zou hoeven op te offeren voor snelheid bij het gebruik van SNARKs? Wenhao Wang van @Yale presenteert Cirrus: het eerste gedistribueerde SNARK-protocol dat tegelijkertijd horizontale schaalbaarheid, verantwoording en een universele vertrouwde setup bereikt.

Hoewel gedistribueerde bewijs generatie essentieel is voor het schalen van Verifiable ML en zkVM's, gaan bestaande protocollen vaak ten koste van verantwoordelijkheid of opzet flexibiliteit. Cirrus, gebouwd op HyperPlonk, doorbreekt deze bottleneck. Belangrijke metrics: - Lineaire berekening & logaritmische communicatie. - Lokalisatie van defecte werkers in <3 seconden. - 15x sneller dan Hekaton (CCS'24) voor Pedersen-hashes.