Vitalik Buterin soutient que la vérification formelle des logiciels, combinée à l’IA, peut éliminer les bugs critiques dans le code à haute sécurité. Pour Ethereum, cela est particulièrement pertinent : des projets comme Arklib et evm-asm travaillent déjà sur des implémentations formellement vérifiées de l’EVM et des STARKs. L’IA écrit du code à grande vitesse ; la vérification formelle garantit son exactitude.
Source: Lire l’article original
