Sommet sur les preuves à divulgation nulle de connaissance 2024 : Rapport en direct

Joseph Bonneau a publié un rapport en direct sur le 11ème sommet sur les connaissances zéro (zkSummit) le 13 avril 2024. Ce sommet s'est tenu le 10 avril à Athènes, avec environ 500 participants. La conférence a présenté quatre discours simultanés, couvrant les dernières avancées en matière de matériel à connaissance zéro, de performance SNARK et de conception de réseaux de preuves.

Matériel à connaissance nulle

Le soutien matériel à la génération de preuves a toujours été un point focal de l'industrie. Les deux discours sur la scène principale ont résumé les derniers développements dans ce domaine.

Un chercheur a présenté un aperçu complet du matériel à connaissance nulle, y compris l'utilisation de matériel générique, la fabrication de matériel personnalisé et les entreprises exploitant des réseaux de preuves décentralisés. Il prédit que les systèmes zkVM optimisés pourraient réaliser une augmentation de l'efficacité de calcul de 1000 fois, ce qui aura un impact significatif sur les futures versions d'Ethereum. Il a également mentionné qu'un concours formel serait organisé pour les validateurs et les prouveurs, avec un prix pouvant atteindre 20 millions de dollars.

Le co-fondateur d'une certaine entreprise a présenté le système Binius, qui combine un système de preuve et du matériel. Binius utilise un champ binaire et le protocole sumcheck. Les tests préliminaires ont révélé 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és

Les experts de l'industrie estiment généralement que la génération de preuves pour les grandes déclarations à l'avenir (, comme la validité d'un lot de transactions dans un Rollup, sera réalisée par un marché de preuves professionnelles décentralisé et très concurrentiel.

Le co-fondateur d'une certaine entreprise a discuté des divers mécanismes de conception potentiels pour un réseau de validateurs décentralisés. Elle pense que les objectifs de conception devraient être, dans cet ordre : minimiser les coûts, maximiser la latence et résister à la censure. Elle prédit que le modèle d'enchères a les plus grandes chances de succès, et pourrait finalement ressembler au modèle actuel de construction de blocs. Elle a révélé que son entreprise est en train de construire un réseau d'enchères universel, prenant en charge la preuve de plusieurs zkVM.

Un doctorant d'une certaine université a présenté un nouvel article sur l'économie des réseaux de preuve. Il a mentionné que les enchères à deux côtés sont facilement influencées par la collusion, c'est pourquoi il a proposé un mécanisme alternatif nommé Proo-phi, qui introduit de nouvelles transactions de correspondance et un mécanisme de preuve.

Le directeur technique d'une entreprise a discuté du marché des preuves pour le calcul multipartite )MPC(, en particulier sur la manière d'utiliser MPC pour protéger la vie privée entre les petits clients et les grands prouveurs. Il a exploré comment choisir une combinaison de systèmes de preuve pour effectuer des opérations linéaires afin de minimiser les coûts.

Preuve à divulgation nulle

Les trois discussions se sont concentrées sur les efforts visant à construire des preuves à divulgation nulle de connaissance à partir des systèmes d'identité existants, chaque solution étant basée sur un système d'identité différent.

Un co-fondateur d'un projet a présenté la preuve de propriété d'adresse e-mail à divulgation nulle. Ces preuves reposent sur la vérification de la signature DKIM des e-mails envoyés à une adresse spécifique. De nombreuses applications peuvent prouver par une preuve à divulgation nulle qu'un utilisateur contrôle une adresse e-mail, y compris le transfert d'argent vers une adresse e-mail et le signalement anonyme.

Des scientifiques d'une certaine entreprise ont discuté d'un système d'interaction entre OpenID Connect et les identités traditionnelles du web2. Ce système interagit avec les fournisseurs OpenID existants, prouvant que les utilisateurs contrôlent une adresse donnée, permettant ainsi des applications telles que l'envoi de fonds vers des comptes Google ou Facebook.

Certains membres du projet ont discuté de la façon de construire des certificats anonymes à partir des passeports électroniques existants. Par exemple, un utilisateur peut prouver qu'il possède un passeport américain et qu'il a plus de 25 ans, sans avoir à révéler son numéro de passeport ou son âge exact.