Sommet sur les preuves à divulgation nulle de connaissance 2024 : Rapport en direct
Le 10 avril 2024, le 11ème sommet sur les preuves à divulgation nulle de connaissance a eu lieu à Athènes. Ce sommet, organisé par le podcast sur les preuves à divulgation nulle de connaissance, a attiré environ 500 participants et a présenté quatre conférences simultanées en une journée. Voici un résumé des points clés du sommet, couvrant les dernières avancées sur le matériel à divulgation nulle de connaissance, les performances des SNARK et la conception de réseaux de preuves décentralisés.
Développement du matériel à connaissance nulle
Le soutien matériel pour la génération de preuves a toujours été au centre des préoccupations de l'industrie. Deux présentations sur la grande scène ont présenté les dernières avancées dans ce domaine :
Un chercheur a donné un aperçu complet du matériel à connaissance nulle, y compris les entreprises utilisant du matériel standard et fabriquant du matériel sur mesure, ainsi que des projets exploitant des réseaux de preuves décentralisées. Il prédit qu'avec des technologies telles que les systèmes de validation SNARK optimisés par du matériel, combinés à du matériel dédié, une amélioration de l'efficacité de calcul jusqu'à 1000 fois pourrait être réalisée, ce qui aura un impact significatif sur le développement futur d'Ethereum. Il a également mentionné qu'un concours pour la validation formelle des prouveurs et des validateurs sera annoncé, avec un prix allant jusqu'à 20 millions de dollars.
Le co-fondateur d'une société a présenté le 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 était nettement supérieure à celle de Keccak, ce qui offre de nouvelles perspectives pour la conception de systèmes futurs.
Réseau de validateurs décentralisés
Les experts du secteur s'accordent à dire que, dans le futur, la preuve de validité à grande échelle (comme la vérification de la validité d'un lot de transactions dans un Rollup) sera réalisée par un marché de prouveurs spécialisés, décentralisé et très concurrentiel.
Le co-fondateur d'une entreprise a discuté des divers mécanismes de conception potentiels pour un réseau de validateurs décentralisés. Elle estime que les objectifs de conception devraient être, dans l'ordre : minimiser les coûts, maximiser les délais et garantir 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 au processus de construction de blocs d'aujourd'hui.
Un doctorant d'une université a présenté un nouvel article sur l'économie des réseaux de preuve. Ils ont proposé un nouveau mécanisme appelé Proo-phi, qui introduit un mécanisme de transaction et de preuve innovant pour faire face aux problèmes de collusion pouvant survenir dans les enchères bilatérales.
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 souligné que lors du choix d'une combinaison de systèmes de preuve, il est nécessaire de prendre en compte les opérations linéaires relativement peu coûteuses dans le MPC afin de minimiser les coûts.
Preuves à divulgation nulle de connaissance
Lors du sommet, plusieurs solutions pour construire des certificats à connaissance nulle à partir des systèmes d'identité existants ont également été discutées :
Preuve à zéro connaissance basée sur l'e-mail : en prouvant la connaissance de la signature DKIM de l'e-mail pour une adresse spécifique, cela permet de prouver la propriété de l'adresse e-mail sans révéler d'informations. Cette méthode peut être appliquée à des scénarios tels que les remises anonymes par e-mail et les signalements.
Utiliser OpenID connect pour interagir avec les identités web2 traditionnelles : en interagissant avec les fournisseurs OpenID existants, prouver que l'utilisateur contrôle une adresse spécifique, rendant possibles des applications telles que le transfert de fonds vers des comptes de médias sociaux.
Certificats anonymes basés sur le passeport électronique : les utilisateurs peuvent prouver qu'ils détiennent un passeport d'un pays spécifique et qu'ils répondent aux exigences d'âge, sans avoir à divulguer le numéro de passeport spécifique ou l'âge exact.
Ces solutions innovantes démontrent le large potentiel d'application de la technologie des preuves à divulgation nulle de connaissance dans la vérification d'identité et la protection de la vie privée.
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.
20 J'aime
Récompense
20
8
Reposter
Partager
Commentaire
0/400
TopBuyerBottomSeller
· 07-31 20:02
Athènes, tu es parti en mode hardcore, non ?
Voir l'originalRépondre0
DaoResearcher
· 07-31 16:38
Une augmentation de 1000 fois ne suffit pas non plus à satisfaire les conditions de l'équation ZK. D'après les données, il s'agit d'un autre piège de l'engouement VC.
Voir l'originalRépondre0
AirdropChaser
· 07-31 09:22
Le matériel va faire un big pump ! Stockez-le.
Voir l'originalRépondre0
ZkProofPudding
· 07-30 20:44
J'ai joué avec un Rig de minage pendant un an, il faut vraiment s'y mettre cette fois.
Voir l'originalRépondre0
AirdropHarvester
· 07-30 20:43
vide
Voir l'originalRépondre0
SchroedingerGas
· 07-30 20:42
Qui décide que zk doit nécessairement être cher ? Avancez vers une amélioration de 1000 fois.
Voir l'originalRépondre0
BoredApeResistance
· 07-30 20:35
matériel incroyable
Voir l'originalRépondre0
TestnetFreeloader
· 07-30 20:17
STARK c'est génial, mise à niveau matérielle 1000 fois yyds
Sommet Zéro Connaissance 2024 : L'innovation matérielle et les réseaux de preuves décentralisées ouvrent de nouvelles tendances dans l'industrie
Sommet sur les preuves à divulgation nulle de connaissance 2024 : Rapport en direct
Le 10 avril 2024, le 11ème sommet sur les preuves à divulgation nulle de connaissance a eu lieu à Athènes. Ce sommet, organisé par le podcast sur les preuves à divulgation nulle de connaissance, a attiré environ 500 participants et a présenté quatre conférences simultanées en une journée. Voici un résumé des points clés du sommet, couvrant les dernières avancées sur le matériel à divulgation nulle de connaissance, les performances des SNARK et la conception de réseaux de preuves décentralisés.
Développement du matériel à connaissance nulle
Le soutien matériel pour la génération de preuves a toujours été au centre des préoccupations de l'industrie. Deux présentations sur la grande scène ont présenté les dernières avancées dans ce domaine :
Un chercheur a donné un aperçu complet du matériel à connaissance nulle, y compris les entreprises utilisant du matériel standard et fabriquant du matériel sur mesure, ainsi que des projets exploitant des réseaux de preuves décentralisées. Il prédit qu'avec des technologies telles que les systèmes de validation SNARK optimisés par du matériel, combinés à du matériel dédié, une amélioration de l'efficacité de calcul jusqu'à 1000 fois pourrait être réalisée, ce qui aura un impact significatif sur le développement futur d'Ethereum. Il a également mentionné qu'un concours pour la validation formelle des prouveurs et des validateurs sera annoncé, avec un prix allant jusqu'à 20 millions de dollars.
Le co-fondateur d'une société a présenté le 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 était nettement supérieure à celle de Keccak, ce qui offre de nouvelles perspectives pour la conception de systèmes futurs.
Réseau de validateurs décentralisés
Les experts du secteur s'accordent à dire que, dans le futur, la preuve de validité à grande échelle (comme la vérification de la validité d'un lot de transactions dans un Rollup) sera réalisée par un marché de prouveurs spécialisés, décentralisé et très concurrentiel.
Le co-fondateur d'une entreprise a discuté des divers mécanismes de conception potentiels pour un réseau de validateurs décentralisés. Elle estime que les objectifs de conception devraient être, dans l'ordre : minimiser les coûts, maximiser les délais et garantir 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 au processus de construction de blocs d'aujourd'hui.
Un doctorant d'une université a présenté un nouvel article sur l'économie des réseaux de preuve. Ils ont proposé un nouveau mécanisme appelé Proo-phi, qui introduit un mécanisme de transaction et de preuve innovant pour faire face aux problèmes de collusion pouvant survenir dans les enchères bilatérales.
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 souligné que lors du choix d'une combinaison de systèmes de preuve, il est nécessaire de prendre en compte les opérations linéaires relativement peu coûteuses dans le MPC afin de minimiser les coûts.
Preuves à divulgation nulle de connaissance
Lors du sommet, plusieurs solutions pour construire des certificats à connaissance nulle à partir des systèmes d'identité existants ont également été discutées :
Preuve à zéro connaissance basée sur l'e-mail : en prouvant la connaissance de la signature DKIM de l'e-mail pour une adresse spécifique, cela permet de prouver la propriété de l'adresse e-mail sans révéler d'informations. Cette méthode peut être appliquée à des scénarios tels que les remises anonymes par e-mail et les signalements.
Utiliser OpenID connect pour interagir avec les identités web2 traditionnelles : en interagissant avec les fournisseurs OpenID existants, prouver que l'utilisateur contrôle une adresse spécifique, rendant possibles des applications telles que le transfert de fonds vers des comptes de médias sociaux.
Certificats anonymes basés sur le passeport électronique : les utilisateurs peuvent prouver qu'ils détiennent un passeport d'un pays spécifique et qu'ils répondent aux exigences d'âge, sans avoir à divulguer le numéro de passeport spécifique ou l'âge exact.
Ces solutions innovantes démontrent le large potentiel d'application de la technologie des preuves à divulgation nulle de connaissance dans la vérification d'identité et la protection de la vie privée.