Sommet sur les Zéro Connaissance 2024 : Observation sur le terrain

Le 10 avril 2024, le 11e Sommet sur les Zéros Connaissances s'est tenu à Athènes. Environ 500 participants ont assisté à cet événement d'une journée, qui comportait quatre sessions de présentations parallèles. Cet article résume les avancées importantes discutées lors du sommet concernant le dernier matériel de zéro connaissance, les performances des SNARK et la conception de réseaux de preuves décentralisés.

Développement du matériel à connaissance nulle

Le support matériel a toujours été un objectif important pour la communauté des preuves à divulgation nulle de connaissance. Deux présentations sur la grande scène ont résumé les derniers progrès dans ce domaine :

Un chercheur a effectué un examen complet du matériel de connaissance zéro, classant les entreprises pertinentes en trois catégories : celles utilisant du matériel générique, celles fabriquant du matériel sur mesure et celles exploitant des réseaux de preuves décentralisées. Il prédit que la "forme ultime" du zkVM pourrait 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 de validation formelle pour les validateurs et les prouveurs sera bientôt annoncé, avec un prix pouvant atteindre 20 millions de dollars.

Le co-fondateur d'une certaine entreprise a présenté le système Binius, qui conçoit à la fois le système de preuve et le matériel. Binius utilise des tours binaires et le protocole sumcheck. Les tests préliminaires montrent que, dans certaines applications, la performance de la fonction de hachage Groestl est nettement supérieure à celle de Keccak.

Réseau de validateurs décentralisés

Les professionnels de l'industrie estiment généralement que, à l'avenir, la preuve générée à grande échelle (comme la vérification de la validité d'un lot de transactions dans un Rollup) sera réalisée par un marché de prouveurs décentralisés très concurrentiel.

Un des cofondateurs de l'entreprise a discuté de leur réseau de validateurs qui sera bientôt lancé. Elle a analysé différents designs de mécanismes, estimant que les modèles basés sur la compétition ou le minage pourraient ne pas bien fonctionner. Elle a proposé que les objectifs de conception devraient être, dans l'ordre : minimiser les coûts, maximiser la latence et la résistance à la censure. Elle a prédit que le modèle d'enchères a le plus de chances de l'emporter, et pourrait finalement ressembler au processus de construction de blocs actuel.

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

Le directeur technique d'une entreprise a discuté du marché des preuves de calcul multipartite (MPC), en particulier de la manière d'utiliser MPC pour maintenir la confidentialité entre les petits clients et les grands vérificateurs. Il a exploré comment choisir une combinaison de systèmes de preuves pour optimiser le coût des opérations linéaires dans MPC.

Preuve à divulgation nulle de connaissance

Trois discussions se sont concentrées sur les efforts de construction de preuves à divulgation nulle de connaissance basées sur les systèmes d'identité existants :

Le co-fondateur d'une certaine entreprise a présenté une preuve de propriété d'adresse e-mail à connaissance nulle. Ces preuves reposent sur la vérification de la signature DKIM des e-mails envoyés à une adresse spécifique, pouvant être utilisées pour des applications telles que les remises anonymes et les signalements.

Un chercheur de laboratoire a discuté d'un système d'interaction d'identité utilisant OpenID Connect avec des identités Web2 traditionnelles. Ce système permet des applications telles que des transferts d'argent vers des comptes Google ou Facebook.

Un représentant d'un projet a discuté de la manière de construire des certificats anonymes sur la base des passeports électroniques existants. Par exemple, un utilisateur peut prouver qu'il détient un passeport américain et qu'il a plus de 25 ans, sans révéler son numéro de passeport ou son âge exact.