Vitalik explica em detalhes o protocolo GKR para acelerar provas ZK: otimizações e desafios do hash Poseidon2

【链文】20 de outubro, Vitalik Buterin publicou um novo artigo que detalha como o protocolo GKR (Goldreich–Kahan–Rothblum) é utilizado para acelerar provas ZK, adaptando a estrutura de cálculo “lote×multicamadas”, reduzindo significativamente os compromissos das camadas intermediárias, comprometendo apenas as entradas e saídas. O artigo usa o hash Poseidon2 como exemplo, detalhando o processo de prova recursiva com o sumcheck como núcleo, e apresenta otimizações (truque de Gruen, processamento em lote linear, e apenas os primeiros elementos cúbicos em algumas rodadas), que podem ser combinadas com BaseFold ou FRI em cenários de compromisso polinomial. O autor afirma que os custos reais são inferiores a 100 vezes o valor teórico tradicional do STARK, com custos esperados na ordem de dígitos únicos, e alerta que o desafio Fiat–Shamir deve ser protegido contra o risco de previsibilidade dentro do circuito.