🚨NETTOPP INN: @CertoraInc, et kryptosikkerhets- og revisjonsfirma, har introdusert en åpen kildekode AI Composer som integrerer formell verifisering direkte i AI-generert smart kontrakt-kode. Verktøyet kjører matematiske sikkerhetssjekker før utførelse.