Le 10 avril 2024, le 11e Sommet sur les preuves à divulgation nulle de connaissance s'est tenu à Athènes. Environ 500 participants ont assisté à cette journée d'événements, qui comprenait quatre conférences. Voici un aperçu des points clés du sommet, couvrant les derniers matériels à divulgation nulle de connaissance, les performances de SNARK et la conception de réseaux de preuves décentralisés.
Développement du matériel ZK
Le support matériel pour les preuves à divulgation nulle de connaissance a toujours été un sujet d'intérêt dans l'industrie. Lors de ce sommet, deux discours principaux ont abordé les dernières avancées dans ce domaine :
Un chercheur a présenté un aperçu complet du matériel ZK, en classant les entreprises concernées en trois catégories : celles utilisant du matériel standard, celles fabriquant du matériel sur mesure, et celles fonctionnant sur des réseaux de preuve décentralisés. Il prévoit qu'avec le développement de matériel spécialisé et de techniques d'optimisation, le coût de calcul du zkVM pourrait être réduit de 1000 fois. Cela pourrait avoir un impact significatif sur l'avenir d'Ethereum. Il a également mentionné qu'un concours sera organisé pour la validation formelle des prouveurs et des vérificateurs, avec des prix allant jusqu'à 20 millions de dollars.
Un autre intervenant a présenté le système Binius, qui est une méthode de conception simultanée de systèmes de preuve et de matériel. Binius utilise des champs binaires et le protocole sumcheck. Fait intéressant, les premiers tests montrent que la fonction de hachage Groestl surpasse Keccak dans certaines applications.
Réseau de validateurs décentralisés
Il est généralement admis dans l'industrie que la génération de preuves pour de grandes déclarations à l'avenir, comme la validité d'un lot de transactions dans un Rollup, sera réalisée par un marché de prouveurs professionnels décentralisés et compétitifs.
Une intervenante a présenté leur réseau de validateurs qui sera bientôt lancé. Elle a analysé les différentes conceptions de mécanismes de réseau, estimant que les conceptions basées sur la compétition ou le minage pourraient ne pas donner de 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 est le plus susceptible de l'emporter, et pourrait finalement ressembler à la construction de blocs d'aujourd'hui.
Un autre intervenant a discuté d'un nouvel article sur l'économie des réseaux de validateurs. Ils ont proposé un nouveau mécanisme appelé Proo-phi, qui introduit de nouvelles transactions de correspondance et un mécanisme de preuve pour faire face aux problèmes de collusion pouvant survenir dans les enchères bilatérales.
Une autre présentation a exploré le marché des preuves soutenant le calcul multipartite (MPC), en particulier comment réaliser des interactions sans confiance entre petits clients et grands prouveurs tout en protégeant la vie privée.
Innovation des certificats ZK
Trois présentations ont discuté des efforts pour construire des certificats à divulgation nulle de connaissance basés sur les systèmes d'identité existants :
Un projet vise à réaliser une preuve de propriété d'adresse e-mail ZK, qui peut être appliquée à des scénarios tels que les remises anonymes par e-mail et les signalements.
Un autre projet se concentre sur l'utilisation d'OpenID connect pour interagir avec des identités web2 traditionnelles, rendant possible des applications telles que l'envoi 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 la possession d'un passeport d'un pays spécifique et d'un âge minimum, sans révéler le numéro de passeport exact ou l'âge précis.
Ces innovations ouvrent de nouvelles possibilités pour l'application de la technologie des preuves à divulgation nulle de connaissance dans le domaine de la vérification d'identité et de la protection de la vie privée.
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.
15 J'aime
Récompense
15
9
Reposter
Partager
Commentaire
0/400
GasFeeLady
· 07-17 13:27
quand les pompes matérielles zkvm gas ? je regarde comme un faucon rn
Voir l'originalRépondre0
PerpetualLonger
· 07-17 12:45
Avec cette vitesse de construction du matériel zk, on pourra récupérer l'investissement très rapidement. Les positions long attendent une cassure !
Voir l'originalRépondre0
AlwaysAnon
· 07-16 07:11
zkvm ça va exploser
Voir l'originalRépondre0
SleepTrader
· 07-15 19:10
Ce n'est pas juste une histoire de zk que je raconte tous les jours.
Voir l'originalRépondre0
DecentralizedElder
· 07-15 19:09
Le sommet est vraiment amusant, zk fait tant de choses flamboyantes.
Voir l'originalRépondre0
SandwichHunter
· 07-15 19:06
Faisons un peu de zéro connaissance.
Voir l'originalRépondre0
ThesisInvestor
· 07-15 19:02
zk技术要To the moon嘞
Voir l'originalRépondre0
SatoshiNotNakamoto
· 07-15 18:58
Ils osent vraiment organiser ça à Athènes.
Voir l'originalRépondre0
RetailTherapist
· 07-15 18:57
Qu'est-ce que c'est à Athènes, c'est vraiment intense.
Sommet ZK 2024 : Progrès du matériel ZK et conception du réseau des prouveurs en vedette
Rapport sur le sommet Zéro Connaissance 2024
Le 10 avril 2024, le 11e Sommet sur les preuves à divulgation nulle de connaissance s'est tenu à Athènes. Environ 500 participants ont assisté à cette journée d'événements, qui comprenait quatre conférences. Voici un aperçu des points clés du sommet, couvrant les derniers matériels à divulgation nulle de connaissance, les performances de SNARK et la conception de réseaux de preuves décentralisés.
Développement du matériel ZK
Le support matériel pour les preuves à divulgation nulle de connaissance a toujours été un sujet d'intérêt dans l'industrie. Lors de ce sommet, deux discours principaux ont abordé les dernières avancées dans ce domaine :
Un chercheur a présenté un aperçu complet du matériel ZK, en classant les entreprises concernées en trois catégories : celles utilisant du matériel standard, celles fabriquant du matériel sur mesure, et celles fonctionnant sur des réseaux de preuve décentralisés. Il prévoit qu'avec le développement de matériel spécialisé et de techniques d'optimisation, le coût de calcul du zkVM pourrait être réduit de 1000 fois. Cela pourrait avoir un impact significatif sur l'avenir d'Ethereum. Il a également mentionné qu'un concours sera organisé pour la validation formelle des prouveurs et des vérificateurs, avec des prix allant jusqu'à 20 millions de dollars.
Un autre intervenant a présenté le système Binius, qui est une méthode de conception simultanée de systèmes de preuve et de matériel. Binius utilise des champs binaires et le protocole sumcheck. Fait intéressant, les premiers tests montrent que la fonction de hachage Groestl surpasse Keccak dans certaines applications.
Réseau de validateurs décentralisés
Il est généralement admis dans l'industrie que la génération de preuves pour de grandes déclarations à l'avenir, comme la validité d'un lot de transactions dans un Rollup, sera réalisée par un marché de prouveurs professionnels décentralisés et compétitifs.
Une intervenante a présenté leur réseau de validateurs qui sera bientôt lancé. Elle a analysé les différentes conceptions de mécanismes de réseau, estimant que les conceptions basées sur la compétition ou le minage pourraient ne pas donner de 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 est le plus susceptible de l'emporter, et pourrait finalement ressembler à la construction de blocs d'aujourd'hui.
Un autre intervenant a discuté d'un nouvel article sur l'économie des réseaux de validateurs. Ils ont proposé un nouveau mécanisme appelé Proo-phi, qui introduit de nouvelles transactions de correspondance et un mécanisme de preuve pour faire face aux problèmes de collusion pouvant survenir dans les enchères bilatérales.
Une autre présentation a exploré le marché des preuves soutenant le calcul multipartite (MPC), en particulier comment réaliser des interactions sans confiance entre petits clients et grands prouveurs tout en protégeant la vie privée.
Innovation des certificats ZK
Trois présentations ont discuté des efforts pour construire des certificats à divulgation nulle de connaissance basés sur les systèmes d'identité existants :
Un projet vise à réaliser une preuve de propriété d'adresse e-mail ZK, qui peut être appliquée à des scénarios tels que les remises anonymes par e-mail et les signalements.
Un autre projet se concentre sur l'utilisation d'OpenID connect pour interagir avec des identités web2 traditionnelles, rendant possible des applications telles que l'envoi 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 la possession d'un passeport d'un pays spécifique et d'un âge minimum, sans révéler le numéro de passeport exact ou l'âge précis.
Ces innovations ouvrent de nouvelles possibilités pour l'application de la technologie des preuves à divulgation nulle de connaissance dans le domaine de la vérification d'identité et de la protection de la vie privée.