Resumo da Cimeira de Zero Conhecimento 2024

A 11ª Cúpula de Conhecimento Zero ocorreu em Atenas no dia 10 de abril, com cerca de 500 participantes. A conferência abordou vários tópicos quentes, como hardware de provas de conhecimento zero, desempenho de SNARK e redes de provas descentralizadas.

Progresso do Hardware ZK

Um pesquisador fez uma visão geral do campo de hardware ZK, incluindo o uso de hardware genérico, fabricação de hardware personalizado e empresas que operam redes de prova descentralizadas. Ele previu que o "fim" do zkVM poderia alcançar um aumento de 1000 vezes na eficiência computacional e poderia impactar a versão final do Ethereum. Ele também mencionou que será anunciada uma competição para a validação formal de 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 sistemas de prova e hardware. Testes iniciais mostraram que, em algumas aplicações, a performance da função hash Groestl é claramente superior à do Keccak.

Rede de Provedores Descentralizados

Os especialistas da indústria acreditam que, no futuro, a geração de provas para grandes declarações será realizada por um mercado de provedores de provas descentralizado e altamente competitivo.

O cofundador de uma empresa discutiu a rede de validadores que será lançada em breve e apresentou vários designs de mecanismos potenciais. Ela acredita que os objetivos de design devem ser, em ordem: custo mínimo, maior latência e resistência à censura. Ela prevê que o modelo de leilão é o mais provável de prevalecer, podendo acabar sendo semelhante à construção de blocos de hoje.

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 a conluios e apresentou um mecanismo alternativo chamado Proo-phi.

O CTO de uma empresa discutiu o mercado de provas para computação multipartidária (MPC), especialmente como manter a privacidade entre pequenos clientes e grandes provadores.

Aplicação de Certificados ZK

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

• Prova de propriedade de endereço baseada em assinatura DKIM por e-mail
• Sistema que utiliza OpenID Connect para interagir com identidades tradicionais do web2
• Método para construir um certificado anônimo a partir de um passaporte eletrônico

Essas tecnologias podem ser aplicadas a vários cenários, como remessas anônimas e verificação de identidade, com a expectativa de oferecer credenciais de identidade confiáveis enquanto protegem a privacidade.