¿Qué pasaría 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 de confianza universal.

Mientras que la generación de pruebas distribuidas es clave para escalar el ML verificable y los zkVM, 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: - Cálculo lineal y comunicación logarítmica. - Localización de trabajadores defectuosos en <3 segundos. - 15 veces más rápido que Hekaton (CCS'24) para hashes de Pedersen.