Certora запускает первую безопасную платформу AI-кодирования для смарт-контрактов

21 ноября 2025 года – Тель-Авив-Яффо, Израиль

Certora, платформа комплексной проверки безопасности, которой доверяют самые продвинутые команды в Web3, сегодня объявила о запуске Certora AI Composer — открытой AI-платформы для программирования, объединяющей искусственный интеллект с формальной верификацией для ускорения и повышения безопасности разработки смарт-контрактов.

В отличие от универсальных инструментов “AI-for-code”, ориентированных на скорость и удобство, Certora AI Composer гарантирует, что каждый сгенерированный AI-фрагмент соответствует математическим правилам безопасности ещё до запуска. Встраивая проверенную технологию формальной верификации Certora непосредственно в цикл генерации AI, разработчики могут уверенно исследовать новые идеи дизайна, зная, что инварианты безопасности проверяются постоянно, а не добавляются постфактум.

«Использование AI не должно означать компромисс в вопросах безопасности. Certora AI Composer доказывает, что искусственный интеллект и формальная верификация могут работать вместе, делая разработку смарт-контрактов надёжной по умолчанию», — объяснил основатель Certora Мули Сагив. — «Этот альфа-релиз — наше приглашение сообществу помочь нам формировать будущее безопасного автономного программирования».

Альфа-версия Certora AI Composer станет открытым исходным кодом с 4 декабря и будет доступна сообществу на GitHub. Разработчиков приглашают экспериментировать, оставлять отзывы и вносить вклад в формирование нового стандарта проверяемой AI-разработки.

Ключевые особенности:

• Интегрированные проверки формальной верификации для кода, сгенерированного AI
• Открытая расширяемость для создания собственных модулей безопасности
• Поддержка Certora Prover — проверочным движком, которому доверяет индустрия

Certora также проведёт прямую трансляцию 4 декабря под названием “AI Meets Verification: An Open Discussion with Certora Researchers”, где подробно расскажет, как работает Certora AI Composer и как он может повысить безопасность.

Пользователи могут зарегистрироваться на мероприятие ЗДЕСЬ, а также следить за новостями и напоминаниями в Twitter по адресу @CertoraInc.

О компании Certora

Certora — партнёр по обеспечению безопасности, которому доверяют самые продвинутые команды в Web3. Основанная в 2018 году пионерами в области языков программирования и формальных методов, Certora помогает ведущим протоколам, таким как Lido, Aave, Uniswap и Compound, надёжно защищать активы на сумму в миллиарды.