Vitalik Buterin dévoile le protocole GKR pour dynamiser les systèmes de preuve d'Ethereum

Vitalik Buterin dévoile le protocole GKR pour dynamiser les systèmes de preuve d'Ethereum

Le co-fondateur d'Ethereum, Vitalik Buterin, a introduit le protocole GKR, une nouvelle famille de systèmes de preuve cryptographique conçus pour accélérer considérablement les calculs dans les environnements ZK-EVM et zk-ML.

Conçu pour l'efficacité, GKR permet la génération de preuves à des vitesses sans précédent en s'engageant uniquement sur les entrées et les sorties, éliminant ainsi la nécessité de vérifier chaque étape de calcul intermédiaire.

Une percée dans la performance des preuves

L'approche GKR (Goldwasser–Kalai–Rothblum) est optimisée pour les calculs qui utilisent plusieurs couches de faible degré et répètent des opérations similaires, telles que le hachage et l'inférence de réseaux neuronaux. Ce sont des structures courantes dans la cryptographie et l'IA, où des preuves à grande échelle doivent gérer des millions d'opérations simultanément.

Contrairement aux systèmes de preuve traditionnels comme les STARKs, qui nécessitent des engagements à chaque couche, la méthode rationalisée de GKR se concentre sur les points d'extrémité, réduisant considérablement les frais généraux. Le résultat est une création de preuve beaucoup plus rapide, en particulier pour les ZK-EVM et les modèles zk-ML où la demande computationnelle est immense.

Efficacité sans compromis

Selon Buterin, la force de GKR réside dans sa simplicité. Il ne s'engage qu'aux entrées et sorties, tirant parti d'une structure de preuves de vérification de sommes pour vérifier les étapes intermédiaires. Cette structure la rend idéale pour des charges de travail répétitives comme le hachage ( par exemple, Poseidon) ou les couches neuronales, où les motifs peuvent être prouvés efficacement en parallèle.

Bien que GKR lui-même ne fournisse pas de confidentialité à connaissance nulle, il peut être encapsulé dans des systèmes ZK-SNARK ou ZK-STARK pour ajouter de la confidentialité. La conception du protocole permet une grande efficacité tout en maintenant une rigueur mathématique complète dans la vérification de l'exactitude.

Pourquoi c'est important pour Ethereum

Buterin a souligné que GKR représente un saut en avant majeur pour la scalabilité de la blockchain et la preuve de calcul. En évitant les engagements redondants et en se concentrant sur la validation de bout en bout, GKR permet de prouver des charges de travail massives rapidement et à moindre coût.

Alors qu'Ethereum continue d'évoluer vers des systèmes à zéro connaissance plus rapides et plus évolutifs, GKR pourrait devenir un composant central alimentant les cadres de preuve de calcul de nouvelle génération dans les applications crypto et IA.