Vitalik a publié un article tutoriel sur GKR : support du protocole "batch × layer" pour des preuves ZK ultra-rapides.

Selon Mars Finance, Vitalik Buterin a récemment écrit un article détaillant comment le protocole GKR (Goldreich–Kahan–Rothblum) est utilisé pour accélérer les preuves ZK, s'adaptant à la structure de calcul “lots × multicouche”, réduisant considérablement les engagements intermédiaires, en s'engageant uniquement sur les entrées et les sorties. L'article prend l'exemple du hash Poseidon2, détaillant le processus de preuve récursive centré sur le sumcheck, et propose des optimisations (truc de Gruen, traitement par lots linéaires, premiers éléments cubiques seulement pour certaines rondes), qui peuvent être combinées avec BaseFold ou FRI dans le cadre des engagements polynomiaux. L'auteur affirme que les coûts réels sont inférieurs à la valeur théorique d'environ 100 fois celle des STARK traditionnels, avec des coûts d'un seul chiffre envisageables, et rappelle que le défi de Fiat–Shamir doit prendre en compte le risque de prévisibilité au sein du circuit.