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

Кратко

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

Искусственный интеллект начинает писать код, который перемещает деньги в блокчейнах. Artificial Superintelligence Alliance и платформа для разработчиков Matterhorn говорят, что хотят убедиться, что этот код безопасен. Matterhorn и ASI Alliance в пятницу объявили о новом начинании, сосредоточенном на «вайб-кодинге» — функции платформы Matterhorn, которая позволяет разработчикам описать приложение простым языком, а ИИ мгновенно генерирует полный код смарт-контракта. Хотя эта техника ускоряет разработку и снижает порог для создания приложений, она также вносит риск того, что ИИ сгенерирует ошибочный или небезопасный код, который могут использовать злоумышленники. «Мы находимся в начале мира, где dApps становятся “просто Apps”, такими же привычными, как веб-сайты и приложения, которые мы используем сегодня», — говорится в заявлении компании. «Каждый другой инструмент в этой сфере спешит отгрузить код быстрее. Мы считаем, что это не та гонка. Тем, кто создает dApps, которые обрабатывают реальные деньги и реальных пользователей, нужна платформа, которой можно доверять, и это партнерство — способ сделать это».

Чтобы смягчить эту угрозу, основатель Matterhorn Абхинав Рамеш (Abhinav Ramesh) заявил, что компания работает с внешними аудиторами безопасности и автоматизированными инструментами, чтобы помогать разработчикам проверять смарт-контракты, сгенерированные ИИ, до развертывания. «Мы сотрудничаем с компаниями по аудиту безопасности, которые могут оказывать услуги аудита через Matterhorn для разработчиков на Matterhorn», — сказал Рамеш Decrypt. «У нас есть и AI-агенты, которые выполняют агентские аудиты, но мы категорически не рекомендуем делать только это для приложений в mainnet».  Разработческая платформа Matterhorn предназначена для интеграции с ASI:Chain — блокчейн-сетью, разработанной Artificial Superintelligence Alliance, децентрализованным AI-коллективом, в который входят Fetch.ai, SingularityNET и CUDOS. Это дает разработчикам единую среду, чтобы создавать, аудировать и развертывать децентрализованные приложения.

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