Tänk om du inte behövde offra ansvar för hastighet när du använder SNARKs? Wenhao Wang från @Yale presenterar Cirrus: Det första distribuerade SNARK-protokollet som samtidigt uppnådde horisontell skalbarhet, ansvarstagande och en universell betrodd uppsättning.

Även om distribuerad bevisgenerering är nyckeln för att skala verifierbart ML och zkVMs, kompromissar befintliga protokoll ofta med ansvar eller flexibilitet i inställningarna. Cirrus, byggd på HyperPlonk, bryter denna flaskhals. Nyckelmått: - Linjär beräkning och logaritmisk kommunikation. - Felaktig lokalisering av arbetaren på <3 sekunder. - 15 gånger snabbare än Hekaton (CCS'24) för Pedersen-hashar.