VITALIK BUTERIN : L’IA POURRAIT FAIRE ÉVOLUER LA SÉCURITÉ DES BLOCKCHAINS VERS UNE APPROCHE DIFFÉRENTE
Vitalik Buterin a rejeté l’idée selon laquelle des pirates exploitant l’IA feraient s’effondrer la cybersécurité. D’après PANews, il estime que l’on devrait plutôt se concentrer sur la création de systèmes capables de résister aux attaques et pouvant être vérifiés, plutôt que de courir après la découverte de vulnérabilités.
Buterin a fait une analogie avec les mathématiques : si l’IA peut prouver les équations de Navier-Stokes et le théorème de Fermat (dernier théorème de Fermat), alors en principe elle pourrait aussi prouver qu’un programme est sécurisé, comme un théorème.
Il a précisé que la « sécurité » couvre la contrefaçon, les attaques par rejeu, la compromission de serveurs, la fuite de clés et les attaques par canaux auxiliaires. Ce périmètre demeure plus réduit que la surface d’attaque du code source et pourrait donc être plus facile à vérifier.
Buterin a indiqué plus tôt que les efforts visant à vérifier uniquement des parties de systèmes de sécurité avaient échoué. Avec l’IA, l’ensemble du programme devrait être vérifié, y compris les bases de données, les réseaux, les caches et d’autres composants.
Il ne présente pas cela comme une simple course entre des acteurs « bons » et « mauvais ». L’objectif est davantage un code plus résilient face aux attaques, et Buterin a affirmé que cela fera partie du développement d’Ethereum.
Cette perspective compte, car de nombreuses couches logicielles et d’infrastructure des blockchains interagissent. Buterin a déclaré que sans une vérification solide, les blockchains combinant évolutivité et confidentialité auront du mal à long terme.
Buterin a aussi indiqué qu’il continue de détenir des crypto-monnaies, soit environ 90 % de sa fortune nette, parier sur l’amélioration de la sécurité grâce à la conception et à la vérification.
L’IA renforce les capacités offensives, mais l’argument de Buterin déplace la question de « qui trouve le bug en premier ? » à « dans quelle mesure un système peut-il prouver qu’il est sécurisé ? »
La vérification intégrale du programme pourrait-elle devenir une nouvelle norme de sécurité pour Ethereum et pour les blockchains qui combinent évolutivité avec confidentialité ?
Veuillez faire vos propres recherches attentivement avant d’effectuer des transactions (DYOR). $ETH $SOL $ZEC
Vitalik Buterin a rejeté l’idée selon laquelle des pirates exploitant l’IA feraient s’effondrer la cybersécurité. D’après PANews, il estime que l’on devrait plutôt se concentrer sur la création de systèmes capables de résister aux attaques et pouvant être vérifiés, plutôt que de courir après la découverte de vulnérabilités.
Buterin a fait une analogie avec les mathématiques : si l’IA peut prouver les équations de Navier-Stokes et le théorème de Fermat (dernier théorème de Fermat), alors en principe elle pourrait aussi prouver qu’un programme est sécurisé, comme un théorème.
Il a précisé que la « sécurité » couvre la contrefaçon, les attaques par rejeu, la compromission de serveurs, la fuite de clés et les attaques par canaux auxiliaires. Ce périmètre demeure plus réduit que la surface d’attaque du code source et pourrait donc être plus facile à vérifier.
Buterin a indiqué plus tôt que les efforts visant à vérifier uniquement des parties de systèmes de sécurité avaient échoué. Avec l’IA, l’ensemble du programme devrait être vérifié, y compris les bases de données, les réseaux, les caches et d’autres composants.
Il ne présente pas cela comme une simple course entre des acteurs « bons » et « mauvais ». L’objectif est davantage un code plus résilient face aux attaques, et Buterin a affirmé que cela fera partie du développement d’Ethereum.
Cette perspective compte, car de nombreuses couches logicielles et d’infrastructure des blockchains interagissent. Buterin a déclaré que sans une vérification solide, les blockchains combinant évolutivité et confidentialité auront du mal à long terme.
Buterin a aussi indiqué qu’il continue de détenir des crypto-monnaies, soit environ 90 % de sa fortune nette, parier sur l’amélioration de la sécurité grâce à la conception et à la vérification.
L’IA renforce les capacités offensives, mais l’argument de Buterin déplace la question de « qui trouve le bug en premier ? » à « dans quelle mesure un système peut-il prouver qu’il est sécurisé ? »
La vérification intégrale du programme pourrait-elle devenir une nouvelle norme de sécurité pour Ethereum et pour les blockchains qui combinent évolutivité avec confidentialité ?
Veuillez faire vos propres recherches attentivement avant d’effectuer des transactions (DYOR). $ETH $SOL $ZEC
