Zero Knowledge Summit 2024: Reportagem ao vivo da Cúpula de Zero Conhecimento

No dia 10 de abril de 2024, a 11ª Cúpula de Conhecimento Zero foi realizada em Atenas. Este evento foi organizado pelo podcast Zero Knowledge, com cerca de 500 participantes, e quatro palestras ocorreram simultaneamente ao longo de um dia. A seguir, um resumo dos principais conteúdos da cúpula, abrangendo os mais recentes avanços em hardware de conhecimento zero, desempenho de SNARK e design de redes de provas descentralizadas.

Desenvolvimento de Hardware de Conhecimento Zero

O suporte de hardware sempre foi um objetivo importante para a comunidade de provas de conhecimento zero. Na cimeira, vários especialistas compartilharam os últimos avanços nesta área:

Um pesquisador fez uma visão geral abrangente sobre hardware de conhecimento zero, classificando as empresas relevantes em três categorias: empresas que utilizam hardware genérico, empresas que fabricam hardware personalizado e empresas que operam redes de prova descentralizadas. Ele prevê 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 até 1000 vezes, o que terá um impacto significativo na arquitetura futura da blockchain.

O co-fundador de uma determinada empresa apresentou um novo sistema SNARK que estão desenvolvendo, que otimiza simultaneamente o sistema de provas e o design de hardware. Testes preliminares mostraram que, em algumas aplicações, o desempenho da função de hash Groestl é significativamente superior ao do Keccak, o que oferece novas ideias para o design de sistemas futuros.

Rede de Provedores Descentralizados

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

A cofundadora de uma empresa analisou os vários potenciais mecanismos de design da rede de validadores. Ela acredita que designs baseados em competição ou mineração podem não trazer resultados ideais, enquanto o modelo de leilão é o que tem mais chances de vencer, podendo no futuro assemelhar-se ao atual processo de construção de blocos. Ela também revelou que estão a construir uma rede de leilão genérica para suportar as provas de múltiplos zkVM.

Um doutorando apresentou os resultados da sua pesquisa recentemente publicada sobre a economia das redes de validadores. Eles propuseram um novo mecanismo chamado Proo-phi, destinado a resolver o problema de conluio que pode surgir em leilões bilaterais. No entanto, esse mecanismo ainda precisa resolver questões de design crítico, como a configuração de parâmetros de capacidade.

O responsável técnico de outra empresa discutiu o mercado de provas que suportam a computação multipartidária (MPC), com especial atenção a como realizar interações sem confiança entre pequenos clientes e grandes provadores, ao mesmo tempo que se protege a privacidade. Ele enfatizou a importância de escolher a combinação certa de sistemas de prova para otimizar os custos de MPC.

Aplicações de Prova de Conhecimento Zero

A cimeira também discutiu a aplicação de provas de conhecimento zero nos sistemas de identidade existentes:

Um dos cofundadores de uma startup apresentou uma prova de propriedade de conhecimento zero baseada em e-mail. Esta tecnologia utiliza assinaturas DKIM e pode ser aplicada em cenários como transferências anônimas e denúncias.

Um pesquisador de uma plataforma de blockchain compartilhou sua solução para interagir com identidades Web2 tradicionais usando OpenID Connect, o que torna possível transferir dinheiro anonimamente para contas do Google ou Facebook.

Um representante de outro projeto discutiu como construir certificados anônimos a partir de passaportes eletrônicos existentes, como provar que se possui um passaporte de um determinado país e que se tem uma certa idade, sem revelar informações pessoais específicas.

De um modo geral, esta cúpula demonstrou os importantes avanços da tecnologia de prova de conhecimento zero em áreas como otimização de hardware, design de rede e aplicações práticas, indicando o caminho para o desenvolvimento futuro deste campo.