🚨JUST IN: @CertoraInc, ett kryptosäkerhets- och revisionsföretag, har lanserat en öppen källkod AI Composer som integrerar formell verifiering direkt i AI-genererad smart kontraktskod. Verktyget genomför matematiska säkerhetskontroller innan det körs.