Vitalik Buterin a publié un article complet sur le protocole Goldreich–Kahan–Rothblum (GKR), mettant en avant son potentiel à accélérer significativement les preuves à divulgation nulle de connaissance (ZK). L'article présente une structure computationnelle « batch × multi-couches » qui minimise les engagements intermédiaires, ne se concentrant que sur les engagements d'entrée et de sortie. En prenant l'exemple du hachage Poseidon2, Buterin explique un processus de preuve récursive qui intègre la vérification par somme (sumcheck) et des optimisations telles que l'astuce de Gruen et le regroupement linéaire. L'article suggère que le protocole GKR peut être intégré avec BaseFold ou FRI dans des scénarios d'engagement polynomial, atteignant une surcharge environ 100 fois inférieure à celle des STARKs traditionnels, avec des attentes de surcharge à un chiffre. Cependant, Buterin met en garde contre des risques potentiels liés à la prévisibilité dans le circuit lors du défi Fiat–Shamir, soulignant la nécessité de prudence dans sa mise en œuvre.