Zero Knowledge Summit 2024 : Récit du sommet sur les connaissances nulles
Le 10 avril 2024, le 11ème Sommet sur les Zéro Connaissance se tiendra à Athènes. Environ 500 participants se rassembleront pour une journée de quatre sessions parallèles. Cet article résume les dernières avancées discutées lors du sommet concernant le matériel Zéro Connaissance, les performances des SNARK et la conception des réseaux de preuves décentralisées.
Développement du matériel à connaissance nulle
Le support matériel a toujours été un domaine d'attention clé pour la communauté des preuves à divulgation nulle de connaissance. Les deux discours d'ouverture de la conférence ont présenté les derniers progrès dans ce domaine :
Un chercheur a effectué un examen approfondi du matériel de preuve zéro, classant les entreprises concernées en trois catégories : celles utilisant du matériel général, celles fabriquant du matériel spécialisé, et celles opérant des réseaux de preuve décentralisés. Il prédit que des technologies telles que les systèmes de validation SNARK optimisés par du matériel pourraient atteindre des améliorations de performance allant jusqu'à 1000 fois, ce qui aura un impact significatif sur le développement futur d'Ethereum. Il a également révélé qu'une certaine fondation prévoit d'organiser un concours officiel pour les validateurs et les vérificateurs, avec un prix pouvant atteindre 20 millions de dollars.
Le co-fondateur d'une certaine entreprise a présenté leur système Binius, qui est une solution optimisant à la fois le système de preuve et la conception matérielle. Binius utilise le champ binaire en tour et le protocole sumcheck. Des tests préliminaires montrent que, dans certains scénarios d'application, les performances de la fonction de hachage Groestl surpassent clairement celles de Keccak, une découverte qui pourrait influencer les choix de conception des systèmes futurs.
Réseau de validateurs décentralisés
De nombreux professionnels de l'industrie imaginent qu'à l'avenir, la génération de preuves de déclaration à grande échelle (, comme les preuves de validité d'un lot de transactions dans Rollup ), sera réalisée par un marché de preuveurs décentralisés hautement concurrentiel.
Un cofondateur d'une entreprise a partagé leur prochain réseau de validateurs. Elle a analysé les différents mécanismes de conception potentiels pour un réseau de validateurs décentralisé, estimant que les conceptions basées sur la compétition ou le minage pourraient avoir du mal à obtenir 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 prévoit que le modèle d'enchères est le plus susceptible de devenir mainstream, et pourrait finalement ressembler aux mécanismes actuels de construction de blocs.
Un doctorant d'une université a présenté un nouvel article publié 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 donc proposé un mécanisme alternatif appelé Proo-phi, qui introduit de nouveaux mécanismes de correspondance et de preuve. Cependant, le mécanisme Proo-phi nécessite la définition d'un paramètre de capacité, ce qui semble être un problème de conception ouvert clé.
Le directeur technique d'une entreprise a discuté du marché de la preuve du calcul multipartite (MPC), en particulier de la façon d'utiliser le MPC pour protéger la vie privée 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é de diverses tentatives de construction de preuves à divulgation nulle de connaissance basées sur le système d'identité existant :
Un cofondateur d'un projet a présenté la preuve de propriété d'adresse e-mail à connaissance nulle. Ces preuves reposent sur la vérification de la signature DKIM des e-mails envoyés à une adresse spécifique. Cette technologie peut être appliquée à des scénarios tels que l'envoi de fonds anonymes à une adresse e-mail, le signalement anonyme, etc.
Un chercheur d'une entreprise a partagé leur projet Keyless, qui utilise OpenID Connect pour interagir avec les systèmes d'identité traditionnels Web2. Cela rend possible des applications telles que les transferts d'argent vers des comptes Google ou Facebook.
Des membres d'un projet ont discuté de la manière de construire un certificat anonyme basé sur le passeport électronique existant. Par exemple, un utilisateur peut prouver qu'il détient un passeport d'un certain pays et qu'il a atteint un âge spécifique, sans avoir à divulguer le numéro de passeport exact ou l'âge précis.
Dans l'ensemble, ce sommet a présenté les dernières avancées de la technologie des preuves à divulgation nulle de connaissance dans des domaines tels que le soutien matériel, la conception de réseaux et l'authentification, dessinant un tableau prometteur pour le développement futur de ce domaine.
Voir l'original
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.
24 J'aime
Récompense
24
6
Reposter
Partager
Commentaire
0/400
SchrodingerAirdrop
· 08-10 01:21
L'amélioration du matériel a du potentiel.
Voir l'originalRépondre0
HodlBeliever
· 08-07 15:09
Le rapport coût-performance est à valider
Voir l'originalRépondre0
SandwichTrader
· 08-07 02:55
Le matériel peut vraiment améliorer de k fois.
Voir l'originalRépondre0
BloodInStreets
· 08-07 02:54
Le matériel est le véritable point de rupture.
Voir l'originalRépondre0
probably_nothing_anon
· 08-07 02:53
La mise à niveau du matériel rafraîchit fortement la couche de base.
Sommet sur les connaissances nulles 2024 : Optimisation matérielle, nouveaux progrès dans les réseaux de preuves et l'identification
Zero Knowledge Summit 2024 : Récit du sommet sur les connaissances nulles
Le 10 avril 2024, le 11ème Sommet sur les Zéro Connaissance se tiendra à Athènes. Environ 500 participants se rassembleront pour une journée de quatre sessions parallèles. Cet article résume les dernières avancées discutées lors du sommet concernant le matériel Zéro Connaissance, les performances des SNARK et la conception des réseaux de preuves décentralisées.
Développement du matériel à connaissance nulle
Le support matériel a toujours été un domaine d'attention clé pour la communauté des preuves à divulgation nulle de connaissance. Les deux discours d'ouverture de la conférence ont présenté les derniers progrès dans ce domaine :
Un chercheur a effectué un examen approfondi du matériel de preuve zéro, classant les entreprises concernées en trois catégories : celles utilisant du matériel général, celles fabriquant du matériel spécialisé, et celles opérant des réseaux de preuve décentralisés. Il prédit que des technologies telles que les systèmes de validation SNARK optimisés par du matériel pourraient atteindre des améliorations de performance allant jusqu'à 1000 fois, ce qui aura un impact significatif sur le développement futur d'Ethereum. Il a également révélé qu'une certaine fondation prévoit d'organiser un concours officiel pour les validateurs et les vérificateurs, avec un prix pouvant atteindre 20 millions de dollars.
Le co-fondateur d'une certaine entreprise a présenté leur système Binius, qui est une solution optimisant à la fois le système de preuve et la conception matérielle. Binius utilise le champ binaire en tour et le protocole sumcheck. Des tests préliminaires montrent que, dans certains scénarios d'application, les performances de la fonction de hachage Groestl surpassent clairement celles de Keccak, une découverte qui pourrait influencer les choix de conception des systèmes futurs.
Réseau de validateurs décentralisés
De nombreux professionnels de l'industrie imaginent qu'à l'avenir, la génération de preuves de déclaration à grande échelle (, comme les preuves de validité d'un lot de transactions dans Rollup ), sera réalisée par un marché de preuveurs décentralisés hautement concurrentiel.
Un cofondateur d'une entreprise a partagé leur prochain réseau de validateurs. Elle a analysé les différents mécanismes de conception potentiels pour un réseau de validateurs décentralisé, estimant que les conceptions basées sur la compétition ou le minage pourraient avoir du mal à obtenir 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 prévoit que le modèle d'enchères est le plus susceptible de devenir mainstream, et pourrait finalement ressembler aux mécanismes actuels de construction de blocs.
Un doctorant d'une université a présenté un nouvel article publié 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 donc proposé un mécanisme alternatif appelé Proo-phi, qui introduit de nouveaux mécanismes de correspondance et de preuve. Cependant, le mécanisme Proo-phi nécessite la définition d'un paramètre de capacité, ce qui semble être un problème de conception ouvert clé.
Le directeur technique d'une entreprise a discuté du marché de la preuve du calcul multipartite (MPC), en particulier de la façon d'utiliser le MPC pour protéger la vie privée 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é de diverses tentatives de construction de preuves à divulgation nulle de connaissance basées sur le système d'identité existant :
Un cofondateur d'un projet a présenté la preuve de propriété d'adresse e-mail à connaissance nulle. Ces preuves reposent sur la vérification de la signature DKIM des e-mails envoyés à une adresse spécifique. Cette technologie peut être appliquée à des scénarios tels que l'envoi de fonds anonymes à une adresse e-mail, le signalement anonyme, etc.
Un chercheur d'une entreprise a partagé leur projet Keyless, qui utilise OpenID Connect pour interagir avec les systèmes d'identité traditionnels Web2. Cela rend possible des applications telles que les transferts d'argent vers des comptes Google ou Facebook.
Des membres d'un projet ont discuté de la manière de construire un certificat anonyme basé sur le passeport électronique existant. Par exemple, un utilisateur peut prouver qu'il détient un passeport d'un certain pays et qu'il a atteint un âge spécifique, sans avoir à divulguer le numéro de passeport exact ou l'âge précis.
Dans l'ensemble, ce sommet a présenté les dernières avancées de la technologie des preuves à divulgation nulle de connaissance dans des domaines tels que le soutien matériel, la conception de réseaux et l'authentification, dessinant un tableau prometteur pour le développement futur de ce domaine.