📰 Vitalik Buterin vient de proposer de combiner l’IA avec la vérification formelle afin de bloquer les piratages de contrats intelligents.

Dans un article du 18/05, il reconnaît que l’IA peut générer du code à grande vitesse, mais qu’elle manque de précision, ce qui crée de grands risques pour les contrats intelligents gérant des milliards de dollars. Il souligne que l’outil de preuve de théorèmes de Lean est la clé, et estime qu’une fois le code vérifié, les vulnérabilités seront éliminées à jamais.

Pourquoi c’est notable ?
Buterin révèle qu’environ 90 % de sa fortune nette est détenue en $ETH ; l’enjeu de sécurisation de cet écosystème ne relève donc pas seulement du domaine académique.

En termes simples :
Plutôt que de se contenter de tester quelques cas, une preuve mathématique garantit que le code est correct dans tous les scénarios — particulièrement nécessaire pour les signatures résistantes aux attaques quantiques et les ZKP d’Ethereum.

#Ethereum #CryptoNews
🔗 Source : Crypto Briefing
⚠️ Les informations fournies sont uniquement à titre indicatif et ne constituent pas un conseil en investissement. Faites vos propres recherches avant de décider (DYOR).