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

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

No artigo, usando o hash Poseidon2 como exemplo, ele explica detalhadamente o fluxo de prova recursiva centrado no sumcheck e apresenta 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, tornando possível custos em nível de dígitos únicos, e alerta que o desafio Fiat–Shamir deve considerar riscos de previsibilidade dentro do circuito.