🚨NET BINNEN: @CertoraInc, een crypto beveiligings- en auditbedrijf, heeft een open source AI Composer geïntroduceerd die formele verificatie direct integreert in AI-gegenereerde smart contractcode. De tool voert wiskundige veiligheidscontroles uit voordat deze wordt uitgevoerd.