Hva om du ikke måtte ofre ansvar for fart når du bruker SNARK-er? Wenhao Wang fra @Yale presenterer Cirrus: Den første distribuerte SNARK-protokollen som samtidig oppnår horisontal skalerbarhet, ansvarlighet og et universelt pålitelig oppsett.

Selv om distribuert bevisgenerering er nøkkelen til å skalere verifiserbar ML og zkVM-er, går eksisterende protokoller ofte på bekostning av ansvarlighet eller fleksibilitet i oppsettet. Cirrus, bygget på HyperPlonk, bryter denne flaskehalsen. Nøkkelmålinger: - Lineær beregning og logaritmisk kommunikasjon. - Feilaktig arbeiderlokalisering på <3 sekunder. - 15 ganger raskere enn Hekaton (CCS'24) for Pedersen-hasher.