Sommet sur les Zéro Connaissance 2024 : Rapport en direct
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 conférences. Voici un résumé des points clés du sommet, couvrant les derniers matériels à divulgation nulle de connaissance, les performances SNARK et la conception de réseaux de preuves décentralisés.
Développement du matériel ZK
Le support matériel pour la génération de preuves a toujours été un objectif important dans le domaine des preuves à divulgation nulle de connaissance. Deux présentations sur la scène principale ont résumé l'état actuel des développements :
Un chercheur a présenté un aperçu complet du matériel ZK, y compris la classification des entreprises dans ce domaine. Il a mentionné les entreprises utilisant du matériel générique, celles fabriquant du matériel sur mesure, ainsi que celles exploitant des réseaux de preuve décentralisés. Il a prédit que les systèmes zkVM optimisés pourraient réaliser une augmentation de l'efficacité de calcul de 1000 fois, ce qui aurait un impact significatif sur les futures versions d'Ethereum. Il a également mentionné que la plupart des preuves pourraient utiliser la structure Groth16 et a annoncé une compétition de validation formelle à venir pour les prouveurs et les validateurs.
Le cofondateur d'une certaine entreprise a présenté le système Binius, qui conçoit à la fois un système de preuve et du matériel. Binius utilise un champ de tours binaires et le protocole sumcheck. Fait intéressant, des tests préliminaires montrent que la fonction de hachage Groestl pourrait avoir des avantages 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 pour de grands rapports à l'avenir sera réalisée par un marché de preuves spécialisé, décentralisé et hautement concurrentiel.
Une cofondatrice d'une entreprise a discuté de leur réseau de validateurs sur le point d'être lancé. Elle a analysé divers designs de mécanismes potentiels, estimant que les conceptions basées sur la compétition ou le minage pourraient ne pas aboutir à des résultats idéaux. 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 avait le plus de chances de réussir, pouvant finalement ressembler à la construction de blocs d'aujourd'hui.
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 bilatérales sont facilement influencées par la collusion et a introduit un mécanisme alternatif appelé Proo-phi, qui introduit de nouveaux mécanismes de correspondance et de preuve.
Le directeur technique d'une entreprise a discuté du marché des preuves pour le calcul multipartite (MPC), en particulier de la manière d'utiliser MPC pour maintenir la confidentialité entre les petits clients et les grands prouveurs. Il a exploré comment choisir des combinaisons de systèmes de preuves pour optimiser les opérations linéaires dans MPC, afin de minimiser les coûts.
Innovation des certificats ZK
Les trois discussions se concentrent sur les efforts pour construire des preuves à divulgation nulle de connaissances à partir des systèmes d'identité existants :
Un cofondateur d'un projet a présenté une preuve de propriété d'identité à connaissance nulle basée sur le courrier électronique. Ces preuves reposent sur la vérification de la signature DKIM de l'e-mail d'une adresse spécifique, et peuvent être utilisées pour des applications telles que les transferts d'e-mails anonymes.
Un chercheur d'un laboratoire a discuté de l'utilisation de OpenID Connect pour interagir avec les identités traditionnelles du web2. Cela rend possible des applications telles que l'envoi de fonds vers des comptes Google ou Facebook.
Des membres d'un projet ont discuté de la manière de créer des certificats anonymes à partir des passeports électroniques existants. Par exemple, les utilisateurs peuvent prouver qu'ils détiennent un passeport d'un pays spécifique et ont atteint un certain âge, sans avoir à divulguer d'informations personnelles précises.
Ces innovations ouvrent de nouvelles possibilités pour vérifier l'identité tout en protégeant la vie privée, avec des applications potentielles dans de nombreux domaines.
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
16 J'aime
Récompense
16
2
Partager
Commentaire
0/400
RebaseVictim
· Il y a 23h
La technologie ZK est devenue un terrain de bataille incontournable.
Sommet ZK 2024 : Focus sur le matériel ZK, le réseau de preuves et l'innovation en matière d'identification
Sommet sur les Zéro Connaissance 2024 : Rapport en direct
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 conférences. Voici un résumé des points clés du sommet, couvrant les derniers matériels à divulgation nulle de connaissance, les performances SNARK et la conception de réseaux de preuves décentralisés.
Développement du matériel ZK
Le support matériel pour la génération de preuves a toujours été un objectif important dans le domaine des preuves à divulgation nulle de connaissance. Deux présentations sur la scène principale ont résumé l'état actuel des développements :
Un chercheur a présenté un aperçu complet du matériel ZK, y compris la classification des entreprises dans ce domaine. Il a mentionné les entreprises utilisant du matériel générique, celles fabriquant du matériel sur mesure, ainsi que celles exploitant des réseaux de preuve décentralisés. Il a prédit que les systèmes zkVM optimisés pourraient réaliser une augmentation de l'efficacité de calcul de 1000 fois, ce qui aurait un impact significatif sur les futures versions d'Ethereum. Il a également mentionné que la plupart des preuves pourraient utiliser la structure Groth16 et a annoncé une compétition de validation formelle à venir pour les prouveurs et les validateurs.
Le cofondateur d'une certaine entreprise a présenté le système Binius, qui conçoit à la fois un système de preuve et du matériel. Binius utilise un champ de tours binaires et le protocole sumcheck. Fait intéressant, des tests préliminaires montrent que la fonction de hachage Groestl pourrait avoir des avantages 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 pour de grands rapports à l'avenir sera réalisée par un marché de preuves spécialisé, décentralisé et hautement concurrentiel.
Une cofondatrice d'une entreprise a discuté de leur réseau de validateurs sur le point d'être lancé. Elle a analysé divers designs de mécanismes potentiels, estimant que les conceptions basées sur la compétition ou le minage pourraient ne pas aboutir à des résultats idéaux. 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 avait le plus de chances de réussir, pouvant finalement ressembler à la construction de blocs d'aujourd'hui.
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 bilatérales sont facilement influencées par la collusion et a introduit un mécanisme alternatif appelé Proo-phi, qui introduit de nouveaux mécanismes de correspondance et de preuve.
Le directeur technique d'une entreprise a discuté du marché des preuves pour le calcul multipartite (MPC), en particulier de la manière d'utiliser MPC pour maintenir la confidentialité entre les petits clients et les grands prouveurs. Il a exploré comment choisir des combinaisons de systèmes de preuves pour optimiser les opérations linéaires dans MPC, afin de minimiser les coûts.
Innovation des certificats ZK
Les trois discussions se concentrent sur les efforts pour construire des preuves à divulgation nulle de connaissances à partir des systèmes d'identité existants :
Un cofondateur d'un projet a présenté une preuve de propriété d'identité à connaissance nulle basée sur le courrier électronique. Ces preuves reposent sur la vérification de la signature DKIM de l'e-mail d'une adresse spécifique, et peuvent être utilisées pour des applications telles que les transferts d'e-mails anonymes.
Un chercheur d'un laboratoire a discuté de l'utilisation de OpenID Connect pour interagir avec les identités traditionnelles du web2. Cela rend possible des applications telles que l'envoi de fonds vers des comptes Google ou Facebook.
Des membres d'un projet ont discuté de la manière de créer des certificats anonymes à partir des passeports électroniques existants. Par exemple, les utilisateurs peuvent prouver qu'ils détiennent un passeport d'un pays spécifique et ont atteint un certain âge, sans avoir à divulguer d'informations personnelles précises.
Ces innovations ouvrent de nouvelles possibilités pour vérifier l'identité tout en protégeant la vie privée, avec des applications potentielles dans de nombreux domaines.