Sommet sur la connaissance zéro 2024 : rapport en direct

Le 10 avril 2024, le 11ème sommet sur les preuves à connaissance nulle se tiendra à Athènes. Ce sommet réunira environ 500 participants et comprendra quatre présentations parallèles au cours de la journée. Voici un résumé des points clés du sommet, couvrant les dernières avancées en matière de matériel à connaissance nulle, de performance SNARK et de conception de réseaux de preuves décentralisés.

Développement du matériel à connaissance nulle

Le soutien matériel a toujours été un objectif important dans le domaine des preuves à connaissance nulle. Les deux présentations sur la grande scène ont esquissé l'état actuel du développement :

Un chercheur a donné un aperçu complet du matériel de connaissance zéro, y compris les entreprises utilisant du matériel générique, les entreprises fabriquant du matériel sur mesure et les entreprises exploitant des réseaux de preuve décentralisés. Il prédit qu'une combinaison de systèmes de validation SNARK optimisés par matériel et d'autres optimisations à venir pourrait réaliser une augmentation de l'efficacité de calcul de 1000 fois, ce qui aurait un impact significatif sur l'avenir d'Ethereum. Il a également mentionné qu'une fondation annoncera un concours pour la validation formelle des prouveurs et des validateurs, avec un prix allant jusqu'à 20 millions de dollars.

Le cofondateur d'une certaine entreprise a présenté le concept de conception simultanée de systèmes de preuve et de matériel. Leur système utilise des tours binaires et le protocole sumcheck. Les tests préliminaires ont montré que, dans certaines applications, la performance de la fonction de hachage Groestl surpassait nettement celle de Keccak.

Réseau de validateurs décentralisés

Les experts de l'industrie envisagent généralement qu'à l'avenir, la génération de preuves de déclarations à grande échelle (comme la validité d'un lot de transactions dans un Rollup) sera réalisée par un marché de prouveurs décentralisé et compétitif.

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 les délais et garantir la résistance à la censure. Elle prédit que le modèle d'enchères est le plus susceptible de l'emporter, et qu'il pourrait finalement ressembler au processus actuel de construction de blocs.

Un doctorant d'une université a présenté un nouvel article sur l'économie des réseaux de validateurs. Il a mentionné que les enchères bilatérales sont facilement influencées par la collusion entre les validateurs et les enchérisseurs, c'est pourquoi il a proposé un mécanisme alternatif appelé Proo-phi, qui introduit de nouvelles transactions de correspondance et un mécanisme de validation.

Le directeur technique d'une entreprise a discuté du marché des preuves soutenant 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. Il a exploré comment choisir une combinaison de systèmes de preuves pour effectuer des opérations linéaires afin de minimiser les coûts dans le MPC.

Preuve à divulgation nulle de connaissance

Les trois discussions se concentrent sur les efforts pour construire des preuves à divulgation nulle de connaissance à partir des systèmes d'identité existants :

1. Preuve de propriété d'adresse à zéro connaissance basée sur l'e-mail, reposant sur la vérification de signature DKIM.

2. Utiliser OpenID connect pour interagir avec les identités traditionnelles web2, permettant des applications telles que l'envoi de fonds vers des comptes Google ou Facebook.

3. Construire des certificats anonymes à partir de passeports électroniques existants, par exemple prouver la possession d'un passeport d'un pays spécifique et d'une tranche d'âge, sans révéler d'informations personnelles spécifiques.

Ces innovations offrent de nouvelles possibilités pour l'authentification et la protection de la vie privée, avec des perspectives d'application dans de nombreux domaines.