Cimeira de Zero Conhecimento 2024: Observações ao Vivo
No dia 10 de abril de 2024, a 11ª Cimeira sobre Conhecimento Zero ocorreu em Atenas. Cerca de 500 participantes assistiram a este evento de um dia, que contou com quatro palestras. A seguir, apresentamos um resumo dos principais conteúdos da cimeira, que abrange os mais recentes avanços em hardware de conhecimento zero, desempenho de SNARK e design de redes de provas.
Desenvolvimento de Hardware ZK
O suporte de hardware para a geração de provas de conhecimento zero tem sido um foco de atenção na indústria. As duas apresentações principais na sala de conferências resumiram os últimos avanços nesta área:
Um pesquisador fez uma visão geral abrangente sobre hardware ZK, incluindo o uso de hardware genérico, a fabricação de hardware personalizado e as empresas que executam redes de prova descentralizadas. Ele prevê que, com a otimização de hardware nos sistemas de validação SNARK e outras otimizações que estão por vir, o zkVM pode 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 será realizado uma competição para validação formal de provadores e validadores, com prêmios de até 20 milhões de dólares.
O co-fundador de uma empresa apresentou o sistema Binius, bem como a ideia de projetar simultaneamente sistemas de prova e hardware. O Binius utiliza torres binárias e o protocolo sumcheck. Curiosamente, testes iniciais mostraram que a função hash Groestl teve um desempenho significativamente melhor em algumas aplicações em comparação com o Keccak.
Rede de Provedores Descentralizados
Muitos profissionais do setor imaginam que a geração de provas para grandes declarações no futuro (como a validade de um lote de transações em um Rollup) será realizada por um mercado de provadores profissionais descentralizado e altamente competitivo.
A cofundadora de uma determinada empresa discutiu a rede de provadores que será lançada em breve. Ela analisou várias potenciais concepções de mecanismos, acreditando que um design baseado em competição ou mineração pode não ser eficaz. Ela propôs que os objetivos de design devem ser, por ordem: minimizar custos, maximizar latência e resistência à censura. Ela previu que o modelo de leilão é o mais provável de ter sucesso, e no futuro poderá ser semelhante à construção de blocos de hoje.
Um doutorando de uma universidade apresentou um novo artigo sobre a economia das redes de provedores. Ele apontou que os leilões bilaterais são suscetíveis à conluio entre provedores e licitantes, e propôs um mecanismo alternativo chamado Proo-phi, que introduz novos mecanismos de correspondência de transações e de prova.
O diretor técnico de uma empresa discutiu o mercado de provas que suporta computação multipartidária (MPC), especialmente como utilizar 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 custos em MPC.
Inovação em Certificados ZK
Três discussões concentraram-se nos esforços para construir provas de conhecimento zero a partir dos sistemas de identidade existentes:
Um dos cofundadores de um projeto apresentou a prova de propriedade de endereços de e-mail ZK, que depende da prova de conhecimento da assinatura DKIM de um e-mail de um endereço específico. Esta tecnologia pode ser aplicada a cenários como transferências para endereços de e-mail, denúncias anônimas, entre outros.
Um pesquisador de laboratório discutiu a tecnologia de interação de identidade usando OpenID Connect com a identidade tradicional da web2. Isso torna possível aplicações como transferências para contas do Google ou Facebook.
Membros de um 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 determinado país e que atingiram uma idade específica, sem revelar informações concretas.
Estas inovações demonstram o enorme potencial da tecnologia de zero-knowledge na autenticação e proteção da privacidade, oferecendo novas abordagens para a gestão da 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.
10 gostos
Recompensa
10
6
Partilhar
Comentar
0/400
SchrodingerWallet
· 5h atrás
É surpreendente que tantos pros se reuniram em Atenas e não caíram.
Ver originalResponder0
MetaNomad
· 22h atrás
Surpreendentemente, é tudo sobre seguir hardware. É muito profissional, não é?
Ver originalResponder0
MoonBoi42
· 23h atrás
Quase perdi este grande evento
Ver originalResponder0
ZKSherlock
· 23h atrás
na verdade... um aumento de 1000x parece uma hype de marketing. onde está a prova matemática?
Ver originalResponder0
AirdropChaser
· 23h atrás
1000x aumento Agora realmente está animado!
Ver originalResponder0
MEVictim
· 23h atrás
1000x quero ver se é só conversa ou se realmente conseguem fazer isso.
A Cimeira de Zero Conhecimento 2024 foca em hardware ZK e Descentralização de redes de prova
Cimeira de Zero Conhecimento 2024: Observações ao Vivo
No dia 10 de abril de 2024, a 11ª Cimeira sobre Conhecimento Zero ocorreu em Atenas. Cerca de 500 participantes assistiram a este evento de um dia, que contou com quatro palestras. A seguir, apresentamos um resumo dos principais conteúdos da cimeira, que abrange os mais recentes avanços em hardware de conhecimento zero, desempenho de SNARK e design de redes de provas.
Desenvolvimento de Hardware ZK
O suporte de hardware para a geração de provas de conhecimento zero tem sido um foco de atenção na indústria. As duas apresentações principais na sala de conferências resumiram os últimos avanços nesta área:
Um pesquisador fez uma visão geral abrangente sobre hardware ZK, incluindo o uso de hardware genérico, a fabricação de hardware personalizado e as empresas que executam redes de prova descentralizadas. Ele prevê que, com a otimização de hardware nos sistemas de validação SNARK e outras otimizações que estão por vir, o zkVM pode 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 será realizado uma competição para validação formal de provadores e validadores, com prêmios de até 20 milhões de dólares.
O co-fundador de uma empresa apresentou o sistema Binius, bem como a ideia de projetar simultaneamente sistemas de prova e hardware. O Binius utiliza torres binárias e o protocolo sumcheck. Curiosamente, testes iniciais mostraram que a função hash Groestl teve um desempenho significativamente melhor em algumas aplicações em comparação com o Keccak.
Rede de Provedores Descentralizados
Muitos profissionais do setor imaginam que a geração de provas para grandes declarações no futuro (como a validade de um lote de transações em um Rollup) será realizada por um mercado de provadores profissionais descentralizado e altamente competitivo.
A cofundadora de uma determinada empresa discutiu a rede de provadores que será lançada em breve. Ela analisou várias potenciais concepções de mecanismos, acreditando que um design baseado em competição ou mineração pode não ser eficaz. Ela propôs que os objetivos de design devem ser, por ordem: minimizar custos, maximizar latência e resistência à censura. Ela previu que o modelo de leilão é o mais provável de ter sucesso, e no futuro poderá ser semelhante à construção de blocos de hoje.
Um doutorando de uma universidade apresentou um novo artigo sobre a economia das redes de provedores. Ele apontou que os leilões bilaterais são suscetíveis à conluio entre provedores e licitantes, e propôs um mecanismo alternativo chamado Proo-phi, que introduz novos mecanismos de correspondência de transações e de prova.
O diretor técnico de uma empresa discutiu o mercado de provas que suporta computação multipartidária (MPC), especialmente como utilizar 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 custos em MPC.
Inovação em Certificados ZK
Três discussões concentraram-se nos esforços para construir provas de conhecimento zero a partir dos sistemas de identidade existentes:
Um dos cofundadores de um projeto apresentou a prova de propriedade de endereços de e-mail ZK, que depende da prova de conhecimento da assinatura DKIM de um e-mail de um endereço específico. Esta tecnologia pode ser aplicada a cenários como transferências para endereços de e-mail, denúncias anônimas, entre outros.
Um pesquisador de laboratório discutiu a tecnologia de interação de identidade usando OpenID Connect com a identidade tradicional da web2. Isso torna possível aplicações como transferências para contas do Google ou Facebook.
Membros de um 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 determinado país e que atingiram uma idade específica, sem revelar informações concretas.
Estas inovações demonstram o enorme potencial da tecnologia de zero-knowledge na autenticação e proteção da privacidade, oferecendo novas abordagens para a gestão da identidade digital no futuro.