Vitalik Buterin rejette l'idée que les piratages par IA condamnent la cybersécurité

• Buterin affirme que la cybersécurité favorise la défense en utilisant l'IA pour la vérification.
• L'entrepreneur propose qu'Ethereum appliquera formellement la sécurité assistée par IA.

Le cofondateur d'Ethereum, Vitalik Buterin, a rejeté la thèse selon laquelle les piratages alimentés par l'intelligence artificielle (IA) laissent la cybersécurité sans issue. "Il devient de plus en plus courant de penser que le piratage avec l'IA signifie que la cybersécurité est condamnée. Je ne suis pas d'accord."

"Je pense que la cybersécurité favorise naturellement la défense une fois que les gens se mettent au travail", a déclaré Buterin, ajoutant que "quiconque continue à détenir des cryptomonnaies (y compris moi, 90 % de ma valeur nette) fait implicitement ce pari", a affirmé le développeur hier, le 16 septembre 2026.

L'argument central de Buterin indique que l'IA peut traiter la sécurité d'un logiciel comme un théorème mathématique, même face à des codes complexes. "Si l'IA peut démontrer Navier-Stokes et le FLT, alors l'IA peut démontrer l'affirmation 'ce programme est sûr' comme un théorème mathématique. Même si le programme est très compliqué", a-t-il argumenté.

Les initiales FLT font référence au Dernier Théorème de Fermat, tandis que Navier-Stokes correspond à un ensemble d'équations différentielles de la physique mathématique ; les deux représentent des démonstrations complexes.

Le développeur a averti que le mot "sûr" cache <<toutes sortes de squelettes dans le placard en ce qui concerne ce que cela signifie réellement". Pour illustrer cette complexité, il a utilisé l'application de messagerie Signal comme cas d'essai. Il a expliqué que la définition la plus évidente --- éviter que quelqu'un sans la clé du destinataire ne lise les messages --- ne couvre pas les scénarios où l'adversaire peut falsifier des messages, empêcher leur livraison ou attaquer activement le système.

Il ne prend pas non plus en compte si un attaquant parvient à renvoyer des messages anciens, compromettre le serveur, altérer la clé publique, pirater l'appareil ou provoquer des fuites de données en raison de défaillances dans le système d'exploitation, la base de données ou le compilateur. De plus, il a remis en question si la taille des données envoyées ou la méta-information sont cachées. "Bien sûr, vous ne cachez pas l'identité de l'expéditeur et du destinataire, ni l'heure exacte à laquelle chaque message a été envoyé", ce qui permet d'inférer "de nombreux faits importants sur quelles relations vous avez et quels types de conversations vous avez."

Face à ce scénario, il a souligné que les définitions peuvent dépasser mille lignes de code. "Travailler à rendre les définitions plus lisibles pour les humains est d'une importance extrême : c'est peut-être le seul 'langage de haut niveau' qui compte en ce moment", a-t-il indiqué. Buterin a soutenu que vérifier la définition appropriée est plus abordable que de revoir le code directement.

Il a également expliqué que les définitions sont additives. "Si deux groupes ont deux définitions distinctes A et B, alors, eh bien, vous pouvez prouver que le programme satisfait à la fois A et B", tandis que dans le code traditionnel, une défaillance dans n'importe quel composant peut faire s'effondrer le système.

Le cofondateur d'Ethereum a rejeté les révisions partielles ou les courses à la détection de vulnérabilités. "La solution aujourd'hui : désolé, vous devez vérifier littéralement tout votre programme, y compris la base de données, le réseau, toute couche de cache, tout. L'IA moderne peut le faire", a-t-il assuré. "Il s'agit spécifiquement d'une stratégie asymétrique pour créer un code qui soit beaucoup plus résilient dès le départ."

Buterin a lié sa position au réseau qu'il dirige. "C'est le type de direction qu'Ethereum va prendre dans les années à venir. Il n'y a pas d'avenir pour les réseaux --- en particulier en matière d'évolutivité et de confidentialité --- sans faire cela", a-t-il souligné.

Cette vision sur la vérification mathématique ne surgit pas de manière isolée, mais répond à des essais du propre développeur avec des outils génératifs, comme l'a rapporté CriptoNoticias. Buterin a indiqué que des expériences de vibecoding --- pratique où un programmeur guide l'IA avec des instructions en langage naturel au lieu d'écrire du code ligne par ligne --- ont permis de construire en deux semaines une version préliminaire de la feuille de route 2030 du réseau.

Ce contenu est fourni à titre informatif uniquement et ne constitue pas un conseil financier, d'investissement, juridique ou fiscal. Les événements, récompenses, promotions en ligne ou informations mentionnées ici ne doivent pas être considérés comme une recommandation, une sollicitation ou une invitation à acheter, vendre, trader ou effectuer toute autre opération sur des actifs crypto. Les actifs crypto sont très volatils et peuvent entraîner des pertes. La disponibilité des services, produits et événements liés à WEEX peut varier selon les régions. Veuillez vous assurer que votre participation respecte les lois et réglementations locales applicables.