【Vitalik propose que l’Ethereum utilisera l’IA pour vérifier la sécurité de l’ensemble du code】
Le cofondateur d’Ethereum, Vitalik, a exposé publiquement les dernières orientations technologiques concernant l’IA et la cybersécurité. Il a rejeté l’idée que l’IA détruira totalement la cybersécurité et a souligné que la défense sécurisée dispose d’avantages intrinsèques : l’essentiel consiste à écrire et à vérifier activement un code plus résilient aux attaques.
Vitalik a indiqué que, à l’avenir, l’IA devrait s’efforcer de vérifier l’intégralité du programme, y compris la base de données, le réseau et le cache, plutôt que de ne contrôler que des parties critiques. Il a fait une analogie : si l’IA peut prouver les équations de Navier-Stokes et le théorème de Fermat, elle pourra aussi formaliser l’idée que « le programme est sûr » sous forme de théorèmes mathématiques, couvrant ainsi des scénarios d’attaque tels que la falsification, la relecture (replay), l’intrusion de serveurs, la fuite de clés et les attaques par canaux auxiliaires.
Il a défini cette direction comme une priorité de développement pour les prochaines années d’Ethereum. Cette prise de position vise à renforcer la narration technique de long terme d’Ethereum dans le domaine de la sécurité des smart contracts, en mettant l’accent sur l’amélioration de la sécurité au niveau de base du protocole grâce à la vérification formelle. Le marché doit surveiller si cette orientation se traduit par des outils concrets de vérification on-chain ou par des applications dans un écosystème : ce sera un point d’observation clé pour évaluer la capacité de la feuille de route technologique d’Ethereum à être mise en œuvre.
Le cofondateur d’Ethereum, Vitalik, a exposé publiquement les dernières orientations technologiques concernant l’IA et la cybersécurité. Il a rejeté l’idée que l’IA détruira totalement la cybersécurité et a souligné que la défense sécurisée dispose d’avantages intrinsèques : l’essentiel consiste à écrire et à vérifier activement un code plus résilient aux attaques.
Vitalik a indiqué que, à l’avenir, l’IA devrait s’efforcer de vérifier l’intégralité du programme, y compris la base de données, le réseau et le cache, plutôt que de ne contrôler que des parties critiques. Il a fait une analogie : si l’IA peut prouver les équations de Navier-Stokes et le théorème de Fermat, elle pourra aussi formaliser l’idée que « le programme est sûr » sous forme de théorèmes mathématiques, couvrant ainsi des scénarios d’attaque tels que la falsification, la relecture (replay), l’intrusion de serveurs, la fuite de clés et les attaques par canaux auxiliaires.
Il a défini cette direction comme une priorité de développement pour les prochaines années d’Ethereum. Cette prise de position vise à renforcer la narration technique de long terme d’Ethereum dans le domaine de la sécurité des smart contracts, en mettant l’accent sur l’amélioration de la sécurité au niveau de base du protocole grâce à la vérification formelle. Le marché doit surveiller si cette orientation se traduit par des outils concrets de vérification on-chain ou par des applications dans un écosystème : ce sera un point d’observation clé pour évaluer la capacité de la feuille de route technologique d’Ethereum à être mise en œuvre.