L'asymétrie économique dans la sécurité des contrats intelligents a toujours été brutale. Un attaquant dépense une requête API, tandis qu'un défenseur dépense une semaine d'ingénieur. La vérification formelle était toujours la réponse théoriquement correcte. La raison pour laquelle elle n'a jamais été mise à l'échelle est que rédiger manuellement les spécifications est lent et coûteux. Ce que @wgrieskamp a construit détruit cette barrière. → Claude Code s'intègre au Move Prover via MCP → L'IA génère les spécifications → Le vérificateur les vérifie mathématiquement → Itérations jusqu'à ce que la vérification réussisse La partie fastidieuse est automatisée, tandis que la partie rigoureuse reste rigoureuse. @DecibelTrade est la cible idéale pour prouver que cela fonctionne : appariement des commandes, logique de marge, liquidation, taux de financement. L'analyse complète de @wgrieskamp vaut le détour 👇🏻