Cimeira de Zero Conhecimento 2024: Observação em Campo

No dia 10 de abril de 2024, a 11ª Cimeira de Zero Knowledge foi realizada em Atenas. Cerca de 500 participantes compareceram ao evento de um dia, que incluiu quatro palestras. A seguir, apresentamos um resumo dos principais pontos da cimeira, abrangendo os mais recentes avanços em hardware de zero knowledge, desempenho de SNARK e design de redes de prova descentralizadas.

Hardware de Conhecimento Zero

O suporte de hardware sempre foi um objetivo importante na área de provas de conhecimento zero. As duas palestras principais no palco central abordaram os últimos desenvolvimentos nesta área:

Um pesquisador fez uma visão geral abrangente do 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, com tecnologias como sistemas de verificação SNARK otimizados por hardware, o zkVM poderia alcançar um aumento de eficiência computacional de 1000 vezes, o que poderia ter um impacto significativo nas futuras versões do Ethereum. Ele também mencionou que a maioria das provas provavelmente adotará o empacotamento Groth16.

Outro especialista discutiu o conceito de projetar simultaneamente sistemas de prova e hardware. O sistema deles utiliza torres binárias e o protocolo sumcheck. Testes preliminares mostram que, em algumas aplicações, o desempenho da função hash Groestl é significativamente superior ao do Keccak.

Rede de provadores descentralizados

Profissionais da indústria imaginam que, no futuro, a geração de provas em grande escala (como a verificação da correção de transações em massa em Rollup) será realizada por um mercado competitivo de provadores descentralizados.

A cofundadora de uma empresa apresentou a sua rede de provadores que está prestes a ser lançada. Ela discutiu várias potenciais conceções de mecanismos, acreditando que os designs baseados em competição ou mineração podem não funcionar bem. Ela salientou que os objetivos de design devem ser, por ordem: minimizar custos, maximizar latência e resistência à censura. Ela previu que os modelos de emissão/estaking podem ser eficazes, mas que o modelo de leilão tem mais probabilidade de sucesso, podendo eventualmente assemelhar-se à construção de blocos atuais.

Um estudante de doutorado apresentou um novo artigo sobre a economia das redes de provedores. Ele mencionou que os leilões bilaterais são suscetíveis à conluio entre provedores e licitantes, por isso propuseram um mecanismo alternativo chamado Proo-phi, que introduziu novas transações de correspondência e mecanismos de prova.

Outro especialista discutiu o mercado de provas que suporta a Computação Multi-Partes (MPC), especialmente como utilizar MPC para manter 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 os custos na MPC.

Prova de Conhecimento Zero

A reunião também discutiu os esforços para construir provas de conhecimento zero a partir dos sistemas de identidade existentes:

• Um projeto dedicado ao desenvolvimento de uma prova de posse de endereço de e-mail de conhecimento zero, baseado em provas de conhecimento sobre assinaturas DKIM.
• Outro projeto utiliza OpenID Connect para interagir com identidades tradicionais da web2, tornando possível aplicações como transferências para contas do Google ou Facebook.
• O terceiro projeto explora como construir certificados anónimos a partir de passaportes eletrónicos existentes, como comprovar a posse de um passaporte de um determinado país e a idade, sem revelar informações específicas.

Esses avanços mostram o enorme potencial da tecnologia de provas de conhecimento zero na autenticação e proteção da privacidade, abrindo novas possibilidades para aplicações futuras.