Vitalik Buterin publicou um artigo abrangente sobre o protocolo Goldreich–Kahan–Rothblum (GKR), destacando seu potencial para acelerar significativamente as provas de conhecimento zero (ZK). O artigo apresenta uma estrutura computacional "batch × multi-camada" que minimiza os compromissos intermediários, focando apenas nos compromissos de entrada e saída. Usando o hash Poseidon2 como exemplo, Buterin explica um processo de prova recursiva que incorpora sumcheck e otimizações como o truque de Gruen e o agrupamento linear. O artigo sugere que o protocolo GKR pode ser integrado com BaseFold ou FRI em cenários de compromisso polinomial, alcançando uma sobrecarga aproximadamente 100 vezes menor do que os STARKs tradicionais, com expectativas de sobrecarga de dígito único. No entanto, Buterin alerta para riscos potenciais relacionados à previsibilidade dentro do circuito no desafio Fiat–Shamir, enfatizando a necessidade de cautela em sua implementação.