No dia 10 de abril de 2024, a 11ª Cúpula de Conhecimento Zero foi realizada em Atenas. Este evento foi organizado pelo podcast Zero Knowledge e contou com a participação de cerca de 500 participantes, com quatro palestras ocorrendo simultaneamente em um único dia. A seguir, está um resumo dos tópicos importantes da cúpula, cobrindo os avanços mais recentes em hardware de conhecimento zero, desempenho de SNARKs e design de redes de provas.
Desenvolvimento de Hardware ZK
Durante muito tempo, o suporte de hardware para a geração de provas tem sido um foco de atenção na indústria. No palco principal desta cimeira, duas palestras resumiram os mais recentes avanços nesta área.
Um pesquisador de uma fundação fez uma visão geral abrangente do hardware ZK, incluindo a classificação das empresas neste campo. Essas empresas incluem aquelas que usam hardware genérico, empresas que fabricam hardware personalizado e aquelas que operam redes de prova descentralizadas. Ele previu que o "fim" do zkVM poderia alcançar um aumento de eficiência computacional de 1000 vezes, o que terá um impacto profundo nas tecnologias blockchain do futuro. Ele também mencionou que a fundação anunciará uma competição para a validação formal de provadores e validadores, com prêmios de até 20 milhões de dólares.
Os cofundadores de uma determinada empresa discutiram o conceito de projetar simultaneamente sistemas de prova e hardware. O sistema deles utiliza campos de torre binária e o protocolo sumcheck. Uma conclusão interessante derivada de testes iniciais é que o desempenho da função hash Groestl é significativamente superior ao do Keccak, o que significa que o uso de Groestl pode ser mais vantajoso em algumas aplicações.
Rede de Provedores Descentralizados
Muitas pessoas na indústria imaginaram um cenário futuro: a geração de provas de declarações em grande escala (como a correção de um lote de transações em Rollup) será realizada por um mercado de provadores profissionais descentralizado e altamente competitivo.
Uma cofundadora de uma empresa apresentou a sua rede de provadores que em breve será lançada. Ela discutiu vários potenciais desenhos de mecanismos para uma rede de provadores descentralizada e previu que os designs baseados em competição ou mineração podem não trazer resultados ideais. Ela acredita que os objetivos de design devem ser, em ordem: minimizar custos, maximizar latência e resistência à censura. Ela previu que o modelo de emissão/participação pode ser eficaz, mas o modelo de leilão é o mais provável de prevalecer, podendo eventualmente ser semelhante ao atual modelo de construção de blocos.
Um doutorando de uma universidade apresentou um novo artigo sobre a economia das redes de provadores. Ele mencionou que os leilões bilaterais são suscetíveis à conluio entre provadores e licitantes, e eles propuseram um mecanismo alternativo chamado Proo-phi, que introduziu novas transações de correspondência e mecanismos de prova.
O CTO de uma empresa discutiu o mercado de provas que suportam Computação Multipartidária (MPC), especialmente como usar o MPC para proteger a privacidade entre pequenos clientes e grandes provadores. Ele explorou como escolher combinações de sistemas de prova para realizar operações lineares, a fim de minimizar os custos no MPC.
ZK Certificado
Na cimeira, também ocorreram três discussões sobre a construção de provas de conhecimento zero a partir de sistemas de identidade existentes, cada uma dependendo de um sistema de identidade existente diferente.
Um dos cofundadores de um projeto discutiu a prova de propriedade de endereços de e-mail ZK. Essas provas dependem da verificação da assinatura DKIM de e-mails enviados para um endereço específico, sendo que o DKIM foi amplamente implementado pelos principais provedores de e-mail. Esta tecnologia pode ser aplicada a vários cenários, como enviar remessas anonimamente para endereços de e-mail ou denunciar anonimamente.
Um cientista de um laboratório de pesquisa apresentou um projeto que utiliza OpenID Connect para interagir com identidades tradicionais da web2. Este projeto é capaz de interagir com provedores de OpenID existentes e provar que o usuário controla um determinado endereço, permitindo aplicações semelhantes a transferências para contas de mídia social.
Membros de uma equipe de projeto discutiram como construir um certificado anônimo a partir de passaportes eletrônicos existentes. Por exemplo, os usuários podem provar que possuem um passaporte de um determinado país e que atingiram uma idade específica, sem revelar o número exato do passaporte ou a idade exata.
Estas discussões demonstram o amplo potencial da tecnologia de provas de conhecimento zero na validação de identidade e na proteção da privacidade, oferecendo novas possibilidades para a gestão de identidade digital no futuro.
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
11 gostos
Recompensa
11
5
Republicar
Partilhar
Comentar
0/400
WalletDoomsDay
· 10h atrás
A conferência zk é incrível, estou na frente com o microfone.
Ver originalResponder0
TokenDustCollector
· 10h atrás
Todo mundo está aproveitando o tráfego do web3.
Ver originalResponder0
ZKProofster
· 10h atrás
para ser sincero, 1000x parece extremamente otimista... mostra-me os cálculos primeiro
Ver originalResponder0
ZenMiner
· 10h atrás
Não conseguir bilhetes também é uma forma de destino, não é?
Ver originalResponder0
SignatureCollector
· 10h atrás
Ter dinheiro para investir em ZK não é tão bom quanto obter uma assinatura na hora.
Cimeira ZK de 2024: Novos avanços em hardware ZK, redes de prova e identificação
Cúpula de Zero Conhecimento 2024: Relato ao Vivo
No dia 10 de abril de 2024, a 11ª Cúpula de Conhecimento Zero foi realizada em Atenas. Este evento foi organizado pelo podcast Zero Knowledge e contou com a participação de cerca de 500 participantes, com quatro palestras ocorrendo simultaneamente em um único dia. A seguir, está um resumo dos tópicos importantes da cúpula, cobrindo os avanços mais recentes em hardware de conhecimento zero, desempenho de SNARKs e design de redes de provas.
Desenvolvimento de Hardware ZK
Durante muito tempo, o suporte de hardware para a geração de provas tem sido um foco de atenção na indústria. No palco principal desta cimeira, duas palestras resumiram os mais recentes avanços nesta área.
Um pesquisador de uma fundação fez uma visão geral abrangente do hardware ZK, incluindo a classificação das empresas neste campo. Essas empresas incluem aquelas que usam hardware genérico, empresas que fabricam hardware personalizado e aquelas que operam redes de prova descentralizadas. Ele previu que o "fim" do zkVM poderia alcançar um aumento de eficiência computacional de 1000 vezes, o que terá um impacto profundo nas tecnologias blockchain do futuro. Ele também mencionou que a fundação anunciará uma competição para a validação formal de provadores e validadores, com prêmios de até 20 milhões de dólares.
Os cofundadores de uma determinada empresa discutiram o conceito de projetar simultaneamente sistemas de prova e hardware. O sistema deles utiliza campos de torre binária e o protocolo sumcheck. Uma conclusão interessante derivada de testes iniciais é que o desempenho da função hash Groestl é significativamente superior ao do Keccak, o que significa que o uso de Groestl pode ser mais vantajoso em algumas aplicações.
Rede de Provedores Descentralizados
Muitas pessoas na indústria imaginaram um cenário futuro: a geração de provas de declarações em grande escala (como a correção de um lote de transações em Rollup) será realizada por um mercado de provadores profissionais descentralizado e altamente competitivo.
Uma cofundadora de uma empresa apresentou a sua rede de provadores que em breve será lançada. Ela discutiu vários potenciais desenhos de mecanismos para uma rede de provadores descentralizada e previu que os designs baseados em competição ou mineração podem não trazer resultados ideais. Ela acredita que os objetivos de design devem ser, em ordem: minimizar custos, maximizar latência e resistência à censura. Ela previu que o modelo de emissão/participação pode ser eficaz, mas o modelo de leilão é o mais provável de prevalecer, podendo eventualmente ser semelhante ao atual modelo de construção de blocos.
Um doutorando de uma universidade apresentou um novo artigo sobre a economia das redes de provadores. Ele mencionou que os leilões bilaterais são suscetíveis à conluio entre provadores e licitantes, e eles propuseram um mecanismo alternativo chamado Proo-phi, que introduziu novas transações de correspondência e mecanismos de prova.
O CTO de uma empresa discutiu o mercado de provas que suportam Computação Multipartidária (MPC), especialmente como usar o MPC para proteger a privacidade entre pequenos clientes e grandes provadores. Ele explorou como escolher combinações de sistemas de prova para realizar operações lineares, a fim de minimizar os custos no MPC.
ZK Certificado
Na cimeira, também ocorreram três discussões sobre a construção de provas de conhecimento zero a partir de sistemas de identidade existentes, cada uma dependendo de um sistema de identidade existente diferente.
Um dos cofundadores de um projeto discutiu a prova de propriedade de endereços de e-mail ZK. Essas provas dependem da verificação da assinatura DKIM de e-mails enviados para um endereço específico, sendo que o DKIM foi amplamente implementado pelos principais provedores de e-mail. Esta tecnologia pode ser aplicada a vários cenários, como enviar remessas anonimamente para endereços de e-mail ou denunciar anonimamente.
Um cientista de um laboratório de pesquisa apresentou um projeto que utiliza OpenID Connect para interagir com identidades tradicionais da web2. Este projeto é capaz de interagir com provedores de OpenID existentes e provar que o usuário controla um determinado endereço, permitindo aplicações semelhantes a transferências para contas de mídia social.
Membros de uma equipe de projeto discutiram como construir um certificado anônimo a partir de passaportes eletrônicos existentes. Por exemplo, os usuários podem provar que possuem um passaporte de um determinado país e que atingiram uma idade específica, sem revelar o número exato do passaporte ou a idade exata.
Estas discussões demonstram o amplo potencial da tecnologia de provas de conhecimento zero na validação de identidade e na proteção da privacidade, oferecendo novas possibilidades para a gestão de identidade digital no futuro.