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

Le 10 avril 2024, le 11ème sommet sur les preuves à divulgation nulle de connaissance s'est tenu à Athènes. Environ 500 participants ont assisté à cet événement d'une journée, qui a également comporté quatre discours. Voici un résumé des points clés du sommet, couvrant les dernières avancées en matière de matériel à divulgation nulle de connaissance, de performances des 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. Les deux présentations sur la scène principale ont présenté les derniers développements dans ce domaine :

Un chercheur a fait un aperçu complet des matériels de connaissance zéro, y compris les entreprises utilisant du matériel général, les entreprises fabriquant du matériel sur mesure et les entreprises opérant des réseaux de preuve décentralisés. Il prédit qu'avec des technologies telles que les systèmes de vérification SNARK optimisés par matériel, le zkVM pourrait réaliser une augmentation de 1000 fois de l'efficacité calculatoire, ce qui pourrait avoir un impact significatif sur les futures versions d'Ethereum. Il a également mentionné que la plupart des preuves pourraient adopter l'emballage Groth16.

Un autre expert a discuté du 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. Des 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 experts de l'industrie imaginent qu'à l'avenir, la génération de preuves à grande échelle (comme la vérification de la validité des transactions en lot dans les Rollups) sera réalisée par un marché décentralisé de vérificateurs professionnels très concurrentiel.

Une cofondatrice d'une entreprise a présenté leur réseau de validateurs qui sera bientôt lancé. Elle a discuté de divers designs de mécanismes potentiels, estimant que les conceptions basées sur la compétition ou le minage pourraient ne pas bien fonctionner. Elle a souligné que les objectifs de conception devraient être, par ordre de priorité : minimiser les coûts, maximiser le délai et la résistance à la censure. Elle a prédit que les modèles d'émission/staking pourraient être efficaces, mais que le modèle d'enchères est le plus susceptible de réussir, et pourrait finalement ressembler à la construction de blocs d'aujourd'hui.

Un doctorant 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 ils ont proposé un mécanisme alternatif appelé Proo-phi, qui introduit de nouvelles transactions de correspondance et des mécanismes de preuve.

Un autre expert 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 preuve pour effectuer des opérations linéaires afin de minimiser les coûts dans le MPC.

Preuves à divulgation nulle de connaissance

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

• Un projet s'engage à développer une preuve de propriété d'adresse e-mail à connaissance nulle, reposant sur une preuve de connaissance des signatures DKIM.
• Un autre projet utilise OpenID connect pour interagir avec les identités web2 traditionnelles, rendant possible des applications telles que les transferts d'argent vers des comptes Google ou Facebook.
• Le troisième projet explore comment construire des certificats anonymes à partir de passeports électroniques existants, par exemple, prouver que l'on possède un passeport d'un pays spécifique et son âge, sans révéler d'informations précises.

Ces avancées démontrent le potentiel énorme de la technologie des preuves à divulgation nulle de connaissance en matière d'authentification et de protection de la vie privée, ouvrant de nouvelles possibilités pour les applications futures.