Cúpula de Conhecimento Zero 2024: Reportagem ao Vivo

No dia 10 de abril de 2024, a 11ª Cúpula de Conhecimento Zero foi realizada em Atenas. Esta cúpula reuniu cerca de 500 participantes, com quatro palestras paralelas ocorrendo simultaneamente em um único dia. Abaixo está um resumo dos principais pontos da cúpula, abrangendo os mais recentes avanços em hardware de conhecimento zero, desempenho de SNARK e design de redes de prova descentralizadas.

Desenvolvimento de Hardware de Conhecimento Zero

O suporte de hardware sempre foi um objetivo importante na área das provas de conhecimento zero. As duas palestras principais no palco descreveram a atual situação de desenvolvimento:

Um pesquisador fez uma visão geral abrangente sobre hardware de conhecimento zero, incluindo empresas que utilizam hardware genérico, empresas que fabricam hardware personalizado e empresas que operam redes de prova descentralizadas. Ele previu que a combinação de sistemas de verificação SNARK otimizados por hardware e outras otimizações que estão por vir pode resultar em um aumento de eficiência computacional de 1000 vezes, o que terá um impacto significativo no desenvolvimento futuro do Ethereum. Ele também mencionou que uma fundação anunciará uma competição para validar formalmente provadores e validadores, com prêmios de até 20 milhões de dólares.

O cofundador de uma empresa apresentou a ideia de projetar simultaneamente sistemas de prova e hardware. O seu sistema utiliza torres binárias e o protocolo sumcheck. Testes iniciais mostraram que, em algumas aplicações, a performance da função de hash Groestl é claramente superior à do Keccak.

Rede de Provedores Descentralizados

Os especialistas da indústria geralmente imaginam que, no futuro, a geração de provas de declaração em grande escala (como a validade de um lote de transações em Rollup) será realizada por um mercado de provadores profissionais descentralizado e altamente competitivo.

Os cofundadores de uma determinada empresa discutiram vários potenciais designs de mecanismos para redes de provadores descentralizados. Ela acredita que os objetivos de design devem ser, por ordem: minimizar custos, maximizar a latência e garantir resistência à censura. Ela prevê que o modelo de leilão é o mais provável de prevalecer, podendo eventualmente ser semelhante ao atual processo de construção de blocos.

Um doutorando de uma universidade apresentou um novo artigo sobre a economia das redes de validadores. Ele mencionou que os leilões bilaterais são facilmente afetados pela conivência entre validadores e licitantes, e, por isso, propôs um mecanismo alternativo chamado Proo-phi, que introduz novas transações de correspondência e mecanismos de validação.

O CTO de uma empresa discutiu o mercado de provas que suportam o cálculo multipartidário (MPC), especificamente como utilizar o MPC para manter a privacidade entre pequenos clientes e grandes provadores. Ele explorou como escolher combinações de sistemas de provas para realizar operações lineares, a fim de minimizar custos no MPC.

Prova de Conhecimento Nulo

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

1. Prova de propriedade de endereço sem conhecimento baseada em e-mail, dependente da verificação da assinatura DKIM.

2. Utilizar OpenID connect para interagir com identidades web2 tradicionais, permitindo aplicações como transferências para contas do Google ou Facebook.

3. Construir credenciais anônimas a partir de passaportes eletrônicos existentes, como provar a posse de um passaporte de um determinado país e faixa etária, sem revelar informações pessoais específicas.

Essas inovações oferecem novas possibilidades para a autenticação e proteção da privacidade, com expectativa de ampla aplicação em vários setores.