🚨JUST IN: @CertoraInc, ein Unternehmen für Krypto-Sicherheit und -Audit, hat einen Open-Source-AI-Composer eingeführt, der die formale Verifizierung direkt in den von KI generierten Smart-Contract-Code integriert. Das Tool führt mathematische Sicherheitsprüfungen vor der Ausführung durch.