Vitalik Buterin ha publicado un artículo exhaustivo sobre el protocolo Goldreich–Kahan–Rothblum (GKR), destacando su potencial para acelerar significativamente las pruebas de conocimiento cero (ZK). El artículo presenta una estructura computacional de "lote × multilayer" que minimiza los compromisos intermedios, enfocándose únicamente en los compromisos de entrada y salida. Usando el hash Poseidon2 como ejemplo, Buterin explica un proceso de prueba recursiva que incorpora sumcheck y optimizaciones como el truco de Gruen y el agrupamiento lineal. El artículo sugiere que el protocolo GKR puede integrarse con BaseFold o FRI en escenarios de compromiso polinómico, logrando una sobrecarga aproximadamente 100 veces menor que los STARKs tradicionales, con expectativas de una sobrecarga de un solo dígito. Sin embargo, Buterin advierte sobre posibles riesgos relacionados con la predictibilidad en circuito en el desafío Fiat–Shamir, enfatizando la necesidad de precaución en su implementación.