Cúpula de Zero Conhecimento 2024: Registros ao Vivo

Joseph Bonneau, parceiro de pesquisa e professor assistente na Universidade de Nova York, participou da 11ª Cúpula de Conhecimento Zero, realizada em Atenas no dia 10 de abril. O evento atraiu cerca de 500 participantes e teve quatro palestras ocorrendo simultaneamente em um único dia. Abaixo está um resumo do relatório de Bonneau, que abrange os últimos avanços em hardware de conhecimento zero, desempenho de SNARK e design de redes de prova.

Hardware ZK

O suporte de hardware para a geração de provas tem sido um objetivo de longo prazo da comunidade. As duas primeiras palestras no palco principal apresentaram os desenvolvimentos mais recentes nesta área.

Um pesquisador fez uma visão geral abrangente do hardware ZK, incluindo a classificação das empresas nesta área. Ele listou empresas que utilizam hardware genérico, empresas que fabricam hardware personalizado e empresas que operam redes de prova descentralizadas. Ele previu que sistemas de verificação SNARK otimizados por hardware e outras otimizações em breve, juntamente com hardware dedicado, poderiam alcançar um aumento de 1000 vezes na eficiência computacional, o que poderia impactar a versão final do Ethereum. Ele também mencionou que uma competição será anunciada para a validação formal de provadores e validadores, com prêmios de até 20 milhões de dólares.

Os cofundadores de uma empresa discutiram o conceito de projetar simultaneamente sistemas de prova e hardware. O sistema deles utiliza campos de torre binária e o protocolo sumcheck. Testes iniciais mostraram que, em certas aplicações, o desempenho da função de hash Groestl é significativamente superior ao do Keccak.

Rede de Provedores Descentralizados

Muitos especialistas da indústria imaginam que, no futuro, a geração de provas para grandes relatórios (como a validade de um lote de transações em Rollup) será realizada por um mercado de provadores profissionais descentralizado e altamente competitivo.

A cofundadora de uma determinada empresa apresentou a rede de provedores que estão prestes a lançar. Ela discutiu vários designs de mecanismos potenciais, acreditando que designs baseados em competição ou mineração podem não funcionar bem. 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 emissão/estaking poderia ser eficaz, mas o modelo de leilão é o mais provável de ser bem-sucedido, podendo eventualmente assemelhar-se à construção de blocos de hoje.

Um doutorando da Universidade de Yale apresentou um novo artigo sobre a economia das redes de provadores. Ele destacou que os leilões bilaterais são suscetíveis à colusão entre provadores e licitantes, e propôs um mecanismo alternativo chamado Proo-phi, que introduz novas transações de correspondência e mecanismos de prova.

O diretor de tecnologia de uma empresa discutiu o mercado de provas que suportam a computação multipartidária (MPC), especialmente o uso de MPC para manter a privacidade entre pequenos clientes e grandes provadores. Ele explorou como escolher uma combinação de sistemas de prova para realizar operações lineares, a fim de minimizar os custos.

Certificados ZK

Três palestras diferentes discutiram os esforços para construir provas de conhecimento zero a partir dos sistemas de identidade existentes.

Um dos cofundadores da empresa apresentou a prova de propriedade de endereços de e-mail ZK. Estas dependem do conhecimento da assinatura DKIM de e-mails enviados para um endereço específico. Muitas aplicações podem usar provas ZK para verificar se um usuário controla um endereço de e-mail, incluindo transferências de fundos para endereços de e-mail e denúncias anônimas.

Cientistas de pesquisa de um determinado laboratório discutiram a tecnologia de interação de identidade usando OpenID Connect com a identidade tradicional do web2. Essa tecnologia interage com provedores de OpenID existentes, comprovando que o usuário controla um determinado endereço, possibilitando aplicações como transferências para contas do Google ou Facebook.

Um representante de uma empresa discutiu como construir certificados anônimos a partir de passaportes eletrônicos existentes. Por exemplo, os usuários podem provar que possuem um passaporte de um determinado país e que atingiram uma certa idade, sem precisar revelar o número do passaporte ou a idade exata.