Que se passerait-il si vous n'aviez pas à sacrifier la responsabilité pour la rapidité en utilisant des SNARKs ? Wenhao Wang de @Yale présente Cirrus : le premier protocole SNARK distribué à atteindre simultanément la scalabilité horizontale, la responsabilité et une configuration de confiance universelle.

Alors que la génération de preuves distribuées est essentielle pour l'évolutivité de l'IA vérifiable et des zkVM, les protocoles existants échangent souvent responsabilité ou flexibilité de configuration. Cirrus, construit sur HyperPlonk, brise ce goulot d'étranglement. Principaux indicateurs : - Calcul linéaire et communication logarithmique. - Localisation des travailleurs défaillants en <3 secondes. - 15x plus rapide que Hekaton (CCS'24) pour les hachages de Pedersen.