Новые инструменты нацелены на то, чтобы сделать «вибрационное программирование» ИИ безопаснее для криптовалюты

Кратко

• 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. «У нас есть и AI-агенты, которые делают агентские аудиты, но мы категорически не рекомендуем ограничиваться только этим для приложений в mainnet».  Платформа разработки Matterhorn предназначена для интеграции с ASI:Chain — блокчейн-сетью, разработанной Artificial Superintelligence Alliance, децентрализованным AI-коллективом, в который входят Fetch.ai, SingularityNET и CUDOS, предоставляя разработчикам единую среду, чтобы создавать, проводить аудит и развертывать децентрализованные приложения.

«Мы упрощаем пользователям подключение MCP, создание/использование навыков, создание dApps и развертывание с одной платформы», — сказал Рамеш. «Мы работаем с командой ASI над „blessed templates“, чтобы облегчить создание более безопасных контрактов специально для языков, основанных на формальной верификации». Компания заявила, что разработчики могут подключаться к сторонним аудиторам через платформу перед запуском контрактов в работающем блокчейне. Однако, хотя Matterhorn говорит, что его платформа ускоряет разработку, она не гарантирует безопасность. «Мы — сильный инструмент поддержки для разработчиков, которые хотят строить на Web3», — сказал Рамеш. «Никаких гарантий какого-либо рода по безопасности или защищенности от команды Matterhorn не существует». Рамеш сказал, что Matterhorn и ASI Alliance разрабатывают «blessed templates», чтобы помогать разработчикам создавать более безопасные смарт-контракты, одновременно интегрируя ASI:Cloud для предоставления вычислительной мощности для AI-систем, которые генерируют и анализируют код для языка программирования MeTTa, языка ASI:Chain. Партнерство выходит на фоне того, что AI-агенты все чаще входят в криптоиндустрию, где разработчики экспериментируют с системами, которые могут управлять кошельками, исполнять сделки и выполнять финансовые задачи on-chain, что побуждает к появлению новых инструментов и исследований, направленных на контроль рисков, когда такие автономные системы работают с криптовалютой. Келлар Кроуфорд, главный директор по инновациям SingularityNET, сказал, что большая часть индустрии блокчейнов опирается на подход «почини-и-помолись» — написание смарт-контрактов на языках, плохо подходящих для сложного конкурентного выполнения, и ожидание, что аудиторы выявят недостатки, — тогда как F1R3FLY и ASI:Chain используют архитектуру, которую он назвал «correct-by-construction», основанную на исчислении Ро. «Мы не угадываем, безопасно ли приложение: мы математически доказываем это, используя пространственные поведенческие типы», — сказал Кроуфорд Decrypt. «Прежде чем хотя бы одна строка кода коснется работающей сети, сама математика гарантирует отсутствие взаимных блокировок, отсутствие эксплуатации гонок и отсутствие утечек средств».