La thèse de sécurité de l’IA de Vitalik renverse la peur habituelle $ETH Le cofondateur d’Ethereum, Vitalik Buterin, s’oppose à l’idée selon laquelle des IA plus puissantes rendraient automatiquement la cybersécurité impossible à gagner. Son argument est presque l’inverse : si l’IA devient assez puissante pour découvrir des vulnérabilités de plus en plus complexes, elle pourrait aussi devenir assez puissante pour aider à prouver formellement que des logiciels critiques se comportent exactement comme prévu. LA PEUR Une IA plus performante réduit le coût de la recherche d’exploits. Les attaquants peuvent parcourir le code plus rapidement, tester davantage de voies d’attaque et automatiser des tâches qui nécessitaient auparavant des équipes spécialisées. LA RIPOSTE DE BUTERIN Les défenseurs disposent de la même capacité. La vérification formelle peut transformer des propriétés de sécurité en affirmations mathématiques et prouver que le logiciel les respecte. Buterin soutient que des IA suffisamment avancées pourraient rendre ces preuves beaucoup moins coûteuses et beaucoup plus faciles à produire. LE PIÈGE Prouver qu’un logiciel est sécurisé d’abord suppose de définir ce que signifie réellement « sécurisé ». Pour quelque chose comme un messager chiffré, cela peut impliquer des messages falsifiés, des attaques par rejeu, des serveurs compromis, des bibliothèques malveillantes, des vulnérabilités du système d’exploitation et des fuites de métadonnées. Buterin note que la définition elle-même peut atteindre plus de 1 000 lignes de code. Ainsi, la course à la sécurité entre IA ne sera peut-être pas tranchée uniquement par qui trouve les bugs le plus vite. Tout pourrait dépendre de la capacité des défenseurs à définir la sécurité assez précisément pour que les machines puissent la prouver. #Ethereum #ETH #Ad #Altcoin Season#