Les derniers tweets de Vitalik réfutent l’idée que « des hackers d’IA rendraient la cybersécurité vouée à l’échec » : il estime que la sécurité penche naturellement du côté de la défense, à condition de mettre en œuvre la bonne méthode. Il continue également à placer environ 90 % de ses actifs nets dans des actifs cryptographiques : c’est en soi un pari sur ce jugement.
L’idée centrale n’est pas de rivaliser avec les attaquants pour trouver des failles en premier, mais de rendre le code intrinsèquement plus résistant aux attaques. Si l’IA peut aider à prouver des théorèmes mathématiques complexes, elle peut aussi transformer « ce programme est sûr » en une preuve mathématique vérifiable par machine.
La vraie difficulté réside dans le fait que « la sécurité » peut facilement être définie de façon trop étroite, faisant ainsi passer à côté des surfaces d’attaque dans des éléments comme les protocoles de messagerie, les sandbox, les SNARK, le FHE, etc. Dans le passé, la vérification formelle couvrait souvent uniquement les modules que l’on juge « essentiels » ; la base de données, le réseau, le cache et d’autres composants peuvent encore devenir des points d’entrée. Vitalik soutient que, à l’avenir, il faut vérifier tous les programmes, et l’IA moderne rend cette voie plus réaliste.
Il affirme que, en particulier pour les blockchains dotées de capacités d’extensibilité et de confidentialité, sans cette couche de fondation, il n’y a pas d’avenir. Ethereum va progresser dans cette direction au cours des prochaines années.
#以太坊 #AI #网络安全 $ETH
L’idée centrale n’est pas de rivaliser avec les attaquants pour trouver des failles en premier, mais de rendre le code intrinsèquement plus résistant aux attaques. Si l’IA peut aider à prouver des théorèmes mathématiques complexes, elle peut aussi transformer « ce programme est sûr » en une preuve mathématique vérifiable par machine.
La vraie difficulté réside dans le fait que « la sécurité » peut facilement être définie de façon trop étroite, faisant ainsi passer à côté des surfaces d’attaque dans des éléments comme les protocoles de messagerie, les sandbox, les SNARK, le FHE, etc. Dans le passé, la vérification formelle couvrait souvent uniquement les modules que l’on juge « essentiels » ; la base de données, le réseau, le cache et d’autres composants peuvent encore devenir des points d’entrée. Vitalik soutient que, à l’avenir, il faut vérifier tous les programmes, et l’IA moderne rend cette voie plus réaliste.
Il affirme que, en particulier pour les blockchains dotées de capacités d’extensibilité et de confidentialité, sans cette couche de fondation, il n’y a pas d’avenir. Ethereum va progresser dans cette direction au cours des prochaines années.
#以太坊 #AI #网络安全 $ETH