E se non dovessi sacrificare la responsabilità per la velocità quando utilizzi SNARKs? Wenhao Wang di @Yale presenta Cirrus: il primo protocollo SNARK distribuito in grado di raggiungere simultaneamente scalabilità orizzontale, responsabilità e una configurazione fidata universale.

Mentre la generazione di prove distribuite è fondamentale per scalare il ML Verificabile e i zkVM, i protocolli esistenti spesso sacrificano la responsabilità o la flessibilità di configurazione. Cirrus, costruito su HyperPlonk, rompe questo collo di bottiglia. Metriche chiave: - Computazione lineare e comunicazione logaritmica. - Localizzazione dei lavoratori difettosi in <3 secondi. - 15 volte più veloce di Hekaton (CCS'24) per gli hash di Pedersen.