Ethereum News se concentre sur la poussée de l’IA locale de Vitalik Buterin

Les clés de l’information :

• Dans l’actualité d’Ethereum, Vitalik Buterin a associé une version locale de DeepSeek V4 à son action en faveur de la protection de la vie privée sur Ethereum.
• Le modèle quantifié à 2 bits fonctionne avec environ 90 Go de VRAM sur du matériel grand public.
• Buterin a appelé à des modèles d’IA adaptés à Ethereum pour améliorer la sécurité des contrats intelligents.

L’actualité d’Ethereum s’est orientée vers l’intelligence artificielle après que Vitalik Buterin a partagé une série de posts discutant des systèmes d’IA locaux, de l’infrastructure de protection de la vie privée et de l’informatique décentralisée.

Le cofondateur d’Ethereum a fait le lien entre les récentes avancées en matière de modèles linguistiques locaux à grande échelle et la feuille de route plus large d’Ethereum en matière de protection de la vie privée et d’accès sécurisé à la blockchain.

Actualités Ethereum : DeepSeek V4 fonctionne localement avec 90 Go de VRAM

M. Buterin a indiqué que DeepSeek V4 dispose désormais d’une version quantifiée à 2 bits qui peut fonctionner localement avec environ 90 Go de VRAM.

Lors de ses propres tests, il a obtenu environ 35 jetons par seconde sur du matériel Apple et environ 7 jetons par seconde sur du matériel AMD.

L’écart entre les deux résultats matériels a directement alimenté le point que Buterin voulait faire valoir. Selon lui, une véritable IA décentralisée devrait prendre en charge plusieurs fabricants de matériel plutôt que de dépendre d’un seul écosystème de puces ou d’un seul fournisseur de cloud.

Vitalik Buterin a utilisé le terme CROPS AI pour décrire les systèmes qui fonctionnent sur plusieurs plateformes matérielles, en établissant une distinction entre cet objectif et ce qu’il appelle une simple IA décentralisée qui s’appuie toujours sur une infrastructure centralisée.

Buterin a également signalé plusieurs autres outils d’IA locale qu’il a testés. La liste comprend VoxTerm pour l’enregistrement local de l’IA sans serveurs tiers, un démon de messagerie avec prise en charge alpha de Telegram, et Lucebox Hub comme moyen d’exécuter des modèles denses plus efficacement.

Il a indiqué que Lucebox Hub fonctionnait environ deux fois plus vite que llama.cpp pour les modèles denses sur son ordinateur portable 5090. Sa propre installation auto-hébergée exécute localement des modèles à poids ouvert avec des protections de bac à sable.

Relier l’IA locale à l’infrastructure Ethereum de protection de la vie privée

La partie la plus discutée du fil de discussion a lié l’IA locale directement à l’infrastructure de protection de la vie privée d’Ethereum.

Buterin a décrit un chevauchement évident entre ce qu’il a appelé une couche d’accès CROPS Ethereum et CROPS AI, les mêmes blocs de construction étant utilisés dans les deux cas.

Il a indiqué qu’une méthode sans connaissance permettant de faire des appels payants à de grands modèles linguistiques distants était un composant partagé.

Le même mécanisme qui permet les appels LLM privés payants résoudrait également le problème des lectures RPC privées sur Ethereum, où un portefeuille interroge la chaîne sans révéler les détails de ce qu’il lit à son fournisseur RPC.

Cette connexion permet à un même travail cryptographique de servir à la fois l’IA et le problème d’accès à la blockchain.

Les idées relatives à la couche d’accès présentées dans le fil de discussion comprenaient des lectures RPC privées sur Ethereum, des paiements LLM à distance basés sur l’absence de connaissance et des systèmes d’intelligence artificielle locaux qui stockent les messages-guides et les données du portefeuille sur les appareils des utilisateurs plutôt que sur des serveurs dans le nuage.

Cet ensemble d’idées va de pair avec la feuille de route plus large d’Ethereum sur la protection de la vie privée, que Buterin a documentée au cours de l’année écoulée et qui couvre les couches du portefeuille, du protocole et de la cryptographie.

Modèles d’IA adaptés à Ethereum pour la sécurité des contrats intelligents

Un deuxième volet de l’actualité de l’IA de Vitalik Buterin est centré sur les modèles d’IA spécifiques à Ethereum.

Selon lui, l’écosystème Ethereum devrait mettre en place des systèmes d’IA perfectionnés, spécialisés dans l’audit des contrats intelligents, la vérification des transactions, l’analyse de la sécurité de Solidity et l’examen du code du protocole.

M. Buterin a cité Leanstral comme exemple de ce qu’un modèle spécialisé peut faire. Le modèle tient dans 70 Go ou moins et peut tenir tête à des modèles beaucoup plus grands, comportant un trillion de paramètres, lorsqu’il est écrit en Lean.

Il a lié ce résultat à ses récents travaux sur la vérification formelle, estimant que les modèles spécialisés sont d’une aide précieuse pour l’écriture de codes plus sûrs.

Le dossier repose sur l’idée que la vérification assistée par l’IA deviendra centrale au fur et à mesure que la découverte d’exploits alimentée par l’IA se perfectionnera.

M. Buterin a réagi à un exemple largement discuté dans lequel l’IA a généré plus de 700 000 lignes de code liées à Ethereum en l’espace de deux semaines.

Il a reconnu les gains de vitesse tout en soulignant qu’une grande partie de la productivité devrait être consacrée à la sécurité et à la vérification plutôt qu’à une livraison plus rapide du code.

Risques de sécurité et pile d’IA autonome

Les risques de sécurité associés aux agents d’intelligence artificielle ont été un thème récurrent dans les articles récents.

Vitalik Buterin a prévenu que de nombreux plugins d’agents d’IA et outils externes peuvent contenir des instructions malveillantes, raison pour laquelle il préfère les systèmes locaux avec bac à sable aux agents basés dans le nuage.

Lors de discussions antérieures cette année, Buterin a déclaré qu’il s’éloignait largement des services d’IA dans le nuage. Il fait désormais tourner des modèles à poids ouvert localement sur son propre matériel avec des protections sandbox, et sa configuration comprendrait des modèles Qwen fonctionnant sur un ordinateur portable NVIDIA 5090.

Le thème général de ces messages est que Buterin voit l’IA s’intégrer profondément à Ethereum, non seulement pour la productivité des développeurs, mais aussi pour l’infrastructure de préservation de la vie privée, l’identité décentralisée, les agents autonomes qui utilisent les paiements cryptographiques et le développement de contrats intelligents sécurisés.