Le cofondateur d'Ethereum, Vitalik Buterin, estime que l'intelligence artificielle a effectivement fait gagner au réseau plusieurs décennies de temps de développement. Intervenant à la Network State Conference 2026 à Singapour, il a déclaré que l'IA accélère considérablement les travaux sur les mises à niveau du protocole d'Ethereum — sans elle, a-t-il suggéré, certains objectifs de la feuille de route n'auraient pu être atteints qu'en 2040, voire 2050.

Ce que Buterin a dit

Ces propos ont été tenus lors d'une interview réalisée le 9 octobre 2026 et publiée le lendemain. Buterin s'est concentré sur la Lean Roadmap, le plan d'Ethereum pour refondre le protocole central du réseau. Son affirmation principale : l'IA prend désormais en charge une part substantielle des recherches et du code que la feuille de route exige, y compris certains des points les plus difficiles de la liste.

L'exemple le plus frappant est la vérification formelle écrite en Lean 4, un langage de programmation et un assistant de preuve utilisé pour produire des preuves mathématiques qu'un ordinateur peut vérifier ligne par ligne. Selon le résumé de recherche, la contribution de l'IA en Lean 4 réduit la nécessité pour les humains d'auditer manuellement d'énormes volumes de code, transférant cette charge de revues humaines vers des preuves vérifiables par machine.

L'architecture qui prend forme

Rien dans le plan esquissé par Buterin ne relève d'un simple ajustement. Ethereum évolue vers une conception centrée sur les STARKs récursifs, la vérification formelle automatisée et une résistance quantique renforcée.

Le vocabulaire se décompose comme suit : les STARKs sont des preuves cryptographiques qui permettent à une partie de démontrer qu'un calcul a été effectué correctement sans que tous les autres aient à le refaire, tandis que les STARKs récursifs sont des preuves capables de vérifier d'autres preuves. La résistance quantique désigne la protection du réseau contre les futurs ordinateurs quantiques qui pourraient casser la cryptographie actuelle. Cet enjeu dépasse les cercles de recherche, puisque tout ce qui se trouve sur Ethereum — des soldes de comptes aux smart contracts — dépend en dernière instance de la cryptographie utilisée aujourd'hui par le réseau.

C'est précisément là que l'IA intervient, selon Buterin. Le résumé de recherche la décrit comme un élément déterminant à mesure qu'Ethereum se dirige vers cette architecture plus sophistiquée.

Hegota : le dernier fork « normal »

La prochaine étape au calendrier est la mise à niveau Hegota, attendue vers 2027 et décrite comme le dernier fork « normal » de l'histoire d'Ethereum. Les forks sont des mises à niveau coordonnées qui modifient les règles du réseau et exigent que les opérateurs de nœuds mettent à jour leur logiciel de concert, c'est pourquoi l'étiquette « normal » marque un tournant. Au-delà de ce point, le travail devrait s'orienter vers des méthodes cryptographiques avancées et la vérification formelle, avec l'intégration de l'IA au centre.

La preuve que l'IA peut accomplir un travail protocolaire significatif existe déjà. Début 2026, des expériences ont produit un client Ethereum prototype — le logiciel de nœud qui traite les blocs et maintient la synchronisation de la chaîne —vrant environ 65 points de la feuille de route, et ce prototype s'est synchronisé avec succès au mainnet d'Ethereum.

La prudence de Buterin vis-à-vis de l'IA

Ces déclarations ne sont pas les premières de Buterin sur le sujet cette année. Début 2026, il avait évoqué ce que le résumé de recherche appelle le double rôle de l'IA dans le développement de la crypto : la technologie peut accélérer les travaux techniques, mais elle soulève aussi des préoccupations de sécurité concernant les vulnérabilités — notamment la possibilité que les mêmes outils aident les attaquants à trouver des faiblesses plus rapidement.

C'est cette tension qui rend l'angle de la vérification formelle si notable. Si l'IA peut générer du code rapidement, la preuve mathématique de la correction de ce code devient un garde-fou naturel contre les risques mêmes que l'IA introduit.

Implications pour les développeurs et le réseau

Pour les développeurs, la conséquence la plus claire est un changement de description de poste. À mesure que l'IA absorbe davantage de rédaction de preuves et d'audit de code, les chercheurs principaux pourront consacrer plus de temps aux décisions de conception et moins à la vérification manuelle. Le cadrage de Buterin, de 2040 à 2050, suggère qu'il voit dans l'IA la différence entre « un jour » et cette décennie.

La question de la sécurité n'a pas disparu pour autant. S'appuyer sur l'IA pour du code d'infrastructure critique augmente l'enjeu d'une vérification correcte, car une erreur subtile dans une blockchain largement utilisée peut s'avérer extrêmement coûteuse.

À surveiller ensuite : l'avancement de Hegota, les nouveaux résultats des expériences de clients construits par l'IA, et la part de la vérification formelle de la Lean Roadmap qui s'avérera finalement générée par machine.

Source : CryptoBriefing