Certora uruchamia pierwszą bezpieczną platformę AI do kodowania smart kontraktów

21 listopada 2025 – Tel Awiw-Jafa, Izrael

Certora, kompleksowa platforma zapewniająca bezpieczeństwo, zaufana przez najbardziej zaawansowane zespoły w Web3, ogłosiła dziś Certora AI Composer – otwartą platformę AI do kodowania, która łączy sztuczną inteligencję z formalną weryfikacją, aby przyspieszyć i zwiększyć bezpieczeństwo rozwoju smart kontraktów.

W przeciwieństwie do ogólnych narzędzi „AI-for-code”, które skupiają się na szybkości i wygodzie, Certora AI Composer zapewnia, że każdy fragment kodu generowany przez AI spełnia matematyczne zasady bezpieczeństwa, zanim zostanie uruchomiony. Dzięki bezpośredniemu włączeniu sprawdzonej technologii formalnej weryfikacji Certora do procesu generowania przez AI, deweloperzy mogą swobodnie eksplorować pomysły projektowe, mając pewność, że niezmienniki bezpieczeństwa są stale sprawdzane, a nie dodawane po fakcie.

„Korzystanie ze sztucznej inteligencji nigdy nie powinno oznaczać kompromisu w zakresie bezpieczeństwa. Certora AI Composer udowadnia, że AI i formalna weryfikacja mogą współpracować, czyniąc rozwój smart kontraktów domyślnie godnym zaufania,” wyjaśnił założyciel Certora, Mooly Sagiv. „To wydanie alfa jest naszym zaproszeniem dla społeczności, aby pomogła nam kształtować przyszłość bezpiecznego autonomicznego kodowania.”

Certora AI Composer Alpha będzie dostępny jako open source od 4 grudnia i zostanie udostępniony społeczności na GitHubie. Programiści są zachęcani do eksperymentowania, przekazywania opinii i współtworzenia nowego standardu zweryfikowanego rozwoju napędzanego przez AI.

Kluczowe funkcje:

• Zintegrowane kontrole formalnej weryfikacji dla kodu generowanego przez AI
• Możliwość rozbudowy open source, aby budować własne moduły bezpieczeństwa
• Wsparte przez Certora Prover, zaufany w branży silnik weryfikacyjny Certora

Certora zorganizuje również transmisję na żywo 4 grudnia pod tytułem „AI Meets Verification: An Open Discussion with Certora Researchers”, podczas której szczegółowo zostanie opisane działanie Certora AI Composer i jego możliwości w zakresie zwiększania bezpieczeństwa. 

Użytkownicy mogą zarejestrować się na wydarzenie TUTAJ oraz śledzić ich na Twitterze pod @CertoraInc, aby otrzymywać przyszłe aktualizacje i przypomnienia.

O Certora

Certora jest partnerem zapewniającym bezpieczeństwo, któremu ufają najbardziej zaawansowane zespoły w Web3. Założona w 2018 roku przez pionierów języków programowania i metod formalnych, Certora pomaga wiodącym protokołom takim jak Lido, Aave, Uniswap i Compound zabezpieczać wartości liczone w miliardach z pełnym zaufaniem.