¿Y si no tuvieras que sacrificar la responsabilidad por la velocidad al usar SNARKs? Wenhao Wang de @Yale presenta Cirrus: el primer protocolo SNARK distribuido que logra simultáneamente escalabilidad horizontal, responsabilidad y una configuración universal de confianza.

Aunque la generación distribuida de pruebas es clave para escalar Verifiable ML y zkVMs, los protocolos existentes a menudo sacrifican la responsabilidad o la flexibilidad de configuración. Cirrus, construido sobre HyperPlonk, rompe este cuello de botella. Métricas clave: - Computación lineal y comunicación logarítmica. - Localización defectuosa del trabajador en <3 segundos. - 15 veces más rápido que Hekaton (CCS'24) para hashes de Pedersen.