Ce-ar fi dacă nu ar trebui să sacrifici responsabilitatea pentru viteză când folosești SNARK-uri? Wenhao Wang de la @Yale prezintă Cirrus: primul protocol SNARK distribuit care atinge simultan scalabilitate orizontală, responsabilitate și o configurație universală de încredere.

Deși generarea distribuită de dovezi este esențială pentru scalarea Verifiable ML și zkVMs, protocoalele existente adesea au un schimb între responsabilitate și flexibilitate la configurare. Cirrus, construit pe HyperPlonk, depășește acest blocaj de sticlă. Metrici cheie: - Calcul liniar și comunicare logaritmică. - Localizare defectuoasă a muncitorilor în <3 secunde. - De 15 ori mai rapid decât Hekaton (CCS'24) pentru hash-uri Pedersen.