Новые інструменти прагнуть зробити AI «вибіркове програмування за вайбом» безпечнішим для криптовалюти

Коротко

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

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

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

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