Cimeira de Zero Conhecimento 2024: Relatório ao Vivo
No dia 10 de abril de 2024, a 11ª Cimeira de Zero Knowledge foi realizada em Atenas. Cerca de 500 participantes estiveram presentes neste evento de um dia, que incluiu quatro palestras. Abaixo está um resumo dos principais pontos da cimeira, cobrindo tópicos como hardware de zero knowledge, desempenho de SNARK e design de redes de prova descentralizadas.
Desenvolvimento de Hardware ZK
O suporte de hardware para a geração de provas sempre foi um objetivo importante no campo do conhecimento zero. As duas apresentações no palco principal resumiram a situação atual do desenvolvimento:
Um pesquisador fez uma visão geral abrangente do hardware ZK, incluindo a classificação das empresas nesse campo. Ele mencionou empresas que utilizam hardware genérico, empresas que fabricam hardware personalizado e empresas que operam redes de prova descentralizadas. Ele previu que sistemas zkVM otimizados poderiam alcançar um aumento de eficiência computacional de 1000 vezes, o que terá um impacto significativo nas futuras versões do Ethereum. Ele também mencionou que a maioria das provas pode usar a estrutura Groth16 e antecipou uma competição formal de validação entre provadores e validadores que ocorrerá em breve.
Um dos cofundadores da empresa apresentou o sistema Binius, que projetou simultaneamente um sistema de prova e hardware. O Binius utiliza torres binárias e o protocolo sumcheck. Curiosamente, testes iniciais mostraram que a função de hash Groestl pode ter vantagens sobre a Keccak em algumas aplicações.
Rede de Provedores Descentralizados
Muitos profissionais da indústria imaginam que a geração de provas para grandes declarações no futuro será realizada por um mercado de provadores profissionais descentralizado e altamente competitivo.
Uma cofundadora de uma empresa discutiu a sua rede de validadores que está prestes a ser lançada. Ela analisou vários designs de mecanismos potenciais, considerando que um design baseado em competição ou mineração pode não trazer os resultados ideais. Ela sugeriu que os objetivos de design deveriam ser, em ordem: minimizar custos, maximizar a latência e a resistência à censura. Ela previu que o modelo de leilão é o mais provável de ter sucesso, e que pode acabar sendo semelhante à construção de blocos de hoje.
Um estudante de doutorado 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 e apresentou um mecanismo alternativo chamado Proo-phi, que introduz novas transações de correspondência e mecanismos de prova.
O CTO de uma empresa discutiu o mercado de provas que suporta computação multipartidária (MPC), especialmente como utilizar o MPC para manter a privacidade entre pequenos clientes e grandes provadores. Ele explorou como escolher combinações de sistemas de prova para otimizar as operações lineares no MPC, a fim de minimizar custos.
Inovação em Certificados ZK
Três discussões centraram-se nos esforços para construir provas de conhecimento zero a partir dos sistemas de identidade existentes:
Um cofundador de um projeto apresentou uma prova de propriedade de identidade de conhecimento zero baseada em e-mail. Essas provas dependem da verificação da assinatura DKIM do e-mail de um endereço específico e podem ser usadas em aplicações como transferências anônimas de e-mail.
Um pesquisador de laboratório discutiu a tecnologia que utiliza OpenID Connect para interagir com identidades tradicionais do web2. Isso torna possível aplicações como transferências de dinheiro para contas do Google ou Facebook.
Membros de um determinado projeto discutiram como construir credenciais anônimas a partir de passaportes eletrônicos existentes. Por exemplo, os usuários podem provar que possuem um passaporte de um determinado país e atingiram uma certa idade, sem revelar informações pessoais específicas.
Essas inovações abriram novas possibilidades para a verificação de identidade enquanto protegem a privacidade, com a expectativa de terem uma ampla aplicação em vários setores.
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.
16 gostos
Recompensa
16
2
Partilhar
Comentar
0/400
RebaseVictim
· 23h atrás
A tecnologia ZK tornou-se um campo de batalha indispensável.
Cúpula ZK 2024: Foco em Hardware ZK, Rede de Provas e Inovação em Identificação
Cimeira de Zero Conhecimento 2024: Relatório ao Vivo
No dia 10 de abril de 2024, a 11ª Cimeira de Zero Knowledge foi realizada em Atenas. Cerca de 500 participantes estiveram presentes neste evento de um dia, que incluiu quatro palestras. Abaixo está um resumo dos principais pontos da cimeira, cobrindo tópicos como hardware de zero knowledge, desempenho de SNARK e design de redes de prova descentralizadas.
Desenvolvimento de Hardware ZK
O suporte de hardware para a geração de provas sempre foi um objetivo importante no campo do conhecimento zero. As duas apresentações no palco principal resumiram a situação atual do desenvolvimento:
Um pesquisador fez uma visão geral abrangente do hardware ZK, incluindo a classificação das empresas nesse campo. Ele mencionou empresas que utilizam hardware genérico, empresas que fabricam hardware personalizado e empresas que operam redes de prova descentralizadas. Ele previu que sistemas zkVM otimizados poderiam alcançar um aumento de eficiência computacional de 1000 vezes, o que terá um impacto significativo nas futuras versões do Ethereum. Ele também mencionou que a maioria das provas pode usar a estrutura Groth16 e antecipou uma competição formal de validação entre provadores e validadores que ocorrerá em breve.
Um dos cofundadores da empresa apresentou o sistema Binius, que projetou simultaneamente um sistema de prova e hardware. O Binius utiliza torres binárias e o protocolo sumcheck. Curiosamente, testes iniciais mostraram que a função de hash Groestl pode ter vantagens sobre a Keccak em algumas aplicações.
Rede de Provedores Descentralizados
Muitos profissionais da indústria imaginam que a geração de provas para grandes declarações no futuro será realizada por um mercado de provadores profissionais descentralizado e altamente competitivo.
Uma cofundadora de uma empresa discutiu a sua rede de validadores que está prestes a ser lançada. Ela analisou vários designs de mecanismos potenciais, considerando que um design baseado em competição ou mineração pode não trazer os resultados ideais. Ela sugeriu que os objetivos de design deveriam ser, em ordem: minimizar custos, maximizar a latência e a resistência à censura. Ela previu que o modelo de leilão é o mais provável de ter sucesso, e que pode acabar sendo semelhante à construção de blocos de hoje.
Um estudante de doutorado 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 e apresentou um mecanismo alternativo chamado Proo-phi, que introduz novas transações de correspondência e mecanismos de prova.
O CTO de uma empresa discutiu o mercado de provas que suporta computação multipartidária (MPC), especialmente como utilizar o MPC para manter a privacidade entre pequenos clientes e grandes provadores. Ele explorou como escolher combinações de sistemas de prova para otimizar as operações lineares no MPC, a fim de minimizar custos.
Inovação em Certificados ZK
Três discussões centraram-se nos esforços para construir provas de conhecimento zero a partir dos sistemas de identidade existentes:
Um cofundador de um projeto apresentou uma prova de propriedade de identidade de conhecimento zero baseada em e-mail. Essas provas dependem da verificação da assinatura DKIM do e-mail de um endereço específico e podem ser usadas em aplicações como transferências anônimas de e-mail.
Um pesquisador de laboratório discutiu a tecnologia que utiliza OpenID Connect para interagir com identidades tradicionais do web2. Isso torna possível aplicações como transferências de dinheiro para contas do Google ou Facebook.
Membros de um determinado projeto discutiram como construir credenciais anônimas a partir de passaportes eletrônicos existentes. Por exemplo, os usuários podem provar que possuem um passaporte de um determinado país e atingiram uma certa idade, sem revelar informações pessoais específicas.
Essas inovações abriram novas possibilidades para a verificação de identidade enquanto protegem a privacidade, com a expectativa de terem uma ampla aplicação em vários setores.