Vitalik Buterin publie un tutoriel GKR : le protocole "Batch×Layer" prenant en charge des preuves ZK ultra-rapides.

Selon les nouvelles de HashWorld, Vitalik Buterin a récemment écrit un article dans lequel il explique en détail comment le protocole GKR (Goldreich–Kahan–Rothblum) peut être appliqué pour accélérer les preuves ZK et s'applique à la structure de calcul "batch × multi-niveaux", réduisant de manière significative les engagements des couches intermédiaires, en se limitant à des engagements sur les entrées et sorties. L'article utilise le hachage Poseidon2 comme exemple, analysant en profondeur le processus de preuve récursive centré sur sumcheck, et propose des solutions d'optimisation (techniques de Gruen, traitement par lots linéaire, éléments cubiques des premiers tours partiels). Ces optimisations peuvent être combinées avec BaseFold ou FRI dans des scénarios d'engagement polynomiaux. L'auteur souligne que le coût réel est inférieur à la valeur théorique d'environ 100 fois celle des STARK traditionnels, avec un coût escompté à un chiffre, et avertit des risques de prévisibilité dans les circuits dans le défi Fiat–Shamir.

#Cryptocurrency #Blockchain #Ethereum #ZKProofs #VitalikButerin