Sommet sur les Zéro Connaissance 2024 : Observations sur place
Le 10 avril 2024, la 11ème Conférence sur les Zero Knowledge a eu lieu à 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 saillants de la conférence, couvrant les dernières avancées sur le matériel Zero Knowledge, les performances des SNARK et la conception de réseaux de preuves.
Développement du matériel ZK
Le support matériel pour la génération de preuves à divulgation nulle de connaissance a toujours été un point focal d'intérêt dans l'industrie. Les deux présentations de la salle principale ont résumé les dernières avancées dans ce domaine :
Un chercheur a fait un aperçu complet du matériel ZK, y compris l'utilisation de matériel générique, la fabrication de matériel sur mesure et les entreprises qui gèrent des réseaux de preuve décentralisés. Il prédit qu'avec l'optimisation matérielle des systèmes de validation SNARK et d'autres optimisations à venir, le zkVM pourrait atteindre un gain d'efficacité de calcul de 1000 fois, ce qui aura un impact significatif sur les futures versions d'Ethereum. Il a également mentionné qu'un concours sera organisé 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 système Binius, ainsi que le concept de conception simultanée des systèmes et du matériel de preuve. Binius utilise des tours binaires et le protocole sumcheck. Fait intéressant, les premiers tests montrent que la fonction de hachage Groestl surpasse nettement Keccak dans certaines applications.
Réseau de validateurs décentralisé
De nombreux professionnels du secteur envisagent 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 preuves professionnel, concurrentiel et décentralisé.
La cofondatrice d'une certaine entreprise a discuté du réseau de validateurs à venir. Elle a analysé divers mécanismes de conception potentiels et a estimé que les conceptions basées sur la compétition ou le minage pourraient ne pas donner de bons résultats. Elle a proposé que les objectifs de conception doivent être les suivants : 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 réussir et que l'avenir pourrait ressembler à la construction de blocs d'aujourd'hui.
Un doctorant d'une université a présenté un nouvel article sur l'économie des réseaux de preuveurs. Il a souligné que les enchères bilatérales sont facilement influencées par la collusion entre les preuveurs et les enchérisseurs, et a proposé un mécanisme alternatif nommé Proo-phi, qui introduit de nouvelles transactions de correspondance et un mécanisme de preuve.
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 protéger la vie privée entre les petits clients et les grands prouveurs. Il a exploré comment choisir des combinaisons de systèmes de preuve pour effectuer des opérations linéaires afin de minimiser les coûts dans le MPC.
Innovation des certificats ZK
Trois discussions se sont concentrées sur les efforts visant à construire des preuves à divulgation nulle de connaissance à partir des systèmes d'identité existants :
Un cofondateur d'un projet a présenté la preuve de propriété d'adresse e-mail ZK, qui repose sur la connaissance de la signature DKIM de l'adresse e-mail spécifique. Cette technologie peut être appliquée à des scénarios tels que le transfert d'argent vers une adresse e-mail, les signalements anonymes, etc.
Un chercheur d'un laboratoire a discuté des technologies permettant l'interaction entre OpenID Connect et les identités Web2 traditionnelles. Cela rend possible des applications telles que le transfert d'argent vers des comptes Google ou Facebook.
Un membre d'un projet a discuté de la manière de construire des certificats anonymes à partir de passeports électroniques existants. Par exemple, un utilisateur peut prouver qu'il possède un passeport d'un certain pays et qu'il a atteint un âge spécifique, sans avoir à révéler d'informations précises.
Ces innovations 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, offrant de nouvelles perspectives pour la gestion des identités numériques de demain.
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.
10 J'aime
Récompense
10
6
Partager
Commentaire
0/400
SchrodingerWallet
· Il y a 9h
C'est incroyable qu'il n'y ait pas eu de chute lors de cette réunion de tant de pros à Athènes.
Voir l'originalRépondre0
MetaNomad
· 08-05 11:10
C'est incroyable, il s'agit uniquement de suivre le matériel, c'est vraiment trop professionnel.
Voir l'originalRépondre0
MoonBoi42
· 08-05 11:00
J'ai failli manquer cet événement grandiose.
Voir l'originalRépondre0
ZKSherlock
· 08-05 10:59
en fait... une accélération de 1000x ressemble à un discours marketing. où est la preuve mathématique ?
Voir l'originalRépondre0
AirdropChaser
· 08-05 10:58
1000 fois plus élevé, ça y est, on s'éclate vraiment maintenant.
Voir l'originalRépondre0
MEVictim
· 08-05 10:48
Je veux voir si 1000 fois c'est juste pour bluff ou si c'est vraiment réalisable.
Le sommet ZK 2024 se concentre sur le matériel ZK et les réseaux de preuve décentralisés.
Sommet sur les Zéro Connaissance 2024 : Observations sur place
Le 10 avril 2024, la 11ème Conférence sur les Zero Knowledge a eu lieu à 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 saillants de la conférence, couvrant les dernières avancées sur le matériel Zero Knowledge, les performances des SNARK et la conception de réseaux de preuves.
Développement du matériel ZK
Le support matériel pour la génération de preuves à divulgation nulle de connaissance a toujours été un point focal d'intérêt dans l'industrie. Les deux présentations de la salle principale ont résumé les dernières avancées dans ce domaine :
Un chercheur a fait un aperçu complet du matériel ZK, y compris l'utilisation de matériel générique, la fabrication de matériel sur mesure et les entreprises qui gèrent des réseaux de preuve décentralisés. Il prédit qu'avec l'optimisation matérielle des systèmes de validation SNARK et d'autres optimisations à venir, le zkVM pourrait atteindre un gain d'efficacité de calcul de 1000 fois, ce qui aura un impact significatif sur les futures versions d'Ethereum. Il a également mentionné qu'un concours sera organisé 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 système Binius, ainsi que le concept de conception simultanée des systèmes et du matériel de preuve. Binius utilise des tours binaires et le protocole sumcheck. Fait intéressant, les premiers tests montrent que la fonction de hachage Groestl surpasse nettement Keccak dans certaines applications.
Réseau de validateurs décentralisé
De nombreux professionnels du secteur envisagent 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 preuves professionnel, concurrentiel et décentralisé.
La cofondatrice d'une certaine entreprise a discuté du réseau de validateurs à venir. Elle a analysé divers mécanismes de conception potentiels et a estimé que les conceptions basées sur la compétition ou le minage pourraient ne pas donner de bons résultats. Elle a proposé que les objectifs de conception doivent être les suivants : 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 réussir et que l'avenir pourrait ressembler à la construction de blocs d'aujourd'hui.
Un doctorant d'une université a présenté un nouvel article sur l'économie des réseaux de preuveurs. Il a souligné que les enchères bilatérales sont facilement influencées par la collusion entre les preuveurs et les enchérisseurs, et a proposé un mécanisme alternatif nommé Proo-phi, qui introduit de nouvelles transactions de correspondance et un mécanisme de preuve.
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 protéger la vie privée entre les petits clients et les grands prouveurs. Il a exploré comment choisir des combinaisons de systèmes de preuve pour effectuer des opérations linéaires afin de minimiser les coûts dans le MPC.
Innovation des certificats ZK
Trois discussions se sont concentrées sur les efforts visant à construire des preuves à divulgation nulle de connaissance à partir des systèmes d'identité existants :
Un cofondateur d'un projet a présenté la preuve de propriété d'adresse e-mail ZK, qui repose sur la connaissance de la signature DKIM de l'adresse e-mail spécifique. Cette technologie peut être appliquée à des scénarios tels que le transfert d'argent vers une adresse e-mail, les signalements anonymes, etc.
Un chercheur d'un laboratoire a discuté des technologies permettant l'interaction entre OpenID Connect et les identités Web2 traditionnelles. Cela rend possible des applications telles que le transfert d'argent vers des comptes Google ou Facebook.
Un membre d'un projet a discuté de la manière de construire des certificats anonymes à partir de passeports électroniques existants. Par exemple, un utilisateur peut prouver qu'il possède un passeport d'un certain pays et qu'il a atteint un âge spécifique, sans avoir à révéler d'informations précises.
Ces innovations 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, offrant de nouvelles perspectives pour la gestion des identités numériques de demain.