🚨Właśnie: @CertoraInc, firma zajmująca się bezpieczeństwem i audytem w kryptowalutach, wprowadziła open source'owy AI Composer, który integruje formalną weryfikację bezpośrednio w kodzie smart kontraktów generowanym przez AI. Narzędzie przeprowadza matematyczne kontrole bezpieczeństwa przed wykonaniem.