Vitalik Buterin présente le protocole GKR ZK-EVM ultra-rapide - Coinspeaker

Notes Clés

• Vitalik Buterin a introduit GKR pour améliorer les systèmes de preuve rapides.
• Le fondateur d'Ethereum a souligné que GKR n'est pas à 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 des hachages Poseidon.

GKR n'est pas zéro-connaissance

Buterin a commencé son post en reconnaissant l'existence de ZK-provers ultra-rapides. Ce sont des ZK-EVM provers qui manifestent l'Ethereum Layer-1 en temps réel et le font avec seulement 50 GPU grand public.

“Les gens prouvant 2 millions de hachages Poseidon par seconde sur des ordinateurs portables grand public, et des systèmes zk-ML prouvant l'inférence LLM avec une vitesse croissante,” a noté Buterin.

C'est ici que le protocole GKR entre en jeu. Il sert de source d'énergie pour ces preuves. Cette solution est conçue pour permettre des preuves ZK-EVM et zk-ML rapides. Elle est également optimisée pour les calculs avec plusieurs couches de faible degré et de nombreuses applications de fonctions répétées, y compris le hachage et les réseaux neuronaux.

Tout ce qu'il nécessite, ce sont des engagements envers les entrées et les sorties, sans couches intermédiaires. À 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 pourrait être réalisé soit par un KZG, soit par un arbre Merkle, tant que cela permet à un utilisateur de prouver des requêtes sur des éléments spécifiques concernant ces données.

Article connexe : Vitalik Buterin soutient Base L2 de Coinbase : 'Faire les choses de la bonne manière'. Les utilisateurs doivent faire attention à ne pas confondre le GKR avec un protocole de connaissance nulle, sachant qu'il gère la concision et non la confidentialité. Cependant, la connaissance nulle peut toujours être atteinte avec le GKR, car il suffit d'envelopper la preuve dans un ZK-SNARK ou ZK-STARK.

Le co-fondateur d'Ethereum critique l'IA agentique

Parmi les nombreux protocoles dont Buterin a discuté récemment figurent les modèles d'Intelligence Artificielle (AI). Il y a deux mois, il a critiqué l'industrie de l'IA pour se concentrer intensément sur des modèles « agentiques ». À son avis, il y a trop de systèmes autonomes, et ce n'est pas bon.

Il a noté que les systèmes permettant une plus grande implication humaine produisent de meilleurs résultats et sont plus sûrs, ce qui s'aligne avec les commentaires précédents de l'ancien directeur de l'IA de Tesla, Andrej Karpathy. Apparemment, le co-fondateur d'Ethereum est plus enthousiaste envers les modèles d'IA à poids ouverts, qu'il affirme avoir de fortes capacités d'édition.

En septembre, il a également souligné qu'il y a un grand danger lié à une dépendance excessive à l'IA pour la gouvernance.

nextDisclaimer : Coinspeaker s'engage à fournir des rapports impartiaux et transparents. Cet article vise à fournir des informations précises et opportunes, mais ne doit pas être considéré comme un conseil financier ou d'investissement. Étant donné que les conditions du marché peuvent changer rapidement, nous vous encourageons à vérifier les informations par vous-même et à consulter un professionnel avant de prendre des décisions basées sur ce contenu.