Le cofondateur d'Ethereum, Vitalik Buterin, dévoile le protocole GKR pour des systèmes de preuve plus rapides

Vitalik Buterin a partagé de nouvelles recherches qui pourraient transformer la manière dont Ethereum aborde la vérification des preuves et le passage à l’échelle dans les années à venir.

Vitalik Buterin 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.

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 récursive de preuves a le potentiel de changer complètement la façon dont Ethereum (ETH) gère le passage à l’échelle et la vérification.

Protocole GKR et l’avenir de l’efficacité des preuves

Le cadre GKR vérifie de grands calculs avec peu de surcharge on-chain, simplifiant les 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 bien plus efficace que les systèmes ZK-SNARK ou STARK conventionnels.

Dans son article, Buterin remercie Lev Soukhanov, Zhenfei Zhang et Zachary Williamson pour leurs retours et leur relecture, en soulignant que la force principale de GKR réside dans sa scalabilité. “C’est une solution naturelle pour prouver de grands lots de hachages et des calculs de type réseau de neurones”, écrit-il, mettant en avant son adéquation tant pour la blockchain que pour les charges de travail en IA.

Grâce à la conception du protocole, les prouveurs peuvent omettre les engagements aux étapes intermédiaires, ce qui réduit les coûts et la charge de calcul. Bien que GKR ne soit pas à connaissance nulle en soi, il peut être encapsulé dans des couches ZK-SNARK ou STARK pour la confidentialité, combinant concision et confidentialité.

Un élément clé dans la feuille de route d’Ethereum

GKR s’aligne avec la vision plus large de Buterin pour un “Lean Ethereum”, une conception de réseau simplifiée et résistante aux ordinateurs quantiques. Il soutient directement la transition d’Ethereum vers une finalité plus rapide, l’agrégation de preuves pour les rollups et la scalabilité 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 layer-2, des clients partiellement sans état pour minimiser le stockage des nœuds, et une gouvernance activée par ZK. Ensemble, elles visent à rendre Ethereum plus efficace, privé et accessible.

L’épine dorsale cryptographique d’Ethereum pourrait devenir plus légère et plus rapide à mesure que les développeurs commencent à expérimenter des systèmes basés sur GKR, ce qui aiderait à réaliser l’objectif à long terme de Buterin d’un calcul évolutif et vérifié.