Zero Knowledge Summit 2024: Relato do Cimeira de Conhecimento Zero
No dia 10 de abril de 2024, a 11ª Cúpula de Conhecimento Zero foi realizada em Atenas. Cerca de 500 participantes se reuniram para um dia de quatro sessões paralelas. Este artigo resume os últimos avanços discutidos na cúpula sobre hardware de conhecimento zero, desempenho de SNARK e design de redes de prova descentralizadas.
Desenvolvimento de hardware de conhecimento zero
O suporte de hardware tem sido uma área de foco importante para a comunidade de provas de conhecimento zero. As duas palestras principais que abriram a conferência resumiram os avanços mais recentes neste campo:
Um pesquisador fez uma revisão abrangente sobre hardware de conhecimento zero, classificando as empresas relacionadas em três categorias: empresas que utilizam hardware genérico, empresas que fabricam hardware especializado e empresas que operam redes de prova descentralizadas. Ele prevê que tecnologias como sistemas de verificação SNARK otimizados por hardware podem alcançar um aumento de desempenho de 1000 vezes, o que terá um impacto significativo no futuro desenvolvimento do Ethereum. Ele também revelou que uma fundação planeja organizar uma competição formal entre provadores de prova e validadores, com prêmios de até 20 milhões de dólares.
Um dos cofundadores da empresa apresentou o seu sistema Binius, que é uma solução que otimiza simultaneamente o sistema de prova e o design de hardware. O Binius utiliza torres binárias e o protocolo sumcheck. Testes preliminares mostram que, em certos cenários de aplicação, a performance da função hash Groestl é claramente superior à do Keccak, e esta descoberta pode influenciar as escolhas de design dos sistemas futuros.
Rede de Provedores Descentralizados
Muitos profissionais da indústria imaginam que, no futuro, a geração de provas de grandes declarações (, como a prova de validade de um lote de transações em Rollup, será realizada por um mercado descentralizado de provedores de prova altamente competitivo.
Uma co-fundadora de uma empresa compartilhou a rede de provedores que eles estão prestes a lançar. Ela analisou vários potenciais designs de mecanismos para a rede de provedores descentralizada, acreditando que o design baseado em competição ou mineração pode ter dificuldade em alcançar os resultados desejados. Ela sugeriu que os objetivos de design deveriam ser, em ordem: minimizar custos, maximizar latência e resistência à censura. Ela previu que o modelo de leilão é o mais provável de se tornar mainstream, podendo eventualmente ser semelhante ao mecanismo atual de construção de blocos.
Um doutorando de uma universidade apresentou um novo artigo publicado sobre a economia das redes de provadores. Ele apontou que os leilões bilaterais são suscetíveis à conivência entre provadores e licitantes, e, portanto, propôs um mecanismo alternativo chamado Proo-phi, que introduz novos mecanismos de negociação e prova de correspondência. No entanto, o mecanismo Proo-phi exige a definição de parâmetros de capacidade, o que parece ser um problema de design aberto crucial.
O CTO de uma empresa discutiu o mercado de provas de computação multipartidária )MPC(, especialmente como usar o MPC para proteger 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 no MPC.
Prova de Conhecimento Zero
A reunião também discutiu várias tentativas de construir provas de conhecimento zero com base no sistema de identidade existente:
Um dos co-fundadores de um projeto apresentou a prova de propriedade de endereços de e-mail com conhecimento zero. Essas provas dependem da verificação da assinatura DKIM dos e-mails enviados para um endereço específico. Esta tecnologia pode ser aplicada em cenários como o envio anônimo de remessas para endereços de e-mail e denúncias anônimas.
Um pesquisador de uma empresa compartilhou seu projeto Keyless, que utiliza OpenID Connect para interagir com sistemas de identidade tradicionais do Web2. Isso torna possível aplicações como transferências para contas do Google ou Facebook.
Alguns membros do projeto discutiram como construir certificados anônimos com base em passaportes eletrônicos existentes. Por exemplo, os usuários podem provar que possuem um passaporte de determinado país e que têm uma idade mínima específica, sem precisar revelar o número do passaporte ou a idade exata.
De forma geral, esta cimeira apresentou os mais recentes avanços da tecnologia de provas de conhecimento nulo em áreas como suporte de hardware, design de redes e autenticação, traçando um panorama promissor para o futuro desenvolvimento deste campo.
Ver original
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
24 gostos
Recompensa
24
6
Republicar
Partilhar
Comentar
0/400
SchrodingerAirdrop
· 08-10 01:21
A melhoria de hardware está a ganhar impulso.
Ver originalResponder0
HodlBeliever
· 08-07 15:09
Custo de desempenho a validar
Ver originalResponder0
SandwichTrader
· 08-07 02:55
Hardware pode realmente aumentar k vezes.
Ver originalResponder0
BloodInStreets
· 08-07 02:54
O hardware é realmente o ponto de ruptura.
Ver originalResponder0
probably_nothing_anon
· 08-07 02:53
A atualização de hardware renovou completamente a camada base.
2024 Cimeira de Conhecimento Zero: Otimização de Hardware, Avanços na Rede de Prova e Identificação
Zero Knowledge Summit 2024: Relato do Cimeira de Conhecimento Zero
No dia 10 de abril de 2024, a 11ª Cúpula de Conhecimento Zero foi realizada em Atenas. Cerca de 500 participantes se reuniram para um dia de quatro sessões paralelas. Este artigo resume os últimos avanços discutidos na cúpula sobre hardware de conhecimento zero, desempenho de SNARK e design de redes de prova descentralizadas.
Desenvolvimento de hardware de conhecimento zero
O suporte de hardware tem sido uma área de foco importante para a comunidade de provas de conhecimento zero. As duas palestras principais que abriram a conferência resumiram os avanços mais recentes neste campo:
Um pesquisador fez uma revisão abrangente sobre hardware de conhecimento zero, classificando as empresas relacionadas em três categorias: empresas que utilizam hardware genérico, empresas que fabricam hardware especializado e empresas que operam redes de prova descentralizadas. Ele prevê que tecnologias como sistemas de verificação SNARK otimizados por hardware podem alcançar um aumento de desempenho de 1000 vezes, o que terá um impacto significativo no futuro desenvolvimento do Ethereum. Ele também revelou que uma fundação planeja organizar uma competição formal entre provadores de prova e validadores, com prêmios de até 20 milhões de dólares.
Um dos cofundadores da empresa apresentou o seu sistema Binius, que é uma solução que otimiza simultaneamente o sistema de prova e o design de hardware. O Binius utiliza torres binárias e o protocolo sumcheck. Testes preliminares mostram que, em certos cenários de aplicação, a performance da função hash Groestl é claramente superior à do Keccak, e esta descoberta pode influenciar as escolhas de design dos sistemas futuros.
Rede de Provedores Descentralizados
Muitos profissionais da indústria imaginam que, no futuro, a geração de provas de grandes declarações (, como a prova de validade de um lote de transações em Rollup, será realizada por um mercado descentralizado de provedores de prova altamente competitivo.
Uma co-fundadora de uma empresa compartilhou a rede de provedores que eles estão prestes a lançar. Ela analisou vários potenciais designs de mecanismos para a rede de provedores descentralizada, acreditando que o design baseado em competição ou mineração pode ter dificuldade em alcançar os resultados desejados. Ela sugeriu que os objetivos de design deveriam ser, em ordem: minimizar custos, maximizar latência e resistência à censura. Ela previu que o modelo de leilão é o mais provável de se tornar mainstream, podendo eventualmente ser semelhante ao mecanismo atual de construção de blocos.
Um doutorando de uma universidade apresentou um novo artigo publicado sobre a economia das redes de provadores. Ele apontou que os leilões bilaterais são suscetíveis à conivência entre provadores e licitantes, e, portanto, propôs um mecanismo alternativo chamado Proo-phi, que introduz novos mecanismos de negociação e prova de correspondência. No entanto, o mecanismo Proo-phi exige a definição de parâmetros de capacidade, o que parece ser um problema de design aberto crucial.
O CTO de uma empresa discutiu o mercado de provas de computação multipartidária )MPC(, especialmente como usar o MPC para proteger 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 no MPC.
Prova de Conhecimento Zero
A reunião também discutiu várias tentativas de construir provas de conhecimento zero com base no sistema de identidade existente:
Um dos co-fundadores de um projeto apresentou a prova de propriedade de endereços de e-mail com conhecimento zero. Essas provas dependem da verificação da assinatura DKIM dos e-mails enviados para um endereço específico. Esta tecnologia pode ser aplicada em cenários como o envio anônimo de remessas para endereços de e-mail e denúncias anônimas.
Um pesquisador de uma empresa compartilhou seu projeto Keyless, que utiliza OpenID Connect para interagir com sistemas de identidade tradicionais do Web2. Isso torna possível aplicações como transferências para contas do Google ou Facebook.
Alguns membros do projeto discutiram como construir certificados anônimos com base em passaportes eletrônicos existentes. Por exemplo, os usuários podem provar que possuem um passaporte de determinado país e que têm uma idade mínima específica, sem precisar revelar o número do passaporte ou a idade exata.
De forma geral, esta cimeira apresentou os mais recentes avanços da tecnologia de provas de conhecimento nulo em áreas como suporte de hardware, design de redes e autenticação, traçando um panorama promissor para o futuro desenvolvimento deste campo.