Sommet sur les preuves à divulgation nulle de connaissance 2024 : Rapport en direct
Le 10 avril 2024, le 11ème sommet sur les connaissances nulles se tiendra à Athènes. Ce sommet est organisé par le podcast Zero Knowledge et environ 500 participants y assisteront, avec quatre présentations ayant lieu simultanément en une journée. Voici un résumé des sujets importants abordés lors du sommet, couvrant les dernières avancées en matière de matériel de connaissance nulle, des performances SNARK et de la conception de réseaux de preuves.
Développement du matériel ZK
Depuis longtemps, le soutien matériel à la génération de preuves a été un point focal de l'industrie. Sur la scène principale de ce sommet, deux présentations ont résumé les derniers progrès dans ce domaine.
Un chercheur d'une fondation a donné un aperçu complet du matériel ZK, y compris la classification des entreprises dans ce domaine. Ces entreprises comprennent celles qui utilisent du matériel générique, celles qui fabriquent du matériel sur mesure et celles qui exploitent des réseaux de preuve décentralisés. Il prédit que "l'ultime" de zkVM pourrait atteindre une amélioration de l'efficacité de calcul de 1000 fois, ce qui aura un impact profond sur l'avenir de la technologie blockchain. Il a également mentionné qu'une fondation annoncera un concours pour la validation formelle des prouveurs et des vérificateurs, avec une récompense pouvant atteindre 20 millions de dollars.
Les co-fondateurs 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. Une conclusion intéressante tirée des tests préliminaires est que la performance de la fonction de hachage Groestl est nettement supérieure à celle de Keccak, ce qui signifie qu'il pourrait être plus avantageux d'utiliser Groestl dans certaines applications.
Réseau de validateurs décentralisés
De nombreuses personnes dans l'industrie imaginent un scénario futur : la génération de preuves de grandes déclarations (comme la validité d'un lot de transactions dans un Rollup) sera réalisée par un marché de preuves décentralisé et compétitif.
Le co-fondateur d'une certaine entreprise a présenté leur réseau de validateurs qui sera bientôt lancé. Elle a discuté des diverses conceptions potentielles de mécanismes pour un réseau de validateurs décentralisé et a prédit que les conceptions basées sur la compétition ou le minage pourraient ne pas donner de résultats idéaux. Elle estime que les objectifs de conception devraient être, par ordre de priorité : minimiser les coûts, maximiser la latence et la résistance à la censure. Elle a prédit que les modèles d'émission/staking pourraient être efficaces, mais que le modèle d'enchères a le plus de chances de réussir, et qu'il pourrait finalement ressembler au modèle de construction de blocs actuel.
Un doctorant d'une université a présenté un nouvel article sur l'économie des réseaux de preuve. Il a mentionné que les enchères bilatérales sont facilement influencées par la collusion entre les prouveurs et les enchérisseurs. Ils ont proposé un mécanisme alternatif appelé Proo-phi, qui introduit de nouvelles transactions d'appariement et mécanismes 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 une combinaison de systèmes de preuve pour effectuer des calculs linéaires afin de minimiser les coûts dans le MPC.
ZK Certificat
La conférence a également organisé trois discussions sur la construction de preuves à divulgation nulle de connaissance à partir des systèmes d'identité existants, chacune s'appuyant sur un système d'identité différent.
Un co-fondateur d'un projet a discuté de la preuve de propriété d'adresses e-mail ZK. Ces preuves reposent sur la vérification de la signature DKIM des e-mails envoyés à une adresse spécifique, DKIM étant largement déployé par les principaux fournisseurs de services de messagerie. Cette technologie peut être appliquée à divers scénarios, tels que le transfert anonyme de fonds vers une adresse e-mail ou le signalement anonyme.
Un scientifique de laboratoire a présenté un projet utilisant OpenID connect pour interagir avec les identités web2 traditionnelles. Ce projet permet d'interagir avec les fournisseurs OpenID existants et de prouver que l'utilisateur contrôle une adresse donnée, permettant ainsi des applications similaires à l'envoi de fonds vers des comptes de médias sociaux.
Des membres d'une équipe de projet ont discuté de la manière de construire des certificats anonymes à partir de passeports électroniques existants. Par exemple, les utilisateurs peuvent prouver qu'ils détiennent un passeport d'un certain pays et qu'ils ont atteint un âge spécifique, sans avoir à révéler le numéro de passeport exact ou l'âge précis.
Ces discussions montrent les vastes perspectives d'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, offrant de nouvelles possibilités pour la gestion des identités numériques à l'avenir.
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.
11 J'aime
Récompense
11
5
Reposter
Partager
Commentaire
0/400
WalletDoomsDay
· Il y a 10h
La conférence zk est incroyable, j'ai pris le micro au premier rang.
Voir l'originalRépondre0
TokenDustCollector
· Il y a 10h
Tout le monde veut profiter du trafic de web3.
Voir l'originalRépondre0
ZKProofster
· Il y a 10h
honnêtement, 1000x semble excessivement optimiste... montre-moi d'abord les calculs
Voir l'originalRépondre0
ZenMiner
· Il y a 10h
Ne pas avoir réussi à obtenir un billet est aussi une forme de destin, non ?
Voir l'originalRépondre0
SignatureCollector
· Il y a 11h
Avoir de l'argent pour investir dans ZK n'est pas aussi bon que de demander une signature sur place.
Sommet ZK 2024 : Nouveaux progrès en matière de matériel ZK, de réseaux de preuve et d'identification.
Sommet sur les preuves à divulgation nulle de connaissance 2024 : Rapport en direct
Le 10 avril 2024, le 11ème sommet sur les connaissances nulles se tiendra à Athènes. Ce sommet est organisé par le podcast Zero Knowledge et environ 500 participants y assisteront, avec quatre présentations ayant lieu simultanément en une journée. Voici un résumé des sujets importants abordés lors du sommet, couvrant les dernières avancées en matière de matériel de connaissance nulle, des performances SNARK et de la conception de réseaux de preuves.
Développement du matériel ZK
Depuis longtemps, le soutien matériel à la génération de preuves a été un point focal de l'industrie. Sur la scène principale de ce sommet, deux présentations ont résumé les derniers progrès dans ce domaine.
Un chercheur d'une fondation a donné un aperçu complet du matériel ZK, y compris la classification des entreprises dans ce domaine. Ces entreprises comprennent celles qui utilisent du matériel générique, celles qui fabriquent du matériel sur mesure et celles qui exploitent des réseaux de preuve décentralisés. Il prédit que "l'ultime" de zkVM pourrait atteindre une amélioration de l'efficacité de calcul de 1000 fois, ce qui aura un impact profond sur l'avenir de la technologie blockchain. Il a également mentionné qu'une fondation annoncera un concours pour la validation formelle des prouveurs et des vérificateurs, avec une récompense pouvant atteindre 20 millions de dollars.
Les co-fondateurs 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. Une conclusion intéressante tirée des tests préliminaires est que la performance de la fonction de hachage Groestl est nettement supérieure à celle de Keccak, ce qui signifie qu'il pourrait être plus avantageux d'utiliser Groestl dans certaines applications.
Réseau de validateurs décentralisés
De nombreuses personnes dans l'industrie imaginent un scénario futur : la génération de preuves de grandes déclarations (comme la validité d'un lot de transactions dans un Rollup) sera réalisée par un marché de preuves décentralisé et compétitif.
Le co-fondateur d'une certaine entreprise a présenté leur réseau de validateurs qui sera bientôt lancé. Elle a discuté des diverses conceptions potentielles de mécanismes pour un réseau de validateurs décentralisé et a prédit que les conceptions basées sur la compétition ou le minage pourraient ne pas donner de résultats idéaux. Elle estime que les objectifs de conception devraient être, par ordre de priorité : minimiser les coûts, maximiser la latence et la résistance à la censure. Elle a prédit que les modèles d'émission/staking pourraient être efficaces, mais que le modèle d'enchères a le plus de chances de réussir, et qu'il pourrait finalement ressembler au modèle de construction de blocs actuel.
Un doctorant d'une université a présenté un nouvel article sur l'économie des réseaux de preuve. Il a mentionné que les enchères bilatérales sont facilement influencées par la collusion entre les prouveurs et les enchérisseurs. Ils ont proposé un mécanisme alternatif appelé Proo-phi, qui introduit de nouvelles transactions d'appariement et mécanismes 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 une combinaison de systèmes de preuve pour effectuer des calculs linéaires afin de minimiser les coûts dans le MPC.
ZK Certificat
La conférence a également organisé trois discussions sur la construction de preuves à divulgation nulle de connaissance à partir des systèmes d'identité existants, chacune s'appuyant sur un système d'identité différent.
Un co-fondateur d'un projet a discuté de la preuve de propriété d'adresses e-mail ZK. Ces preuves reposent sur la vérification de la signature DKIM des e-mails envoyés à une adresse spécifique, DKIM étant largement déployé par les principaux fournisseurs de services de messagerie. Cette technologie peut être appliquée à divers scénarios, tels que le transfert anonyme de fonds vers une adresse e-mail ou le signalement anonyme.
Un scientifique de laboratoire a présenté un projet utilisant OpenID connect pour interagir avec les identités web2 traditionnelles. Ce projet permet d'interagir avec les fournisseurs OpenID existants et de prouver que l'utilisateur contrôle une adresse donnée, permettant ainsi des applications similaires à l'envoi de fonds vers des comptes de médias sociaux.
Des membres d'une équipe de projet ont discuté de la manière de construire des certificats anonymes à partir de passeports électroniques existants. Par exemple, les utilisateurs peuvent prouver qu'ils détiennent un passeport d'un certain pays et qu'ils ont atteint un âge spécifique, sans avoir à révéler le numéro de passeport exact ou l'âge précis.
Ces discussions montrent les vastes perspectives d'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, offrant de nouvelles possibilités pour la gestion des identités numériques à l'avenir.