Certora startet die erste sichere KI-Coding-Plattform für Smart Contracts
[PRESSEMITTEILUNG – Tel Aviv-Yafo, Israel, 21. November 2025]
Certora, die Full-Stack-Sicherheitsplattform, der die fortschrittlichsten Teams im Web3 vertrauen, hat heute den 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 Bequemlichkeit setzen, stellt der Certora AI Composer sicher, dass jeder KI-generierte Code-Schnipsel vor seiner Ausführung mathematischen Sicherheitsregeln entspricht. Durch die direkte Einbettung der bewährten formalen Verifikationstechnologie von Certora in den KI-Generierungszyklus, können Entwickler Designideen sicher erkunden, im Wissen, dass Sicherheit invarianten kontinuierlich überprüft werden, anstatt nachträglich angepasst zu werden.
“Using AI should never mean compromising safety. Certora AI Composer proves that AI and formal verification can work together to make smart contract development trustworthy by default,” Certora Founder Mooly Sagiv explained. “This alpha release is our invitation to the community to help us shape the future of safe autonomous coding.”
Der Certora AI Composer Alpha wird ab dem 4. Dezember Open Source sein und der Community auf GitHub zur Verfügung stehen. Entwickler sind eingeladen, zu experimentieren, Feedback zu geben und dazu beizutragen, einen neuen Standard für verifizierte, KI-gesteuerte Entwicklung zu formen.
Hauptmerkmale:
- Integrierte Verifizierungsprüfungen für KI-generierten Code
- Open-Source-Erweiterbarkeit, um eigene Sicherheitsmodule zu erstellen
- Gestützt durch den Certora Prover, Certoras branchenvertrauen Verifikations-Engine
Certora wird auch ein Livestream-Event am 4. Dezember mit dem Titel “AI Meets Verification: An Open Discussion with Certora Researchers” veranstalten, welches eine detaillierte Beschreibung bietet, wie der Certora AI Composer funktioniert und was er zur Verbesserung der Sicherheit beitragen kann.
Interessenten können sich unter HIER anmelden und ihnen auf Twitter unter @CertoraInc für zukünftige Updates und Erinnerungen folgen.
Über Certora
Certora ist der Sicherheitsgarantie-Partner, dem die fortschrittlichsten Teams im Web3 vertrauen. Gegründet im Jahr 2018 von Pionieren in Programmiersprachen und formalen Methoden, hilft Certora führenden Protokollen wie Lido, Aave, Uniswap und Compound, Werte in Milliardenhöhe mit Zuversicht zu sichern.
