Vitalik détaille une vérification formelle améliorée par l’IA comme clé du rôle de sécurité d’Ethereum le 19 mai

Selon BlockBeats, l’un des cofondateurs d’Ethereum, Vitalik Buterin, a expliqué le 19 mai comment la vérification formelle améliorée par l’IA deviendra la « forme ultime du développement logiciel » et une défense critique contre les menaces avancées liées à l’IA. Vitalik a indiqué que la vérification formelle transforme la correction du code en théorèmes vérifiables mathématiquement, garantissant la sécurité des logiciels grâce à des preuves mathématiques plutôt que via des tests ou des audits traditionnels.

Vitalik a souligné que cette approche est particulièrement adaptée aux prochaines mises à niveau d’Ethereum, notamment les signatures résistantes aux attaques quantiques, les systèmes de preuves STARK, le consensus tolérant aux fautes byzantines et ZK-EVM. Il a déclaré qu’avec l’intensification des défis en matière de sécurité liée à l’IA, Ethereum deviendra un élément essentiel d’une architecture de type « security core », dans laquelle les systèmes critiques se renforcent grâce à des méthodes formelles, tandis que les composants périphériques fonctionnent dans des bacs à sable avec des privilèges minimaux.