Introduction au protocole GKR
Vitalik Buterin a partagé de nouvelles recherches qui pourraient transformer la manière dont Ethereum aborde la vérification des preuves et l’évolutivité dans les années à venir. Il a introduit le protocole GKR, un système de preuve révolutionnaire conçu pour rendre les calculs à connaissance nulle plus rapides et plus efficaces.
Détails du protocole
Publié le 20 octobre sur son blog personnel, vitalik.eth.limo, le nouveau tutoriel de Buterin détaille le protocole Goldwasser–Kalai–Rothblum. Cette méthode d’agrégation de preuves récursives a le potentiel de changer complètement la manière dont Ethereum (ETH) gère l’évolutivité et la vérification.
Le cadre GKR permet de vérifier de grands calculs avec peu de surcharge sur la chaîne, simplifiant ainsi des preuves cryptographiques complexes. Buterin décrit comment GKR traite les preuves en temps logarithmique sans nécessiter d’engagements intermédiaires coûteux, le rendant beaucoup plus efficace que les systèmes ZK-SNARK ou STARK conventionnels.
Contributions et avantages
Buterin crédite Lev Soukhanov, Zhenfei Zhang et Zachary Williamson pour leurs retours et leur révision, soulignant que la force principale de GKR réside dans son évolutivité. « C’est un ajustement naturel pour prouver de grands lots de hachages et des calculs de type réseau de neurones, » a-t-il écrit, mettant en avant sa pertinence tant pour les charges de travail blockchain que pour l’intelligence artificielle.
Grâce à la conception du protocole, les prouveurs peuvent omettre les engagements à des étapes intermédiaires, ce qui réduit le coût et la charge computationnelle. Bien que GKR ne soit pas lui-même à connaissance nulle, il peut être enveloppé dans des couches ZK-SNARK ou STARK pour garantir la confidentialité, combinant ainsi concision et protection des données.
Vision d’un Ethereum léger
GKR s’aligne avec la vision plus large de Buterin pour un « Ethereum léger », un design de réseau simplifié et résistant aux menaces quantiques. Il soutient directement le passage d’Ethereum vers une finalité plus rapide, l’agrégation de preuves pour les rollups, et l’évolutivité basée sur la connaissance nulle.
Cette publication fait suite à plusieurs initiatives connexes de Buterin, telles que des suggestions pour des outils d’interopérabilité avancés entre les réseaux de couche 2, des clients partiellement sans état pour minimiser le stockage des nœuds, et une gouvernance rendue possible par ZK. Ensemble, ces initiatives visent à rendre Ethereum plus efficace, privé et accessible.
L’ossature cryptographique d’Ethereum pourrait devenir plus légère et plus rapide à mesure que les développeurs commencent à expérimenter avec des systèmes basés sur GKR, ce qui aiderait à réaliser l’objectif à long terme de Buterin d’un calcul vérifié et évolutif.
