Compte rendu du sommet Zéro Connaissance 2024

Le 11ème sommet sur les preuves à divulgation nulle de connaissance s'est tenu à Athènes le 10 avril, avec environ 500 participants. La conférence a couvert plusieurs sujets brûlants, notamment le matériel de preuve à divulgation nulle de connaissance, les performances SNARK et les réseaux de preuve décentralisés.

Progrès du matériel ZK

Un chercheur a présenté un aperçu du domaine du matériel ZK, y compris l'utilisation de matériel standard, la fabrication de matériel personnalisé et les entreprises gérant des réseaux de preuve décentralisés. Il prédit que le "stade final" du zkVM pourrait réaliser une amélioration de l'efficacité de calcul de 1000 fois et pourrait affecter la version finale d'Ethereum. Il a également mentionné qu'un concours sera annoncé pour la validation formelle des prouveurs et des validateurs, avec un prix allant jusqu'à 20 millions de dollars.

Un cofondateur de la société a présenté le système Binius, qui conçoit à la fois un système de preuve et du matériel. Des tests préliminaires ont montré que, dans certaines applications, la performance de la fonction de hachage Groestl était nettement supérieure à celle de Keccak.

Réseau de validateurs décentralisé

Les experts s'accordent à dire que, dans le futur, la génération de preuves pour de grandes déclarations sera réalisée par un marché de preuves spécialisées, compétitif et décentralisé.

Un co-fondateur d'une entreprise a discuté du réseau de validateurs à venir, présentant divers designs de mécanismes potentiels. Elle estime que les objectifs de conception devraient être, dans l'ordre : coût minimal, maximum de retard et résistance à la censure. Elle prédit que le modèle d'enchères a la plus forte probabilité de succès, pouvant finalement ressembler à la construction de blocs d'aujourd'hui.

Un doctorant d'une université a présenté un nouvel article sur l'économie des réseaux de preuve. Il a mentionné que les enchères bilatérales sont facilement influencées par la collusion et a introduit un mécanisme alternatif appelé Proo-phi.

Le directeur technique d'une entreprise a discuté du marché des preuves de calcul multipartite (MPC), en particulier de la manière de maintenir la confidentialité entre les petits clients et les grands prouveurs.

Application des certificats ZK

La réunion a également discuté des divers efforts pour construire des preuves à divulgation nulle de connaissance à partir des systèmes d'identité existants :

• Preuve de propriété d'adresse basée sur la signature DKIM par e-mail
• Système d'interaction d'identité entre OpenID connect et le web2 traditionnel
• Méthodes de construction de certificats anonymes à partir de passeports électroniques

Ces technologies peuvent être appliquées à plusieurs scénarios, tels que les virements anonymes et l'authentification, avec l'espoir de fournir des preuves d'identité fiables tout en protégeant la vie privée.