Sommet sur les Zéro Connaissances 2024 : enregistrement sur place
Joseph Bonneau, partenaire de recherche et professeur adjoint à l'Université de New York, a participé au 11ème sommet sur les preuves à divulgation nulle de connaissance qui s'est tenu à Athènes le 10 avril. L'événement a attiré environ 500 participants et a organisé simultanément quatre présentations en une journée. Voici un résumé de la présentation de Bonneau, qui couvre les dernières avancées en matière de matériel à divulgation nulle de connaissance, de performance SNARK et de conception de réseaux de preuves.
Matériel ZK
Le soutien matériel pour la génération de preuves a toujours été un objectif à long terme pour la communauté. Les deux premières présentations sur la scène principale ont présenté les derniers développements dans ce domaine.
Un chercheur a présenté un aperçu complet du matériel ZK, y compris la classification des entreprises dans ce domaine. Il a cité des entreprises utilisant du matériel générique, des entreprises fabriquant du matériel sur mesure et des entreprises exploitant des réseaux de preuve décentralisés. Il prédit que les systèmes de vérification SNARK optimisés pour le matériel et d'autres optimisations à venir, associés à du matériel dédié, pourraient permettre une augmentation de l'efficacité de calcul allant jusqu'à 1000 fois, ce qui pourrait influencer la version finale d'Ethereum. Il a également mentionné qu'un concours pour la vérification officielle des prouveurs et des vérificateurs sera annoncé, avec un prix allant jusqu'à 20 millions de dollars.
Les cofondateurs d'une entreprise ont discuté du concept de conception simultanée de systèmes de preuve et de matériel. Leur système utilise des champs de tours binaires et le protocole sumcheck. Des tests préliminaires ont montré que, dans certaines applications, la performance de la fonction de hachage Groestl est nettement supérieure à celle de Keccak.
Réseau de validateurs décentralisés
De nombreux professionnels de l'industrie envisagent que, à l'avenir, la génération de preuves pour de grands rapports (comme la validité d'un lot de transactions dans un Rollup) sera réalisée par un marché de preuves spécialisé, compétitif et décentralisé.
Une cofondatrice de l'entreprise a présenté leur réseau de validateurs à venir. Elle a discuté de divers mécanismes de conception potentiels, pensant que les conceptions basées sur la compétition ou le minage pourraient ne pas bien fonctionner. Elle a proposé que les objectifs de conception devraient être, dans cet ordre : coût minimal, latence maximale et résistance à la censure. Elle a prédit que le modèle d'émission/staking pourrait être efficace, mais que le modèle d'enchères est le plus susceptible de réussir, et pourrait finalement ressembler à la construction de blocs d'aujourd'hui.
Un doctorant de l'Université de Yale a présenté un nouvel article sur l'économie des réseaux de preuves. Il a souligné que les enchères bilatérales sont facilement influencées par la collusion entre les prouveurs et les enchérisseurs, et a proposé un mécanisme alternatif appelé Proo-phi, introduisant 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 multi-parties (MPC), en particulier de l'utilisation du MPC pour maintenir la confidentialité 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.
Certificats ZK
Trois discours différents ont discuté des efforts pour construire des preuves à divulgation nulle de connaissance à partir des systèmes d'identité existants.
Un cofondateur d'une entreprise a présenté la preuve de propriété d'adresse électronique ZK. Celles-ci reposent sur la connaissance de la signature DKIM des e-mails envoyés à une adresse spécifique. De nombreuses applications peuvent prouver par ZK si un utilisateur contrôle une adresse électronique, y compris le transfert d'argent vers une adresse électronique et les signalements anonymes.
Des scientifiques de recherche d'un laboratoire ont discuté de l'utilisation de OpenID connect pour interagir avec l'identité traditionnelle web2. Cette technologie interagit avec les fournisseurs OpenID existants, prouvant que l'utilisateur contrôle une adresse donnée, rendant possibles des applications telles que le transfert d'argent vers des comptes Google ou Facebook.
Un représentant d'une entreprise a discuté de la manière de construire des certificats anonymes à partir de passeports électroniques existants. Par exemple, les utilisateurs peuvent prouver qu'ils possèdent un passeport d'un pays spécifique et qu'ils ont atteint un certain âge, sans avoir à révéler le numéro de passeport ou l'âge exact.
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.
9 J'aime
Récompense
9
4
Reposter
Partager
Commentaire
0/400
blockBoy
· Il y a 9h
J'ai du mal à y croire, 500 personnes ont regardé ZK.
Voir l'originalRépondre0
AirdropHunterWang
· Il y a 9h
Je suis le chasseur d'airdrops Xiao Wang, laissez-moi faire un commentaire Ce zk a-t-il déjà un gameplay matériel ? Ça s'est emballé.
Voir l'originalRépondre0
CodeZeroBasis
· Il y a 9h
Aucun niveau de base ne signifie pas pouvoir mener cette réunion.
Voir l'originalRépondre0
MidnightGenesis
· Il y a 10h
Le zone matériel a de nouveau été mis à jour au milieu de la nuit, comme je m'y attendais.
Sommet sur les Zéro Connaissance 2024 : Les percées matérielles et les réseaux de preuve de Décentralisation ouvrent la voie de l'avenir
Sommet sur les Zéro Connaissances 2024 : enregistrement sur place
Joseph Bonneau, partenaire de recherche et professeur adjoint à l'Université de New York, a participé au 11ème sommet sur les preuves à divulgation nulle de connaissance qui s'est tenu à Athènes le 10 avril. L'événement a attiré environ 500 participants et a organisé simultanément quatre présentations en une journée. Voici un résumé de la présentation de Bonneau, qui couvre les dernières avancées en matière de matériel à divulgation nulle de connaissance, de performance SNARK et de conception de réseaux de preuves.
Matériel ZK
Le soutien matériel pour la génération de preuves a toujours été un objectif à long terme pour la communauté. Les deux premières présentations sur la scène principale ont présenté les derniers développements dans ce domaine.
Un chercheur a présenté un aperçu complet du matériel ZK, y compris la classification des entreprises dans ce domaine. Il a cité des entreprises utilisant du matériel générique, des entreprises fabriquant du matériel sur mesure et des entreprises exploitant des réseaux de preuve décentralisés. Il prédit que les systèmes de vérification SNARK optimisés pour le matériel et d'autres optimisations à venir, associés à du matériel dédié, pourraient permettre une augmentation de l'efficacité de calcul allant jusqu'à 1000 fois, ce qui pourrait influencer la version finale d'Ethereum. Il a également mentionné qu'un concours pour la vérification officielle des prouveurs et des vérificateurs sera annoncé, avec un prix allant jusqu'à 20 millions de dollars.
Les cofondateurs d'une entreprise ont discuté du concept de conception simultanée de systèmes de preuve et de matériel. Leur système utilise des champs de tours binaires et le protocole sumcheck. Des tests préliminaires ont montré que, dans certaines applications, la performance de la fonction de hachage Groestl est nettement supérieure à celle de Keccak.
Réseau de validateurs décentralisés
De nombreux professionnels de l'industrie envisagent que, à l'avenir, la génération de preuves pour de grands rapports (comme la validité d'un lot de transactions dans un Rollup) sera réalisée par un marché de preuves spécialisé, compétitif et décentralisé.
Une cofondatrice de l'entreprise a présenté leur réseau de validateurs à venir. Elle a discuté de divers mécanismes de conception potentiels, pensant que les conceptions basées sur la compétition ou le minage pourraient ne pas bien fonctionner. Elle a proposé que les objectifs de conception devraient être, dans cet ordre : coût minimal, latence maximale et résistance à la censure. Elle a prédit que le modèle d'émission/staking pourrait être efficace, mais que le modèle d'enchères est le plus susceptible de réussir, et pourrait finalement ressembler à la construction de blocs d'aujourd'hui.
Un doctorant de l'Université de Yale a présenté un nouvel article sur l'économie des réseaux de preuves. Il a souligné que les enchères bilatérales sont facilement influencées par la collusion entre les prouveurs et les enchérisseurs, et a proposé un mécanisme alternatif appelé Proo-phi, introduisant 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 multi-parties (MPC), en particulier de l'utilisation du MPC pour maintenir la confidentialité 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.
Certificats ZK
Trois discours différents ont discuté des efforts pour construire des preuves à divulgation nulle de connaissance à partir des systèmes d'identité existants.
Un cofondateur d'une entreprise a présenté la preuve de propriété d'adresse électronique ZK. Celles-ci reposent sur la connaissance de la signature DKIM des e-mails envoyés à une adresse spécifique. De nombreuses applications peuvent prouver par ZK si un utilisateur contrôle une adresse électronique, y compris le transfert d'argent vers une adresse électronique et les signalements anonymes.
Des scientifiques de recherche d'un laboratoire ont discuté de l'utilisation de OpenID connect pour interagir avec l'identité traditionnelle web2. Cette technologie interagit avec les fournisseurs OpenID existants, prouvant que l'utilisateur contrôle une adresse donnée, rendant possibles des applications telles que le transfert d'argent vers des comptes Google ou Facebook.
Un représentant d'une entreprise a discuté de la manière de construire des certificats anonymes à partir de passeports électroniques existants. Par exemple, les utilisateurs peuvent prouver qu'ils possèdent un passeport d'un pays spécifique et qu'ils ont atteint un certain âge, sans avoir à révéler le numéro de passeport ou l'âge exact.
Ce zk a-t-il déjà un gameplay matériel ? Ça s'est emballé.