Sommet sur les Zéro Connaissance 2024 : Notes de la séance
Le 10 avril 2024, le 11ème sommet sur les connaissances nulles se tiendra à Athènes. Environ 500 participants assisteront à cet événement d'une journée, qui comprendra quatre conférences. Voici un résumé des points saillants de la conférence, couvrant les dernières avancées en matière de matériel de connaissance nulle, de performances SNARK et de conception de réseaux de preuves.
Développement du matériel ZK
Le support matériel pour la génération de preuves a toujours été un domaine de préoccupation majeur dans l'industrie. Les deux premières présentations de la conférence ont présenté un aperçu de 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é des entreprises utilisant du matériel générique, des entreprises fabriquant du matériel sur mesure, ainsi que des entreprises gérant des réseaux de preuve décentralisés. Il prédit qu'un zkVM optimisé combiné à du matériel spécialisé pourrait réaliser une amélioration de l'efficacité de calcul de 1000 fois, ce qui pourrait avoir un impact significatif sur le développement futur d'Ethereum. Il a également révélé qu'un concours de validation formelle pour les validateurs et les vérificateurs sera organisé, avec un prix allant jusqu'à 20 millions de dollars.
Le co-fondateur d'une certaine entreprise a présenté le système Binius, ainsi que la philosophie de conception des systèmes de preuve et du matériel. Binius utilise des tours binaires et le protocole sumcheck. Des tests préliminaires ont montré que, dans certaines applications, les performances de la fonction de hachage Groestl surpassent clairement celles de Keccak.
Réseau des validateurs décentralisés
Les experts du secteur s'accordent à dire que la génération de preuves pour des déclarations à grande échelle à l'avenir (comme la vérification de la validité d'un lot de transactions dans un Rollup) sera réalisée par un marché de prouveurs professionnels décentralisé et concurrentiel.
La cofondatrice d'une entreprise a discuté de leur 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 être peu efficaces. Elle a proposé que les objectifs de conception devraient être, dans cet 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 devenir dominant, pouvant finalement ressembler à la méthode actuelle de construction de blocs.
Un doctorant a présenté un nouvel article sur l'économie des réseaux de validateurs. Il a souligné que les enchères bilatérales sont facilement influencées par la collusion entre les validateurs et les enchérisseurs, et a donc proposé un mécanisme alternatif appelé Proo-phi, qui introduit de nouvelles transactions de correspondance et mécanismes 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.
Innovation des certificats ZK
La réunion a également discuté de plusieurs efforts pour construire des preuves à divulgation nulle de connaissance basées sur le système d'identité existant :
Un co-fondateur d'un projet a présenté la preuve de propriété d'adresse e-mail ZK. Ces preuves reposent sur la vérification de la signature DKIM des e-mails envoyés à une adresse spécifique, et peuvent être appliquées à des scénarios tels que les transferts anonymes et les signalements.
Un chercheur d'une entreprise a expliqué la technologie d'interaction entre OpenID connect et l'identité web2 traditionnelle, rendant possible des applications telles que l'envoi de fonds vers des comptes Google ou Facebook.
Un représentant de projet a discuté de la manière de construire des certificats anonymes à partir de passeports électroniques existants, par exemple pour prouver la possession d'un passeport d'un pays spécifique et d'avoir atteint un âge spécifique, sans révéler d'informations personnelles concrètes.
Ces innovations ouvrent de nouvelles possibilités pour l'application de la technologie des preuves à divulgation nulle de connaissance dans les domaines de l'authentification 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.
8 J'aime
Récompense
8
5
Partager
Commentaire
0/400
UncleWhale
· Il y a 8h
Il reste encore des ajustements à faire sur le matériel zk.
Voir l'originalRépondre0
TrustMeBro
· 07-25 12:13
Encore en train de parler de zk, je l'ai déjà vu, je l'ai déjà vu.
Voir l'originalRépondre0
ILCollector
· 07-25 12:02
Si vous ne pouvez pas gagner d'argent, utilisez du matériel.
Voir l'originalRépondre0
AirDropMissed
· 07-25 11:55
Vous jouez encore à zk, il semble que ça ne chutera vraiment pas.
Sommet ZK 2024 : Nouveaux progrès sur le matériel ZK, le réseau de preuves et l'identification
Sommet sur les Zéro Connaissance 2024 : Notes de la séance
Le 10 avril 2024, le 11ème sommet sur les connaissances nulles se tiendra à Athènes. Environ 500 participants assisteront à cet événement d'une journée, qui comprendra quatre conférences. Voici un résumé des points saillants de la conférence, couvrant les dernières avancées en matière de matériel de connaissance nulle, de performances SNARK et de conception de réseaux de preuves.
Développement du matériel ZK
Le support matériel pour la génération de preuves a toujours été un domaine de préoccupation majeur dans l'industrie. Les deux premières présentations de la conférence ont présenté un aperçu de 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é des entreprises utilisant du matériel générique, des entreprises fabriquant du matériel sur mesure, ainsi que des entreprises gérant des réseaux de preuve décentralisés. Il prédit qu'un zkVM optimisé combiné à du matériel spécialisé pourrait réaliser une amélioration de l'efficacité de calcul de 1000 fois, ce qui pourrait avoir un impact significatif sur le développement futur d'Ethereum. Il a également révélé qu'un concours de validation formelle pour les validateurs et les vérificateurs sera organisé, avec un prix allant jusqu'à 20 millions de dollars.
Le co-fondateur d'une certaine entreprise a présenté le système Binius, ainsi que la philosophie de conception des systèmes de preuve et du matériel. Binius utilise des tours binaires et le protocole sumcheck. Des tests préliminaires ont montré que, dans certaines applications, les performances de la fonction de hachage Groestl surpassent clairement celles de Keccak.
Réseau des validateurs décentralisés
Les experts du secteur s'accordent à dire que la génération de preuves pour des déclarations à grande échelle à l'avenir (comme la vérification de la validité d'un lot de transactions dans un Rollup) sera réalisée par un marché de prouveurs professionnels décentralisé et concurrentiel.
La cofondatrice d'une entreprise a discuté de leur 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 être peu efficaces. Elle a proposé que les objectifs de conception devraient être, dans cet 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 devenir dominant, pouvant finalement ressembler à la méthode actuelle de construction de blocs.
Un doctorant a présenté un nouvel article sur l'économie des réseaux de validateurs. Il a souligné que les enchères bilatérales sont facilement influencées par la collusion entre les validateurs et les enchérisseurs, et a donc proposé un mécanisme alternatif appelé Proo-phi, qui introduit de nouvelles transactions de correspondance et mécanismes 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.
Innovation des certificats ZK
La réunion a également discuté de plusieurs efforts pour construire des preuves à divulgation nulle de connaissance basées sur le système d'identité existant :
Un co-fondateur d'un projet a présenté la preuve de propriété d'adresse e-mail ZK. Ces preuves reposent sur la vérification de la signature DKIM des e-mails envoyés à une adresse spécifique, et peuvent être appliquées à des scénarios tels que les transferts anonymes et les signalements.
Un chercheur d'une entreprise a expliqué la technologie d'interaction entre OpenID connect et l'identité web2 traditionnelle, rendant possible des applications telles que l'envoi de fonds vers des comptes Google ou Facebook.
Un représentant de projet a discuté de la manière de construire des certificats anonymes à partir de passeports électroniques existants, par exemple pour prouver la possession d'un passeport d'un pays spécifique et d'avoir atteint un âge spécifique, sans révéler d'informations personnelles concrètes.
Ces innovations ouvrent de nouvelles possibilités pour l'application de la technologie des preuves à divulgation nulle de connaissance dans les domaines de l'authentification et de la protection de la vie privée.