Certora startet die erste sichere KI-Coding-Plattform für Smart Contracts

21. November 2025 – Tel Aviv-Yafo, Israel

Certora, die Full-Stack-Sicherheitsplattform, der die fortschrittlichsten Teams im Web3 vertrauen, hat heute Certora AI Composer angekündigt – eine Open-Source-KI-Coding-Plattform, die künstliche Intelligenz mit formaler Verifikation kombiniert, um die Entwicklung von Smart Contracts schneller und sicherer zu machen.

Im Gegensatz zu generischen „AI-for-Code“-Tools, die auf Geschwindigkeit und Komfort abzielen, stellt Certora AI Composer sicher, dass jeder von der KI generierte Code-Schnipsel mathematischen Sicherheitsregeln entspricht, bevor er überhaupt ausgeführt wird. Durch die direkte Einbettung der bewährten formalen Verifikationstechnologie von Certora in den KI-Generierungsprozess können Entwickler Designideen mit dem Wissen erkunden, dass Sicherheitsinvarianten kontinuierlich überprüft werden, anstatt nachträglich angepasst zu werden.

„Der Einsatz von KI sollte niemals auf Kosten der Sicherheit gehen. Certora AI Composer beweist, dass KI und formale Verifikation zusammenarbeiten können, um die Entwicklung von Smart Contracts standardmäßig vertrauenswürdig zu machen“, erklärte Certora-Gründer Mooly Sagiv. „Mit dieser Alpha-Version laden wir die Community ein, gemeinsam mit uns die Zukunft des sicheren autonomen Codings zu gestalten.“

Die Alpha-Version des Certora AI Composer wird ab dem 4. Dezember als Open Source verfügbar sein und der Community auf GitHub zur Verfügung stehen. Entwickler sind eingeladen, zu experimentieren, Feedback zu geben und zur Gestaltung eines neuen Standards für verifizierte, KI-gesteuerte Entwicklung beizutragen.

Hauptfunktionen:

• Integrierte formale Verifikationsprüfungen für KI-generierten Code
• Open-Source-Erweiterbarkeit zur Entwicklung eigener Sicherheitsmodule
• Unterstützt vom Certora Prover, Certoras branchenweit anerkanntem Verifikations-Engine

Certora wird am 4. Dezember zudem ein Livestream-Event mit dem Titel „AI Meets Verification: An Open Discussion with Certora Researchers“ veranstalten, das eine detaillierte Beschreibung der Funktionsweise des Certora AI Composer sowie dessen Beitrag zur Verbesserung der Sicherheit bieten wird. 

Nutzer können sich HIER für das Event anmelden und Certora auf Twitter unter @CertoraInc für zukünftige Updates und Erinnerungen folgen.

Über Certora

Certora ist der Sicherheits-Partner, dem die fortschrittlichsten Teams im Web3 vertrauen. Gegründet 2018 von Pionieren der Programmiersprachen und formalen Methoden, hilft Certora führenden Protokollen wie Lido, Aave, Uniswap und Compound, Werte in Milliardenhöhe mit Vertrauen abzusichern.