Le dernier démenti de Vitalik : « Les hackers alimentés par l’IA rendent la cybersécurité impossible » — la sécurité est naturellement favorable à la partie défensive, à condition d’appliquer correctement les méthodes. Il imagine que l’IA ne sert pas seulement à trouver des vulnérabilités, mais à considérer la « sécurité de ce programme » comme un théorème à prouver en mathématiques. Le point clé n’est pas que les équations soient plus difficiles à démontrer, mais la façon de définir la sécurité de manière suffisamment large, lisible et composable, afin d’éviter d’en oublier des surfaces d’attaque comme les protocoles de messagerie, les sandbox, les SNARK et le FHE.

Ce qui mérite vraiment d’être remarqué, c’est sa thèse audacieuse : la vérification formelle ne doit pas se limiter aux seuls modules centraux ; la base de données, le réseau et le cache doivent aussi être vérifiés, c’est-à-dire « tous les programmes ». À une époque, cela ressemblait à de l’idéalisme ; l’IA le rend désormais plus exécutable.

Ce n’est pas une histoire de gentils qui creusent plus vite que les méchants, mais de faire en sorte que le système soit intrinsèquement plus difficile à compromettre. Sans cette couche, la mise à l’échelle et les chaînes de confidentialité n’iront pas loin ; Ethereum pariera sur cette voie dans les prochaines années. Vitalik affirme aussi que près de 90 % de sa fortune nette reste constituée d’actifs cryptographiques, ce qui, à lui seul, constitue un pari de long terme en faveur de la partie défensive.

#以太坊 #网络安全 #AI