Vitalik publica artigo tutorial sobre GKR: protocolo "batch × layer" que suporta provas ZK ultrarrápidas

De acordo com ChainCatcher, Vitalik Buterin publicou recentemente um artigo detalhando como o protocolo GKR (Goldreich–Kahan–Rothblum) é utilizado para acelerar provas ZK, adaptando-se à estrutura de cálculo “em lote × multicamadas”, reduzindo significativamente os compromissos das camadas intermediárias e comprometendo-se apenas com a entrada e a saída.

O artigo utiliza o hash Poseidon2 como exemplo para explicar detalhadamente o processo de prova recursiva centrado em sumcheck, além de apresentar otimizações (truque de Gruen, processamento em lote linear, apenas o primeiro elemento cúbico em algumas rodadas). No cenário de compromissos polinomiais, pode-se combinar com BaseFold ou FRI. O autor afirma que o custo real é cerca de 100 vezes menor do que o valor teórico dos STARKs tradicionais, sendo possível esperar custos de nível unitário, e alerta que o desafio Fiat–Shamir deve prevenir riscos de previsibilidade dentro do circuito.