No dia 10 de abril de 2024, a 11ª Cúpula de Conhecimento Zero foi realizada em Atenas. Cerca de 500 participantes compareceram a este evento de um dia, que incluiu quatro palestras. Abaixo está um resumo dos principais tópicos da conferência, que abrange os últimos avanços em hardware de conhecimento zero, desempenho de SNARKs e design de redes de provas.
Desenvolvimento de Hardware ZK
O suporte de hardware para a geração de provas tem sido uma área de foco importante na indústria. As duas palestras de abertura da conferência resumiram o estado atual do desenvolvimento:
Um pesquisador fez uma visão geral abrangente do hardware ZK, incluindo a classificação das empresas neste campo. Ele mencionou empresas que utilizam hardware genérico, empresas que fabricam hardware personalizado e empresas que operam redes de prova descentralizadas. Ele previu que um zkVM otimizado combinado com hardware dedicado poderia alcançar um aumento de 1000 vezes na eficiência de computação, o que pode ter um impacto significativo no futuro do Ethereum. Ele também revelou que será realizada uma competição formal de validação para provadores e validadores, com prêmios de até 20 milhões de dólares.
O cofundador de uma empresa apresentou o sistema Binius, bem como a ideia de projetar simultaneamente sistemas de prova e hardware. Binius utiliza torres binárias e o protocolo sumcheck. Testes iniciais mostraram que, em algumas aplicações, o desempenho da função de hash Groestl é claramente superior ao do Keccak.
Rede de Provedores Descentralizados
Os especialistas do setor acreditam amplamente que, no futuro, a geração de provas de declarações em larga escala (como a verificação da correção de um lote de transações em Rollup) será realizada por um mercado de provadores profissionais descentralizado e competitivo.
A co-fundadora de uma empresa discutiu a rede de provadores que eles estão prestes a lançar. Ela analisou vários designs de mecanismos potenciais, acreditando que designs baseados em competição ou mineração podem não ter um bom desempenho. Ela sugeriu que os objetivos de design deveriam ser, em ordem: minimizar custos, maximizar a latência e a resistência à censura. Ela previu que o modelo de leilão é o mais provável de se tornar mainstream, e que pode acabar sendo semelhante ao atual método 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 à conivência entre provadores e licitantes, e, portanto, propôs um mecanismo alternativo chamado Proo-phi, que introduz novas transações de correspondência e mecanismos de prova.
O diretor técnico de uma empresa discutiu o mercado de provas que suporta a Computação Multi-Partes (MPC), especialmente como utilizar a MPC para manter a privacidade entre pequenos clientes e grandes provadores. Ele explorou como escolher combinações de sistemas de prova para realizar operações lineares, a fim de minimizar custos na MPC.
Inovação de Certificados ZK
A reunião também discutiu vários esforços para construir certificados de zero conhecimento com base nos sistemas de identidade existentes:
Um dos cofundadores de um projeto apresentou a prova de propriedade de endereço de e-mail ZK. Essas provas dependem da verificação da assinatura DKIM dos e-mails enviados para um endereço específico, podendo ser aplicadas em cenários como remessas anônimas e denúncias.
Um investigador de uma empresa explicou a tecnologia que utiliza OpenID connect para interagir com identidades tradicionais da web2, tornando possível aplicações como transferências para contas do Google ou Facebook.
Um representante de um projeto discutiu como construir um certificado anônimo a partir de passaportes eletrônicos existentes, como provar que se possui um passaporte de um determinado país e que se atingiu uma idade específica, sem revelar informações pessoais específicas.
Essas inovações abriram novas possibilidades para a aplicação da tecnologia de provas de conhecimento zero nos campos da autenticação e proteção da privacidade.
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.
8 gostos
Recompensa
8
5
Partilhar
Comentar
0/400
UncleWhale
· 19h atrás
O hardware zk ainda precisa de ajustes.
Ver originalResponder0
TrustMeBro
· 07-25 12:13
Já estão a falar do zk outra vez, já vi, já vi.
Ver originalResponder0
ILCollector
· 07-25 12:02
Se não conseguir ganhar dinheiro, use hardware.
Ver originalResponder0
AirDropMissed
· 07-25 11:55
Ainda a jogar zk, parece que realmente não vai cair.
Cimeira de Conhecimento Zero 2024: Novos Avanços em Hardware ZK, Redes de Prova e Identificação
Cúpula de Zero Conhecimento 2024: Notas ao Vivo
No dia 10 de abril de 2024, a 11ª Cúpula de Conhecimento Zero foi realizada em Atenas. Cerca de 500 participantes compareceram a este evento de um dia, que incluiu quatro palestras. Abaixo está um resumo dos principais tópicos da conferência, que abrange os últimos avanços em hardware de conhecimento zero, desempenho de SNARKs e design de redes de provas.
Desenvolvimento de Hardware ZK
O suporte de hardware para a geração de provas tem sido uma área de foco importante na indústria. As duas palestras de abertura da conferência resumiram o estado atual do desenvolvimento:
Um pesquisador fez uma visão geral abrangente do hardware ZK, incluindo a classificação das empresas neste campo. Ele mencionou empresas que utilizam hardware genérico, empresas que fabricam hardware personalizado e empresas que operam redes de prova descentralizadas. Ele previu que um zkVM otimizado combinado com hardware dedicado poderia alcançar um aumento de 1000 vezes na eficiência de computação, o que pode ter um impacto significativo no futuro do Ethereum. Ele também revelou que será realizada uma competição formal de validação para provadores e validadores, com prêmios de até 20 milhões de dólares.
O cofundador de uma empresa apresentou o sistema Binius, bem como a ideia de projetar simultaneamente sistemas de prova e hardware. Binius utiliza torres binárias e o protocolo sumcheck. Testes iniciais mostraram que, em algumas aplicações, o desempenho da função de hash Groestl é claramente superior ao do Keccak.
Rede de Provedores Descentralizados
Os especialistas do setor acreditam amplamente que, no futuro, a geração de provas de declarações em larga escala (como a verificação da correção de um lote de transações em Rollup) será realizada por um mercado de provadores profissionais descentralizado e competitivo.
A co-fundadora de uma empresa discutiu a rede de provadores que eles estão prestes a lançar. Ela analisou vários designs de mecanismos potenciais, acreditando que designs baseados em competição ou mineração podem não ter um bom desempenho. Ela sugeriu que os objetivos de design deveriam ser, em ordem: minimizar custos, maximizar a latência e a resistência à censura. Ela previu que o modelo de leilão é o mais provável de se tornar mainstream, e que pode acabar sendo semelhante ao atual método 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 à conivência entre provadores e licitantes, e, portanto, propôs um mecanismo alternativo chamado Proo-phi, que introduz novas transações de correspondência e mecanismos de prova.
O diretor técnico de uma empresa discutiu o mercado de provas que suporta a Computação Multi-Partes (MPC), especialmente como utilizar a MPC para manter a privacidade entre pequenos clientes e grandes provadores. Ele explorou como escolher combinações de sistemas de prova para realizar operações lineares, a fim de minimizar custos na MPC.
Inovação de Certificados ZK
A reunião também discutiu vários esforços para construir certificados de zero conhecimento com base nos sistemas de identidade existentes:
Um dos cofundadores de um projeto apresentou a prova de propriedade de endereço de e-mail ZK. Essas provas dependem da verificação da assinatura DKIM dos e-mails enviados para um endereço específico, podendo ser aplicadas em cenários como remessas anônimas e denúncias.
Um investigador de uma empresa explicou a tecnologia que utiliza OpenID connect para interagir com identidades tradicionais da web2, tornando possível aplicações como transferências para contas do Google ou Facebook.
Um representante de um projeto discutiu como construir um certificado anônimo a partir de passaportes eletrônicos existentes, como provar que se possui um passaporte de um determinado país e que se atingiu uma idade específica, sem revelar informações pessoais específicas.
Essas inovações abriram novas possibilidades para a aplicação da tecnologia de provas de conhecimento zero nos campos da autenticação e proteção da privacidade.