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

Кратко

• 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, создание/использование skills, создание dApps и развертывание — всё с одной платформы», — сказал Рамеш. «Мы работаем с командой ASI над “blessed templates”, чтобы упростить создание более безопасных контрактов, специально для языков, основанных на формальной верификации». Компания сообщила, что разработчики могут подключаться к сторонним аудиторам через платформу перед запуском контрактов в реальном блокчейне. Однако, хотя Matterhorn заявляет, что её платформа ускоряет разработку, она не гарантирует безопасность. «Мы — мощный фактор, который помогает создателям, желающим строить на Web3», — сказал Рамеш. «Со стороны команды Matterhorn нет абсолютно никаких гарантий любого рода в отношении безопасности или защиты». Рамеш сказал, что Matterhorn и ASI Alliance разрабатывают «blessed templates», чтобы помогать разработчикам создавать более безопасные смарт-контракты, одновременно интегрируя ASI:Cloud, чтобы обеспечить вычислительную мощность для ИИ-систем, которые генерируют и анализируют код для языка программирования MeTTa, языка ASI:Chain. Партнерство появляется на фоне того, что ИИ-агенты всё чаще переходят в криптоиндустрию: разработчики экспериментируют с системами, которые могут управлять кошельками, исполнять сделки и выполнять финансовые задачи on-chain, что подталкивает к появлению новых инструментов и исследований, направленных на управление рисками, когда эти автономные системы работают с криптовалютой. Келлар Кроуфорд, главный директор по инновациям SingularityNET, сказал, что большая часть блокчейн-индустрии опирается на подход «патч и молись» — написание смарт-контрактов на языках, плохо подходящих для сложного параллелизма, и полагание на аудиторов, которые должны обнаружить недостатки, — в то время как F1R3FLY и ASI:Chain используют, как он это назвал, архитектуру «correct-by-construction», основанную на Rho calculus. «Мы не гадaем, безопасно ли приложение: мы математически доказываем это, используя пространственно-поведенческие типы», — сказал Кроуфорд Decrypt. «Прежде чем хотя бы одна строка кода коснётся реальной сети, сама математика гарантирует, что не будет взаимных блокировок, уязвимостей, связанных с условиями гонки, и утечек средств».