Certora запускає першу безпечну AI-платформу для кодування смарт-контрактів

21 листопада 2025 року – Тель-Авів-Яффо, Ізраїль

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

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

“Використання AI ніколи не повинно означати компроміс із безпекою. Certora AI Composer доводить, що AI та формальна верифікація можуть працювати разом, щоб зробити розробку смарт-контрактів надійною за замовчуванням,” — пояснив засновник Certora Мулі Сагів. “Цей альфа-реліз — це наше запрошення до спільноти допомогти нам формувати майбутнє безпечного автономного кодування.”

Certora AI Composer Alpha буде відкритим з 4 грудня і стане доступним для спільноти на GitHub. Розробників заохочують експериментувати, надавати відгуки та долучатися до формування нового стандарту перевіреної AI-орієнтованої розробки.

Основні функції:

• Інтегровані перевірки формальної верифікації для коду, згенерованого AI
• Відкрита розширюваність для створення власних модулів безпеки
• Підтримується Certora Prover — перевіреним у галузі рушієм верифікації Certora

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, впевнено захищати мільярди у вартості.