Новые інструменти спрямовані на те, щоб зробити ШІ «кодинг із відчуттям настрою» безпечнішим для криптовалюти

Коротко

• ASI Alliance та Matterhorn заявили, що створюють інструменти, які зменшать ризики від блокчейн-коду, згенерованого ШІ.
• Платформа поєднує автоматизований аналіз, ручну перевірку та інструменти тестування, щоб аудитувати смарт-контракти до розгортання.
• Партнерство працює на ASI:Chain і має на меті залучити 20,000 розробників у 2026 році.

Іскусственный інтелект починає писати код, який рухає гроші в блокчейнах. Artificial Superintelligence Alliance та платформа для розробників Matterhorn кажуть, що хочуть переконатися, що цей код є безпечним. Matterhorn і ASI Alliance у п’ятницю оголосили про нову ініціативу, зосереджену на «vibe coding» — функції платформи Matterhorn, яка дозволяє розробникам описувати застосунок простою мовою, а ШІ миттєво генерує повний код смарт-контракту. Хоча ця техніка пришвидшує розробку та знижує поріг для створення застосунків, вона також створює ризик того, що ШІ згенерує помилковий або небезпечний код, яким зможуть скористатися атакувальники. «Ми стоїмо на початку світу, де dApps стають “просто застосунками”, буденними, як вебсайти та застосунки, якими ми користуємося сьогодні», — сказала компанія в заяві. «Кожен інший інструмент у цій сфері поспішає випустити код швидше. Ми вважаємо, що це неправильна гонка. Потрібна платформа, якій вони можуть довіряти, для тих, хто створює dApps, що працюють із реальними грошима та реальними користувачами, і це партнерство — як ми це будуємо».

Щоб пом’якшити цю загрозу, засновник Matterhorn Абхінав Рамеш сказав, що компанія працює із зовнішніми аудиторами безпеки та автоматизованими інструментами, щоб допомогти розробникам перевіряти смарт-контракти, згенеровані ШІ, до розгортання. «Ми співпрацюємо з компаніями, які надають послуги аудиту безпеки через Matterhorn для розробників на Matterhorn», — розповів Рамеш Decrypt. «У нас також є AI-агенти, які роблять агентні аудити, але ми категорично не рекомендуємо робити лише це для mainnet-застосунків».  Платформа розробки Matterhorn розроблена для інтеграції з ASI:Chain — блокчейн-мережею, створеною Artificial Superintelligence Alliance, децентралізованою AI-спільнотою, що включає Fetch.ai, SingularityNET і CUDOS, надаючи розробникам єдине середовище для створення, аудиту та розгортання децентралізованих застосунків.

«Ми робимо це простим для користувачів: підключати MCP, створювати/використовувати навички, створювати dApps і розгортати все з однієї платформи», — сказав Рамеш. «Ми працюємо з командою ASI над “благословеними шаблонами”, щоб спростити створення безпечніших контрактів саме для мов, що базуються на формальній верифікації». Компанія заявила, що розробники можуть підключатися до сторонніх аудиторів через платформу перед запуском контрактів у живому блокчейні. Однак, попри те, що Matterhorn каже, ніби її платформа пришвидшує розробку, вона не гарантує безпеку. «Ми є потужним посередником для будівельників, які хочуть створювати на Web3», — сказав Рамеш. «Немає жодних гарантій будь-якого типу з боку команди Matterhorn щодо безпеки чи захисту». Рамеш сказав, що Matterhorn і ASI Alliance розробляють «благословені шаблони», щоб допомогти розробникам створювати безпечніші смарт-контракти, одночасно інтегруючи ASI:Cloud для надання обчислювальної потужності системам ШІ, які генерують та аналізують код для MeTTa — мови програмування ASI:Chain. Партнерство з’являється на тлі того, що AI-агенти дедалі частіше заходять у криптоіндустрію: розробники експериментують із системами, які можуть керувати гаманцями, виконувати угоди та здійснювати фінансові завдання on-chain, що спонукає до створення нових інструментів і досліджень, спрямованих на контроль ризиків, коли ці автономні системи працюють із криптовалютою. Келлар Кроуфорд, головний директор з інновацій SingularityNET, сказав, що значна частина блокчейн-індустрії покладається на підхід «patch-and-pray» — написання смарт-контрактів мовами, які погано підходять для складної concurrency, і сподівання на аудиторів, щоб ті виявили вади, — тоді як F1R3FLY та ASI:Chain використовують архітектуру, яку він назвав «correct-by-construction», на основі Rho calculus. «Ми не гадали б, чи безпечний застосунок. Ми математично доводимо це, використовуючи просторові поведінкові типи», — сказав Кроуфорд Decrypt. «Перш ніж хоч один рядок коду торкнеться живої мережі, сама математика гарантує, що не буде deadlock’ів, не буде експлойтів із race-condition, і не буде викрадених коштів».