Vitalik publie un article tutoriel sur GKR : le protocole "batch × layer" qui soutient les preuves ZK ultra-rapides

Selon ChainCatcher, Vitalik Buterin a récemment publié un article détaillant comment le protocole GKR (Goldreich–Kahan–Rothblum) est utilisé pour accélérer les preuves ZK, en s'adaptant à une structure de calcul « batch × multi-couches », ce qui réduit significativement les engagements intermédiaires, en ne s'engageant que sur les entrées et les sorties.

L'article prend l'exemple du hash Poseidon2 pour expliquer en détail le processus de preuve récursive centré sur sumcheck, et propose des optimisations (Gruen’s trick, traitement par lots linéaire, seules les premières valeurs cubiques de certaines rondes), qui peuvent être combinées avec BaseFold ou FRI dans des scénarios d'engagement polynomial. L'auteur indique que le coût réel est environ 100 fois inférieur à la valeur théorique des STARK traditionnels, avec un coût au niveau du chiffre unique envisageable, et rappelle que le défi Fiat–Shamir doit prendre en compte les risques de prévisibilité dans le circuit.