🚨JUST IN: @CertoraInc, o firmă de securitate și audit cripto, a introdus un AI Composer open source care integrează verificarea formală direct în codul smart contract generat de AI. Instrumentul efectuează verificări matematice de siguranță înainte de execuție.