Нова ініціатива Matterhorn та ASI Alliance представляє інструменти аудиту та перевірки безпеки для смарт-контрактів, згенерованих ШІ.
Створіть обліковий запис, щоб зберегти свої статті.Додати в GoogleДодайте Decrypt як джерело за замовчуванням, щоб бачити більше наших матеріалів у Google.
Коротко
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. «У нас також є ШІ-агенти, які проводять агентні аудити, але ми абсолютно не рекомендуємо покладатися лише на це для додатків у основній мережі».
Платформа розробки Matterhorn розроблена для інтеграції з ASI:Chain, блокчейн-мережею, розробленою Artificial Superintelligence Alliance — децентралізованим колективом ШІ, який включає Fetch.ai, SingularityNET та CUDOS. Це надає розробникам єдине середовище для створення, аудиту та розгортання децентралізованих додатків.
«Ми полегшуємо користувачам підключення MCP, створення/використання навичок, розробку dApps та розгортання з єдиної платформи», — зазначив Рамеш. «Ми працюємо з командою ASI над «благословенними шаблонами», щоб спростити створення більш безпечних контрактів, особливо для мов, заснованих на формальній верифікації».
Компанія повідомила, що розробники можуть зв’язуватися з незалежними аудиторами через платформу перед запуском контрактів у реальному блокчейні. Однак, хоча Matterhorn стверджує, що її платформа прискорює розробку, вона не гарантує безпеки.
«Ми є потужним інструментом для розробників, які хочуть будувати на Web3», — сказав Рамеш. «Команда Matterhorn не надає жодних гарантій безпеки чи захищеності».
Рамеш додав, що Matterhorn та ASI Alliance розробляють «благословенні шаблони» для допомоги розробникам у створенні безпечніших смарт-контрактів, одночасно інтегруючи ASI:Cloud для забезпечення обчислювальної потужності для систем ШІ, які генерують та аналізують код для MeTTa, мови програмування ASI:Chain.
Це партнерство відбувається на тлі зростаючої присутності ШІ-агентів у криптоіндустрії. Розробники експериментують із системами, здатними керувати гаманцями, виконувати угоди та проводити фінансові операції в мережі. Це стимулює розробку нових інструментів та досліджень, спрямованих на контроль ризиків, коли ці автономні системи обробляють криптовалюту.
Келлар Кроуфорд, директор з інновацій SingularityNET, зазначив, що значна частина блокчейн-індустрії покладається на підхід «патч та молись» — написання смарт-контрактів мовами, погано придатними для складних паралельних обчислень, та покладання на аудиторів для виявлення недоліків. Натомість F1R3FLY та ASI:Chain використовують архітектуру «правильність через побудову», засновану на Rho-калькулусі.
«Ми не вгадуємо, чи додаток безпечний, ми математично доводимо це, використовуючи просторові поведінкові типи», — розповів Кроуфорд Decrypt. «Перш ніж перший рядок коду потрапить до активної мережі, сама математика гарантує відсутність взаємних блокувань, експлойтів стану гонки та витоку коштів».
Погляд Crypto Top: Ця інтеграція ШІ в процес розробки смарт-контрактів, що включає аудиторські інструменти та математичні доведення безпеки, може значно прискорити впровадження Web3, знизивши технічні бар’єри та підвищивши довіру до децентралізованих додатків. Це може стимулювати зростання екосистеми ASI та підвищити цінність нативних токенів, що забезпечують обчислювальні потужності та управління.
