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

Le 10 avril 2024, le 11ème sommet sur les connaissances nulles se tiendra à Athènes. Ce sommet est organisé par le podcast Zero Knowledge, avec environ 500 participants, et comprendra quatre conférences. Voici un résumé des points clés du sommet, couvrant les dernières avancées en matière de matériel de connaissances nulles, de performance SNARK et de conception de réseaux de preuves décentralisées.

Matériel à connaissance nulle

Le support matériel a toujours été un objectif important dans le domaine des preuves à divulgation nulle de connaissance. Lors de ce sommet, plusieurs experts ont approfondi ce sujet.

Un chercheur d'une fondation a présenté un aperçu complet du matériel de connaissance nulle et a classé les entreprises concernées. Il prédit qu'avec l'émergence de systèmes de vérification SNARK optimisés par le matériel et d'autres mesures d'optimisation, les coûts de calcul pourraient être réduits de 1000 fois, ce qui pourrait avoir un impact significatif sur les futures versions d'Ethereum. Il a également mentionné qu'un concours serait annoncé pour la validation formelle des prouveurs et des vérificateurs, avec un prix pouvant atteindre 20 millions de dollars.

Le cofondateur d'une entreprise a présenté leur système de vérification SNARK optimisé par matériel, ainsi que la philosophie de conception simultanée des systèmes de preuve et du matériel. Il a mentionné que les tests préliminaires montrent que la fonction de hachage Groestl pourrait avoir un avantage par rapport à Keccak dans certaines applications.

Réseau de validateurs décentralisés

De nombreux professionnels de l'industrie imaginent que la génération de preuves à grande échelle sera réalisée par un marché de preuves professionnel décentralisé et hautement concurrentiel à l'avenir.

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 estime que les objectifs de conception devraient être, dans cet ordre : minimiser les coûts, maximiser la latence et résister à la censure. Elle prévoit que le modèle d'émission/de mise pourrait être efficace, mais que le modèle d'enchères a le plus de chances de l'emporter, pouvant finalement ressembler à la construction de blocs actuelle.

Un doctorant de l'Université de Yale a présenté un nouvel article sur l'économie des réseaux de validateurs. Cet article propose un nouveau mécanisme appelé Proo-phi, visant à résoudre le problème de la collusion entre validateurs et enchérisseurs dans les enchères bilatérales.

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

Preuves à divulgation nulle de connaissance

La réunion a également discuté de diverses solutions pour construire des certificats à divulgation nulle d'information à partir des systèmes d'identité existants.

Le co-fondateur d'une entreprise a présenté une preuve à divulgation nulle de connaissance basée sur la propriété d'une adresse e-mail. Cette méthode peut être utilisée pour diverses applications, telles que l'envoi d'argent à une adresse e-mail ou le signalement anonyme.

Des chercheurs d'un laboratoire ont discuté d'une solution permettant d'interagir avec des identités web2 traditionnelles via OpenID connect, rendant possible des applications telles que le transfert d'argent vers des comptes Google ou Facebook.

Un représentant d'une entreprise a discuté de la manière de créer des certificats anonymes à partir de passeports électroniques existants, tels que la preuve de la possession d'un passeport d'un pays spécifique et d'avoir atteint un certain âge, sans révéler d'informations personnelles spécifiques.

Ces discussions montrent les vastes perspectives d'application de la technologie des preuves à divulgation nulle de connaissance dans l'authentification et la protection de la vie privée, offrant de nouvelles idées pour la gestion des identités numériques futures.