Vitalik Buterin publica tutorial sobre GKR: protocolo "batch×layer" que suporta provas ZK ultra rápidas



A Hashi Chain noticia que Vitalik Buterin publicou recentemente um artigo explicando detalhadamente como o protocolo GKR (Goldreich–Kahan–Rothblum) pode ser aplicado para acelerar provas ZK e é aplicável a estruturas de cálculo "lote × múltiplas camadas", reduzindo significativamente os compromissos de camadas intermediárias, comprometendo apenas as entradas e saídas. O artigo usa o hash Poseidon2 como exemplo, analisando profundamente o fluxo de provas recursivas com sumcheck como núcleo, e propõe soluções de otimização (técnica de Gruen, processamento em lote linear, elementos cúbicos de apenas uma parte do ciclo). Essas otimizações podem ser combinadas com BaseFold ou FRI no cenário de compromissos polinomiais. O autor aponta que os custos reais são inferiores ao valor teórico tradicional de STARK em cerca de 100 vezes, sendo possível esperar custos de ordem única, e alerta sobre o risco de previsibilidade em circuitos dentro do desafio Fiat–Shamir.

#Cryptocurrency #Blockchain #Ethereum #ZKProofs #VitalikButerin
ETH-4.64%
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.
  • Recompensa
  • Comentar
  • Republicar
  • Partilhar
Comentar
0/400
Nenhum comentário
  • Fixar
Negocie cripto em qualquer lugar e a qualquer hora
qrCode
Digitalizar para transferir a aplicação Gate
Novidades
Português (Portugal)
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)