Zero Knowledge Summit 2024: Relatório ao vivo

No dia 10 de abril de 2024, a 11ª Cúpula de Zero Knowledge será realizada em Atenas. Este evento reunirá cerca de 500 participantes, com quatro palestras programadas. Abaixo está um resumo dos principais pontos da cúpula, abrangendo os mais recentes avanços em hardware de zero knowledge, desempenho de SNARK e design de redes de provas.

Desenvolvimento de Hardware ZK

O suporte de hardware para provas de conhecimento zero tem sido um foco de atenção na indústria. Na conferência, vários especialistas discutiram o estado atual e o futuro do hardware ZK:

• Um pesquisador fez uma visão geral abrangente do campo do hardware ZK, envolvendo o uso de hardware genérico, a fabricação de hardware personalizado e várias empresas que operam redes de prova descentralizadas. Ele previu que, combinando sistemas de verificação SNARK otimizados por hardware e outras otimizações que estão por vir, pode-se alcançar um aumento de eficiência computacional de 1000 vezes, o que terá um impacto significativo no futuro desenvolvimento do Ethereum. Ele também mencionou que uma instituição planeja realizar uma competição formal de validação para validadores e provadores, com prêmios de até 20 milhões de dólares.

• O co-fundador de uma empresa de hardware apresentou o sistema de verificação SNARK que estão a desenvolver, que é baseado em torres binárias e no protocolo sumcheck. Ele destacou que, em algumas aplicações, o desempenho da função hash Groestl é claramente superior ao de Keccak, e essa descoberta pode influenciar as escolhas de design de sistemas no futuro.

Rede de Provedores Descentralizados

Vários especialistas discutiram as futuras direções de desenvolvimento das redes de provadores descentralizados:

• A co-fundadora de uma determinada empresa apresentou a rede de provadores que estão prestes a lançar. Ela analisou os diferentes mecanismos de design de rede, acreditando que os modelos baseados em competição ou mineração podem não ser eficazes. Ela sugeriu que os objetivos de design deveriam ser, por ordem: custo mínimo, máxima latência e resistência à censura. Ela previu que o modelo de leilão tem mais chances de se tornar mainstream, podendo no futuro assemelhar-se ao atual processo de construção de blocos.

• Um doutorando apresentou um novo artigo sobre a economia das redes de provadores. Ele apontou que os leilões bilaterais são suscetíveis a conluio e propôs um mecanismo alternativo chamado Proo-phi, que introduz novas transações de correspondência e um mecanismo de prova.

• O responsável técnico de uma empresa discutiu o mercado de provas que suportam cálculos multipartidários (MPC), especialmente como realizar provas de grande escala de forma confiável, enquanto protege a privacidade de pequenos clientes. Ele explorou como escolher combinações de sistemas de prova para otimizar os custos de operações lineares em MPC.

Inovação em Certificados ZK

A reunião também discutiu várias soluções para a construção de provas de zero conhecimento com base no sistema de identidade existente:

• Prova de propriedade do endereço de e-mail ZK baseada na assinatura DKIM do e-mail, aplicável a cenários como transferências anónimas e denúncias.

• Utilizar OpenID connect para interagir com identidades tradicionais do web2, permitindo aplicações como transferências para contas de redes sociais.

• Construir certificados anónimos a partir de passaportes eletrónicos existentes, permitindo que os utilizadores provem informações específicas sem revelar detalhes pessoais.

Essas soluções inovadoras demonstram o amplo potencial de aplicação da tecnologia de provas de zero conhecimento na autenticação e proteção da privacidade.