Vitalik Buterin dévoile le protocole GKR pour des systèmes de preuve plus rapides

Vitalik Buterin a partagé de nouvelles recherches qui pourraient remodeler la façon dont Ethereum aborde la vérification de preuve et l'évolutivité dans les années à venir.

Résumé

• Vitalik Buterin présente GKR, un protocole pour une agrégation de preuves plus rapide.
• GKR améliore l'efficacité des systèmes ZK et rollup d'Ethereum.
• Cela marque un pas vers la vision « Lean » et quantique-sécurisée d'Ethereum pour 2025.

Vitalik Buterin a introduit le protocole GKR, un système de preuve innovant 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 de preuves récursives a le potentiel de changer complètement la façon dont Ethereum (ETH) gère la mise à 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 frais généraux sur la chaîne, simplifiant des preuves cryptographiques complexes. Buterin décrit comment GKR traite les preuves en temps logarithmique sans nécessiter d'engagements intermédiaires coûteux, ce qui le rend beaucoup plus efficace que les systèmes ZK-SNARK ou STARK conventionnels.

Dans son post, Buterin remercie Lev Soukhanov, Zhenfei Zhang et Zachary Williamson pour leurs retours et leur révision, soulignant que la force principale de GKR réside dans sa scalabilité. « C'est un ajustement naturel pour prouver de grands lots de hachages et des calculs de style réseau de neurones », a-t-il écrit, mettant en avant sa pertinence tant pour les charges de travail blockchain que pour l'IA.

En raison de la conception du protocole, les prouveurs peuvent omettre des 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 sans connaissance, il peut être encapsulé dans des couches ZK-SNARK ou STARK pour la confidentialité, combinant brièveté et confidentialité.

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

GKR s'aligne avec la vision plus large de Buterin pour “Lean Ethereum”, un design de réseau simplifié et résistant aux quantiques. Il soutient directement le mouvement d'Ethereum vers une finalité plus rapide, l'agrégation de preuves pour les rollups et la scalabilité basée sur des preuves à divulgation 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 les ZK. Ensemble, ils visent à rendre Ethereum plus efficace, privé et accessible.

L'infrastructure cryptographique d'Ethereum pourrait devenir plus légère et plus rapide alors 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'une computation vérifiée et évolutive.