Cúpula de Conhecimento Zero 2024: Observação no Local

No dia 10 de abril de 2024, a 11ª Cimeira de Zero Knowledge teve lugar em Atenas. Cerca de 500 participantes assistiram a um evento de um dia, que incluiu quatro sessões de palestras paralelas. Este artigo resume os importantes avanços discutidos na cimeira sobre o mais recente hardware de zero knowledge, o desempenho de SNARK e o design de redes de provas descentralizadas.

Desenvolvimento de Hardware de Conhecimento Zero

O suporte de hardware sempre foi um objetivo importante para a comunidade de provas de conhecimento zero. Duas palestras no palco principal abordaram os últimos avanços nesta área:

Um pesquisador fez uma análise abrangente do hardware de conhecimento zero, classificando as empresas relacionadas em três categorias: aquelas que usam hardware genérico, aquelas que fabricam hardware personalizado e aquelas que operam redes de prova descentralizadas. Ele previu que a "forma final" do zkVM pode alcançar um aumento de 1000 vezes na eficiência computacional, o que terá um impacto significativo nas futuras versões do Ethereum. Ele também mencionou que em breve será anunciada uma competição formal de validação para provadores e validadores, com prêmios de até 20 milhões de dólares.

Um dos cofundadores da empresa apresentou o sistema Binius, que projeta simultaneamente um sistema de prova e hardware. O Binius utiliza torres binárias e o protocolo sumcheck. Testes preliminares mostraram que, em algumas aplicações, a performance da função hash Groestl é significativamente superior à do Keccak.

Rede de Provedores Descentralizados

Os especialistas da indústria acreditam amplamente que, no futuro, a prova em larga escala (como a verificação da validade de um lote de transações em Rollup) será realizada por um mercado descentralizado de provedores de prova altamente competitivo.

O cofundador de uma empresa discutiu a rede de provadores que estão prestes a lançar. Ela analisou diferentes designs de mecanismos, acreditando que os modelos baseados em competição ou mineração podem ter um desempenho insatisfatório. Ela sugeriu que os objetivos de design deveriam ser, na ordem: minimizar custos, maximizar latência e resistência à censura. Ela previu que o modelo de leilão tem a maior probabilidade de prevalecer, podendo eventualmente se assemelhar ao atual processo de construção de blocos.

Um doutorando de uma universidade apresentou um novo artigo sobre a economia das redes de provadores. Ele destacou que os leilões bilaterais são suscetíveis à influência de conluios, e assim propôs um mecanismo alternativo chamado Proo-phi, que introduz novos mecanismos de negociação e prova.

O diretor técnico de uma empresa discutiu o mercado de provas de 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 o custo das operações lineares no MPC.

Prova de Conhecimento Zero

Três discussões focaram nos esforços para construir provas de conhecimento zero com base nos sistemas de identidade existentes:

O cofundador de uma empresa apresentou a prova de propriedade de endereço de e-mail de conhecimento zero. Essas provas dependem da verificação da assinatura DKIM de e-mails enviados para um endereço específico, podendo ser utilizadas em aplicações como remessas anônimas e denúncias.

Um pesquisador de laboratório discutiu um sistema que utiliza OpenID Connect para interagir com identidades tradicionais da Web2. Este sistema pode permitir aplicações como transferências para contas do Google ou Facebook.

Um representante de um projeto discutiu como construir um certificado anônimo com base em passaportes eletrônicos existentes. Por exemplo, o usuário pode provar que possui um passaporte americano e que tem pelo menos 25 anos, sem precisar revelar o número do passaporte ou a idade exata.