🚨JUST IN : @CertoraInc, une entreprise de sécurité et d'audit crypto, a introduit un compositeur AI open source qui intègre la vérification formelle directement dans le code des contrats intelligents générés par l'IA. L'outil effectue des vérifications de sécurité mathématiques avant l'exécution.