Cúpula de Zero Conhecimento 2024: Relatório ao Vivo

No dia 10 de abril de 2024, a 11ª Cimeira de Zero Knowledge ocorreu em Atenas. Esta cimeira foi organizada pelo podcast Zero Knowledge, e contou com a participação de cerca de 500 participantes, além de quatro palestras. Abaixo está um resumo dos principais conteúdos da cimeira, abrangendo os últimos avanços em hardware de zero conhecimento, desempenho de SNARK e design de redes de prova descentralizadas.

Hardware de conhecimento zero

O suporte de hardware tem sido um objetivo importante no campo das provas de conhecimento zero. Na cúpula, vários especialistas discutiram profundamente este tópico.

Um pesquisador de uma fundação fez uma visão geral abrangente sobre hardware de conhecimento zero e classificou as empresas relacionadas. Ele previu que, com a otimização do sistema de verificação SNARK e outras medidas de otimização, os custos computacionais poderiam ser reduzidos em até 1000 vezes, o que pode ter um impacto significativo nas versões futuras do Ethereum. Ele também mencionou que será anunciada uma competição para a validação formal de provadores e verificadores, com um prêmio de até 20 milhões de dólares.

O cofundador de uma empresa apresentou o seu sistema de verificação SNARK otimizado por hardware, bem como a filosofia de projetar simultaneamente o sistema de prova e o hardware. Ele mencionou que os testes iniciais mostraram que a função hash Groestl pode ser mais vantajosa do que a Keccak em algumas aplicações.

Rede de Provedores Descentralizados

Muitos profissionais da indústria imaginam que a geração de provas em larga escala no futuro será realizada por um mercado de provadores profissionais descentralizado e altamente competitivo.

Os cofundadores de uma empresa discutiram vários designs de mecanismos potenciais para redes de provedores descentralizados. Ela acredita que os objetivos de design devem ser, por ordem: minimizar custos, maximizar latência e resistência à censura. Ela prevê que o modelo de emissão/estaca pode ser eficaz, mas o modelo de leilão tem mais probabilidade de prevalecer, podendo acabar sendo semelhante à construção de blocos de hoje.

Um doutorando da Universidade de Yale apresentou um novo artigo sobre a economia das redes de provadores. O artigo propõe um novo mecanismo chamado Proo-phi, destinado a resolver o problema da influência da conivência entre provadores e licitantes em leilões bilaterais.

O cofundador e CTO de uma empresa discutiu o mercado de provas que suportam o cálculo multipartidário (MPC), especialmente como utilizar o MPC para manter a privacidade entre pequenos clientes e grandes provadores.

Prova de Conhecimento Zero

Na reunião, também foram discutidas várias soluções para construir provas de conhecimento zero a partir do sistema de identificação existente.

O co-fundador de uma empresa apresentou uma prova de conhecimento zero baseada na propriedade do endereço de e-mail. Este método pode ser utilizado em várias aplicações, como enviar dinheiro para um endereço de e-mail ou denunciar anonimamente.

Cientistas de pesquisa de um determinado laboratório discutiram uma solução para interagir com identidades web2 tradicionais utilizando o OpenID connect, tornando possível aplicações como enviar remessas para contas do Google ou Facebook.

Um representante de uma empresa discutiu como construir certificados anónimos a partir de passaportes eletrónicos existentes, como provar que se possui um passaporte de um determinado país e que se tem uma determinada idade, sem revelar informações pessoais específicas.

Essas discussões mostram as amplas perspectivas de aplicação da tecnologia de provas de conhecimento zero na autenticação e proteção da privacidade, oferecendo novas ideias para a gestão da identidade digital no futuro.