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 […] mehr