Vitalik publicou um artigo tutorial sobre GKR: suporte ao protocolo "batch×layer" de ZK provas super rápidas

Notícias da Mars Finance, Vitalik Buterin escreveu recentemente um artigo detalhando como o protocolo GKR (Goldreich–Kahan–Rothblum) é utilizado para acelerar provas ZK, adaptando a estrutura de cálculo “batch × multi-layer”, reduzindo significativamente os compromissos de camadas intermediárias, fazendo compromissos apenas sobre a entrada e a saída. O artigo usa o hash Poseidon2 como exemplo, detalhando o processo de prova recursiva com sumcheck como núcleo, e apresentando otimizações (truque de Gruen, processamento em lote linear, e apenas cubos para elementos principais em algumas rodadas), que podem ser combinadas com BaseFold ou FRI em cenários de compromisso polinomial. O autor afirma que o custo real é inferior ao valor teórico de 100 vezes do STARK tradicional, com um custo de nível de dígito único esperado, e alerta que o desafio Fiat–Shamir deve evitar o risco de previsibilidade dentro do circuito.