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

Коротко

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

Інші інтелект починає писати код, який переміщує гроші в блокчейнах. Artificial Superintelligence Alliance та платформа розробників Matterhorn кажуть, що хочуть переконатися, що цей код безпечний. Matterhorn і ASI Alliance оголосили в п’ятницю про нову ініціативу, зосереджену на «vibe coding» — функції платформи Matterhorn, яка дозволяє розробникам описувати застосунок простою мовою, а ШІ миттєво генерує повний код смарт-контракту. Хоча ця техніка пришвидшує розробку та знижує бар’єр для створення застосунків, вона також створює ризик того, що ШІ згенерує хибний або небезпечний код, який зловмисники можуть використати. «Ми на початку світу, де dApps стають “просто Apps”, буденною річчю, як вебсайти та застосунки, якими ми користуємося сьогодні», — йдеться в заяві компанії. «Кожен інший інструмент у цій сфері змагається за те, щоб швидше відвантажити код. Ми вважаємо, що це не та гонка. Розробники, які створюють 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. Партнерство з’являється на тлі того, що ШІ-агенти дедалі частіше проникають у криптовалютну індустрію: розробники експериментують із системами, які можуть керувати гаманцями, виконувати трейди та здійснювати фінансові завдання на ланцюжку, що спонукає до появи нових інструментів і досліджень, спрямованих на контроль ризиків, коли такі автономні системи мають справу з криптовалютою. Келлар Кроуфорд, директор з інновацій SingularityNET, сказав, що значна частина блокчейн-індустрії спирається на підхід «patch-and-pray» — написання смарт-контрактів мовами, які погано підходять для складної конкукурентності, та покладання на аудиторів, щоб виявити вади — тоді як F1R3FLY та ASI:Chain використовують, як він це назвав, архітектуру «correct-by-construction», засновану на численні Ро (Rho calculus). «Ми не вгадуємо, чи безпечний застосунок, — ми математично доводимо це, використовуючи просторові поведінкові типи», — сказав Кроуфорд Decrypt. «Перш ніж бодай один рядок коду торкнеться живої мережі, сама математика гарантує, що не буде взаємних блокувань, експлойтів через race-condition і витоків коштів».