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

Joseph Bonneau publicou em 13 de abril de 2024 um relatório ao vivo sobre a 11ª Cúpula de Conhecimento Zero (zkSummit). A cúpula ocorreu em Atenas no dia 10 de abril, com cerca de 500 participantes. Durante a conferência, quatro palestras foram realizadas, cobrindo os mais recentes avanços em hardware de conhecimento zero, desempenho de SNARK e design de redes de prova.

Hardware de Conhecimento Zero

O suporte ao hardware para a geração de provas tem sido um foco de atenção na indústria. As duas palestras principais no palco abordaram os desenvolvimentos mais recentes nesta área.

Um pesquisador fez uma visão geral abrangente do hardware de conhecimento zero, incluindo o uso de hardware genérico, a fabricação de hardware personalizado e empresas que operam redes de provas descentralizadas. Ele previu que sistemas zkVM otimizados poderiam alcançar um aumento de eficiência computacional de 1000 vezes, o que teria um impacto significativo nas futuras versões do Ethereum. Ele também mencionou que será realizada uma competição formal entre provadores e verificadores, 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 revelaram que, em algumas aplicações, a performance da função hash Groestl supera claramente a do Keccak.

Rede de Provedores Descentralizados

Os especialistas da indústria acreditam amplamente que, no futuro, a geração de provas de grandes declarações ( sobre a correção de um lote de transações em Rollup ) será realizada por um mercado de provadores profissionais descentralizado e altamente competitivo.

O cofundador de uma empresa discutiu várias potenciais concepções de mecanismos para uma rede de provadores descentralizada. Ela acredita que os objetivos de design devem ser, nesta ordem: minimizar custos, maximizar latência e resistência à censura. Ela previu que o modelo de leilão tem a maior probabilidade de sucesso, podendo eventualmente se assemelhar ao atual modelo de construção de blocos. Ela revelou que sua empresa está construindo uma rede de leilão genérica que suporta provas de múltiplos zkVM.

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, portanto propôs um mecanismo alternativo chamado Proo-phi, que introduz novos mecanismos de correspondência 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 proteger a privacidade entre pequenos clientes e grandes provadores. Ele explorou como escolher uma combinação de sistemas de prova para realizar operações lineares, a fim de minimizar custos.

Prova de Conhecimento Zero

As três discussões concentraram-se nos esforços para construir provas de conhecimento zero a partir dos sistemas de identidade existentes, cada uma das quais é baseada em diferentes sistemas de identidade.

Um co-fundador de um determinado projeto apresentou a prova de propriedade de endereço de e-mail de conhecimento zero. Essas provas dependem da verificação da assinatura DKIM dos e-mails enviados para um endereço específico. Muitas aplicações podem usar provas de conhecimento zero para determinar se um usuário controla um endereço de e-mail, incluindo transferências de dinheiro para o endereço de e-mail e denúncias anônimas.

Cientistas de uma determinada empresa discutiram um sistema que utiliza OpenID Connect para interagir com identidades tradicionais do web2. Este sistema interage com provedores de OpenID existentes, comprovando que o usuário controla um endereço específico, permitindo aplicações como transferências para contas do Google ou Facebook.

Alguns membros do projeto discutiram como construir um certificado anônimo a partir dos passaportes eletrônicos existentes. Por exemplo, os usuários podem provar que possuem um passaporte dos EUA e que têm 25 anos, sem revelar o número do passaporte ou a idade exata.