Points clés
- Vitalik Buterin a présenté GKR pour améliorer les systèmes de preuve rapides.
- Le fondateur d'Ethereum a souligné que GKR n'est pas une preuve à connaissance nulle.
- Buterin a critiqué l'accent mis par l'industrie de l'IA sur les modèles « agentiques ».
Le co-fondateur d'Ethereum, Vitalik Buterin, a introduit le protocole GKR, qui comprend des innovations facilitant des systèmes de preuve très rapides. Il a décrit ces solutions comme une famille de protocoles à l'origine de la vitesse extrême de nombreux systèmes de preuve opérationnels. Buterin s'est concentré sur la démonstration de l'implémentation de GKR pour prouver les hachages Poseidon.
GKR n'est pas une preuve à connaissance nulle
Buterin a commencé son post en reconnaissant l'existence de prouveurs ZK ultra-rapides. Il s'agit de prouveurs ZK-EVM qui manifestent l'Ethereum Layer-1 en temps réel et ce, avec seulement 50 GPU grand public.
« Des personnes prouvent 2 millions de hachages Poseidon par seconde sur des ordinateurs portables grand public, et les systèmes zk-ML prouvent l'inférence LLM avec une vitesse croissante », a noté Buterin.
C'est ici qu'intervient le protocole GKR. Il sert de moteur à ces prouveurs. Cette solution est conçue pour permettre des preuves ZK-EVM et zk-ML rapides. Elle est également optimisée pour les calculs comportant plusieurs couches de faible degré et de nombreuses applications répétées de fonctions, y compris le hachage et les réseaux neuronaux.
Le co-fondateur d'Ethereum, Vitalik Buterin, a présenté le protocole GKR, une famille de protocoles permettant des systèmes de preuve très rapides. GKR est un protocole central pour les preuves ZK-EVM et zk-ML rapides, optimisé pour les calculs avec plusieurs couches de faible degré et de nombreuses applications répétées de fonctions…
— Wu Blockchain (@WuBlockchain) 20 octobre 2025
Tout ce qu'il requiert, ce sont des engagements sur les entrées et les sorties, pas sur les couches intermédiaires. Sur le long terme, cela améliore considérablement l'efficacité. Par « engagements », Buterin faisait référence à l'intégration des données dans une structure de données cryptographique. Cela peut être réalisé soit via un KZG, soit via un arbre de Merkle, tant que cela permet à un utilisateur de prouver des requêtes sur des éléments spécifiques de ces données.
Les utilisateurs doivent faire attention à ne pas confondre le GKR avec un protocole à connaissance nulle, car il gère la concision et non la confidentialité. Cependant, la connaissance nulle peut toujours être obtenue avec GKR, car il suffit d'envelopper la preuve dans un ZK-SNARK ou un ZK-STARK.
Le co-fondateur d'Ethereum critique l'IA agentique
Parmi les nombreux protocoles que Buterin a évoqués récemment figurent les modèles d'Intelligence Artificielle (IA). Il y a deux mois, il a critiqué l'industrie de l'IA pour son accent excessif sur les modèles « agentiques ». Selon lui, il y a trop de systèmes autonomes, ce qui n'est pas une bonne chose.
Il a noté que les systèmes permettant une plus grande intervention humaine produisent de meilleurs résultats et sont plus sûrs, rejoignant ainsi les commentaires précédents de l'ancien directeur de l'IA chez Tesla, Andrej Karpathy. Apparemment, le co-fondateur d'Ethereum est plus enthousiaste envers les modèles d'IA open-weight, qu'il affirme avoir de solides capacités d'édition.
En septembre, il a également souligné qu'il existe un grand danger lié à une dépendance excessive à l'IA pour la gouvernance.
next
