Zero Knowledge Summit 2024: Notas do evento

No dia 10 de abril de 2024, a 11ª Cimeira de Zero Knowledge teve lugar em Atenas. Cerca de 500 participantes estiveram presentes neste evento de um dia, que incluiu quatro palestras. Abaixo está um resumo dos principais pontos do evento, abrangendo os mais recentes avanços em hardware de zero knowledge, desempenho de SNARK e design de redes de prova.

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 compartilharam os últimos avanços neste campo:

Um pesquisador de uma fundação fez uma visão geral abrangente do hardware ZK, classificando as empresas relevantes em três categorias: empresas que usam hardware genérico, empresas que fabricam hardware personalizado e empresas que operam redes de provas descentralizadas. Ele previu que tecnologias como sistemas de validação SNARK otimizados em hardware poderiam alcançar um aumento de eficiência computacional de 1000 vezes, o que teria um impacto significativo no futuro desenvolvimento do Ethereum. Ele também mencionou que a maioria das provas usará o pacote Groth16, e que o hardware estará principalmente focado em provas não ZK concisas.

Um dos cofundadores da empresa apresentou o sistema de verificação que desenvolveram, o qual otimiza simultaneamente o sistema de prova e o design de hardware. Testes preliminares mostraram que, em certas aplicações, o desempenho da função hash Groestl é significativamente superior ao do Keccak.

Rede de Provedores Descentralizados

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

Uma das cofundadoras da empresa apresentou a rede de provadores que estão prestes a lançar. Ela analisou vários mecanismos de design de rede e acredita que os designs baseados em competição ou mineração podem não funcionar bem. Ela sugeriu que os objetivos de design devem ser, por ordem: minimizar custos, maximizar latência e resistência à censura. Ela previu que o modelo de leilão é o mais provável de ter sucesso, podendo eventualmente ser semelhante ao atual modelo de construção de blocos.

Um doutorando de uma universidade 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 introduziu novas transações de correspondência e um mecanismo de prova.

O diretor técnico de uma empresa discutiu o mercado de provas de computação multipartidária, especialmente como realizar interações sem confiança entre pequenos clientes e grandes provadores, ao mesmo tempo que protege a privacidade.

Aplicação de Certificados ZK

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

Um dos co-fundadores do projeto apresentou uma prova de propriedade de conhecimento zero baseada em e-mail. Este método utiliza a verificação de assinatura DKIM para validar se o usuário controla um endereço de e-mail específico, podendo ser aplicado em cenários como remessas anônimas e denúncias.

Cientistas de uma empresa compartilharam uma solução que utiliza OpenID Connect para interagir com identidades tradicionais do web2, tornando possível aplicações como transferências para contas do Google ou Facebook.

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

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