Am 21. November 2025 kündigte Certora, eine Plattform für Sicherheitsgarantien im Web3-Bereich, den Certora AI Composer an. Diese open-source AI-Coding-Plattform integriert Künstliche Intelligenz (KI) mit formaler Verifikation, um die Entwicklung von Smart Contracts schneller und sicherer zu gestalten.
Im Gegensatz zu generischen „AI-for-Code“-Tools, die sich auf Geschwindigkeit und Benutzerfreundlichkeit konzentrieren, stellt der Certora AI Composer sicher, dass jeder von der KI-generierte Codeabschnitt mathematischen Sicherheitsregeln entspricht, bevor er ausgeführt wird. Durch die Integration von Certoras bewährter Technologie zur formalen Verifikation in den KI-Generierungsprozess können Entwickler Designideen selbstbewusst erkunden, da die Sicherheitsinvarianten kontinuierlich überprüft werden, anstatt nachträglich angepasst zu werden.
Mooly Sagiv, Gründer von Certora, erklärte: „Die Nutzung von KI sollte niemals auf Kosten der Sicherheit gehen. Der Certora AI Composer beweist, dass KI und formale Verifikation zusammenarbeiten können, um die Entwicklung von Smart Contracts von Grund auf vertrauenswürdig zu machen. Diese Alpha-Version ist unsere Einladung an die Community, uns dabei zu helfen, die Zukunft der sicheren autonomen Codierung mitzugestalten.“
Die Alpha-Version des Certora AI Composer wird ab dem 4. Dezember als Open Source auf GitHub verfügbar sein. Entwickler sind eingeladen, zu experimentieren, Feedback zu geben und dazu beizutragen, einen neuen Standard für verifiziertes KI-gesteuertes Entwickeln zu etablieren.
Zu den wichtigsten Funktionen gehören:
- Integrierte formale Verifikationsprüfungen für KI-generierten Code
- Open-Source-Erweiterbarkeit zur Erstellung eigener Sicherheitsmodule
- Unterstützt durch den Certora Prover, der von der Branche als vertrauenswürdig geltenden Verifikations-Engine
Zusätzlich veranstaltet Certora am 4. Dezember ein Livestream-Event mit dem Titel „AI Meets Verification: An Open Discussion with Certora Researchers“, in dem das Funktionsweise des Certora AI Composer und dessen mögliche Sicherheitsverbesserungen vorgestellt werden.
Häufig gestellte Fragen:
Was ist der Certora AI Composer?
Der Certora AI Composer ist eine open-source Plattform, die Künstliche Intelligenz mit formaler Verifikation kombiniert, um die Entwicklung von Smart Contracts sicherer und schneller zu gestalten.
Wann wird der Certora AI Composer verfügbar sein?
Die Alpha-Version wird ab dem 4. Dezember als Open Source auf GitHub erhältlich sein.
Was sind die Hauptmerkmale des Certora AI Composer?
Zu den Hauptmerkmalen gehören integrierte formale Verifikationsprüfungen für KI-generierten Code und die Möglichkeit zur Erweiterung durch eigene Sicherheitsmodule.
Wie kann ich an dem Livestream-Event teilnehmen?
Das Event findet am 4. Dezember statt; genauere Informationen zur Teilnahme können von der Certora-Website entgegengenommen werden.