Le cofondateur d'Ethereum, Vitalik Buterin, a présenté le protocole GKR, une nouvelle famille de protocoles conçus pour accélérer de manière significative divers systèmes de preuve. GKR est essentiel pour des preuves rapides dans des systèmes tels que ZK-EVM et zk-ML, en optimisant les calculs impliquant un traitement multi-couches de faible degré et des applications fonctionnelles répétitives, comme le hachage et les réseaux neuronaux. Le protocole améliore l'efficacité en ne nécessitant des engagements que sur les entrées et les sorties, contournant ainsi les couches intermédiaires. GKR y parvient grâce à des optimisations telles que la réduction du calcul sumcheck par tour en utilisant des techniques comme l'astuce de Gruen et le traitement par lots Poseidon2. Théoriquement, cela réduit la surcharge de preuve pour le hachage Poseidon à seulement 15 fois, contre 100 fois avec les STARKs traditionnels, et pratiquement, cela peut être inférieur à 10 fois. À mesure que le volume de données augmente, la surcharge tend vers zéro, marquant une avancée significative dans l'efficacité des systèmes de preuve.