MetaArena 是一套面向 AI Agent 与复杂交互系统的可信执行基础设施，专为加速 AI 在包括 游戏、金融等系列领域中的采用而打造，通过零知识验证确保智能行为可验证、可审计、可扩展，为链游带来真实可信的智能体验。

作为当前少数专注于 链游场景 AI 可信执行 的基础设施项目，MetaArena 近期备受市场关注，并成功完成新一轮战略融资。本轮由多家知名机构参与，包括 IBC Group、Central Research、SEI Foundation（SEI Network）、Sky Wee（Sky Ventures）、Stratified Capital、Pacific Meta、LC Academy、Axia8、CIW、LucidBlue、IceTea Labs、ODIG、A1E Omega 等。

Этот раунд финансирования не только представляет собой высокую признательность со стороны финансового рынка к нарративу MetaArena, но и дополнительно подтверждает потенциальную ценность и стратегическую позицию MetaArena в будущей волне обновления интеллектуальных взаимодействий на цепи.

MetaArena, как сделать AI Agent более надежными?

MetaArena сама по себе представляет собой систему доверенного выполнения, основанную на механизме доказательства с нулевым знанием, специально разработанную для предоставления доверительных вычислительных услуг для игр AI и интеллектуальных взаимодействий, требующих проверяемого выполнения.

MetaArena включает в себя сеть вычислений вне цепи, состоящую из распределенных вычислительных узлов, а также движок проверки, развернутый в многосетевой среде. Когда в сети есть задачи доверенного выполнения, MetaArena распределяет запросы на действия AI в распределенные вычислительные узлы вне цепи и генерирует для них доказательства с нулевым знанием (ZKP), а затем завершает проверку на цепи. Этот механизм обеспечивает, что входные данные, действия вывода и результаты выполнения являются подлинными, надежными и неизменными. MetaArena уже проверена в области игр Web3 и поддерживает работу цепочных игр с AI Agent без необходимости полагаться на централизованные серверы, обеспечивая эффективное, безопасное и проверяемое выполнение.

В последнем обновлении MetaArena представила новый стек доверенного выполнения, реализуя проверку согласованности ввода Prompt (Proof of Prompt) и достоверности поведения вывода (Proof of Inference) с помощью двух основных возможностей zkTrace и zkAction, чтобы обеспечить проверяемость подлинности и конфиденциальности подсказок и путей вывода AI Agent в процессе выполнения.

Стоит отметить, что хотя на текущем рынке существует множество решений, пытающихся предоставить доверенную рабочую среду для AI Agent, MetaArena является одним из немногих решений, которые полностью зависят от криптографии с нулевым знанием и могут реализовать доверенное выполнение без специализированного аппаратного обеспечения.

zkTrace: Доказательство доверительности ввода Prompt

В традиционных моделях AI Agent существует одна основная проблема, которая остается нерешенной: как обеспечить доверие к Prompt?
Включая, но не ограничиваясь:

  • Была ли подсказка изменена до или в процессе выполнения?

  • Действительно ли модель выводит вывод в соответствии с ожидаемой подсказкой?

  • Существует ли риск утечки конфиденциального содержания в Prompt?

MetaArena предоставляет проверяемые и доверенные возможности выполнения для Prompt на уровне вычислений через модуль zkTrace, гарантируя, что Prompt сохраняет правильность, согласованность и конфиденциальность на протяжении всего своего жизненного цикла; не требуется раскрывать его оригинальное содержание внешнему миру, что является важным основным компонентом для построения недоверенных AI Agent и децентрализованных логик приложений.

zkTrace предоставляется в удобной для разработчиков форме SDK, основанной на мощных механизмах шифрования и ZK примитивах, таких как обязательства Pedersen / Poseidon / zkSNARKs (Plonk) и глубоко сотрудничает с процессом инициализации System Prompt.
Во время инициализации системы Prompt будет использоваться в качестве ввода, чтобы сгенерировать зашифрованные обязательства через сеть вычислений вне цепи и построить соответствующее ZKP.

Эти ZKP могут быть использованы любым пользователем или третьей стороной для проверки, сравнивая их с обязательствами Prompt, зафиксированными в цепи, чтобы подтвердить подлинность содержимого Prompt и то, что оно не было изменено. Если Prompt, используемый в выполнении, не совпадает с обязательством аудита, проверка сразу же потерпит неудачу, тем самым обеспечивая прозрачность поведения и надежность выполнения без раскрытия открытого текста.

В процессе использования разработчики AI Agent или разработчики приложений AI Prompt могут использовать zkTrace для создания и определения System Prompt, чтобы гарантировать, что модель строго выполняет задачи в соответствии с установленными стратегиями и ограничениями.

После инициализации и загрузки System Prompt в модель, zkTrace автоматически генерирует обязательства и документы о доказательствах и отправляет их в движок проверки на цепи. Этот процесс полностью документирует весь путь Prompt от ввода до использования, обеспечивая возможность отслеживания доказательства и недоступность к подделке.

Для конечных пользователей, использующих AI Agent, они могут в любое время получить соответствующие обязательства и доказательства Prompt для текущей модели выполнения и проверить подлинность используемых подсказок:

Сохраняется ли согласованность с установленными разработчиком параметрами?
Был ли он заменен или внедрен вредоносный контент в процессе выполнения?

zkTrace гарантирует, что доверие к Prompt больше не зависит от централизованного хранения или заверки со стороны единственного поставщика, а основывается на криптографических доказательствах, чтобы создать надежный, проверяемый и недоступный для отрицания доверительный базис для систем ввода.

Пример взаимодействия zkTrace

zkTrace создает надежный механизм взаимодействия между AI Agent, вычислительной сетью вне цепи, DApp и интеллектуальными контрактами, обеспечивая целостность и согласованность Prompt, предоставляя проверяемую гарантию доверия к поведению AI модели.

Когда разработчик AI Agent определяет и отправляет System Prompt через zkTrace, этот Prompt будет зашифрован и обработан вне цепи, генерируя обязательства и завершив инициализацию агента и связывание с соответствующими схемами проверки, обеспечивая, чтобы содержание подсказок имело неизменяемые характеристики на протяжении всей работы системы. В то же время AI Agent зарегистрирует необходимые ключи проверки в вычислительной сети MetaArena вне цепи для последующих вызовов проверки.

Когда DApp отправляет сообщение или запрос на взаимодействие, AI Agent считывает запрос и делегирует выполнение задачи узлам вычислений вне цепи. В процессе выполнения использование и логическая конфигурация Prompt будут проверяться с помощью механизма доказательства с нулевым знанием, а путь действий будет записан и сгенерирован в виде проверяемого документа о доказательствах. Результаты доказательства затем возвращаются интеллектуальному контракту или DApp для подтверждения на уровне контракта, что данное действие строго происходит от обязательства Prompt.

Движок проверки на цепи MetaArena отвечает за сопоставление и проверку нулевых знаний и обязательств, чтобы подтвердить согласованность входного содержания с действиями выполнения. Если имеются случаи замены подсказки, изменения стратегии выполнения и т. д., проверка немедленно потерпит неудачу, эффективно сдерживая потенциальные цепочки аномального поведения. Этот механизм гарантирует, что процесс выполнения AI Agent полностью согласуется с первоначальными установками и имеет прозрачную и проверяемую надежную основу.

Взаимодействуя с интеллектуальными контрактами и другими объектами в цепи, MetaArena обеспечивает выполнение AI Agent с открытыми и проверяемыми характеристиками, предоставляя высокую безопасность и структурированное доверие для различных случаев использования Web3.

С точки зрения функциональных характеристик, zkTrace позволяет AI Agent иметь:

  • Конфиденциальность данных: содержание подсказок не нужно раскрывать для проверки подлинности, что предотвращает утечку конфиденциальной информации.

  • Достоверность и прозрачность: доказательства с нулевым знанием гарантируют, что поведение модели не было злонамеренно изменено.

  • Способности дистрибутивной проверки: любой пользователь или третья сторона могут проверять согласованность выполнения, избегая зависимости от централизованных сущностей.

Основываясь на преимуществах доверенного ввода zkTrace, возможности могут естественно расширяться до Proof of Inference (реализуется с помощью zkAction), проверяя достоверность путей и результатов вывода AI Agent, обеспечивая, чтобы вывод строго основывался на законных вводах.

В целом, zkTrace особенно подходит для критических сценариев, таких как задачи интеллектуального принятия решений, связанные с финансовой чувствительной информацией, строгими ограничениями или высокими требованиями к соблюдению, создавая высоко безопасную и прозрачную операционную основу для следующего поколения недоверенных AI Agent.

Доверенная структура игрового движка AI Agent

MetaArena уже реализовала использование в области цепочных игр, выпустив компонент AI Game Engine, который позволяет операциям агентов в игре подчиняться механизмам доказательства с нулевым знанием и аудиту. Игровые агенты могут непосредственно участвовать в цепочном сражении с помощью интеллектуальных контрактов, а их действия проверяются с помощью zkTrace / zkAction, чтобы обеспечить справедливость, подлинность и возможность отслеживания игры.

В этой системе игрового движка разработчики могут продолжать использовать нативные игровые движки, такие как Unity, Cocos Creator, Unreal и т. д., без необходимости менять свои текущие методы создания, чтобы перенести игры в доверенную рабочую среду на цепи. Разработчики могут подключаться к децентрализованному слою состояния MetaArena через интерфейсы SDK, обеспечивая управление ключевыми состояниями на цепи, включая ввод игроков, изменения состояния и переключение ходов, и в режиме реального времени завершать проверку с помощью доказательства с нулевым знанием.

Все сгенерированные контенты и обратная связь по задачам могут обрабатываться несколькими AI Agent (например, Agent по генерации контента, Proxy Agent, Testing Agent и др.), обеспечивая автоматизированную проверку и динамическую оптимизацию игрового опыта.

Все данные, возникающие в процессе игры, включая ввод команд, изменения состояния, журналы действий и результаты генерации контента, будут переданы в сеть вычислений вне цепи MetaArena для обработки и собраны через ZK Game SDK в структуру проверяемых доказательств. С помощью ZK схем (таких как ZK Shuffle, схемы допустимости действий) можно обеспечить случайность, справедливость и согласованность правил. В то же время движок проверки на цепи публично подтверждает подлинность каждого действия с помощью механизма проверки с нулевым знанием, обеспечивая неизменность и полную прозрачность процесса выполнения игры.

На уровне вычислений и хранения MetaArena сочетает компоненты оптимизации ресурсов, обеспечивая высокую производительность для множества агентов (AIGC, QA Testing Agent, Data Insight Agent и др.), гарантируя эффективность выполнения и стабильность отклика в сценариях с высокой пропускной способностью взаимодействия.

В конечном итоге эта инфраструктура не только предоставляет разработчикам необходимые эффективные вычислительные ресурсы, но и обеспечивает проверяемость, возможность аудита и подотчетности каждого действия в игре через децентрализованную верификацию и двойной механизм аудита интеллектуального поведения, что действительно создает справедливую и надежную экосистему AI игр на цепи, эффективно устраняя мошенничество, подделку и скрытые операции.

Улучшенная безопасность

В процессе создания доверенных AI Agent решения TEE схемы широко используются благодаря своей изолированной среде, построенной на аппаратном обеспечении, что позволяет в определенной степени обеспечить защиту конфиденциальности данных и проверяемость выполнения. Хотя TEE является проверенным и широко применяемым основным решением для конфиденциальности в различных областях, оно по-прежнему имеет определенные ограничения в построении доверенных AI Agent.

На самом деле, TEE схемы обычно полагаются на доверенные среды и услуги управления ключами, предоставляемые такими аппаратными производителями, как Intel SGX и ARM TrustZone. Эта централизованная система доверия делает безопасность системы сильно зависимой от конкретного поставщика, что создает риски централизации; Intel SGX ранее несколько раз подвергался критике за наличие уязвимостей, угрожающих его доверительной основе. Кроме того, несмотря на то, что TEE предоставляет изолированную среду выполнения, его возможности защиты конфиденциальности данных все еще являются недостаточными. Например, в процессе передачи данных в среду TEE могут возникнуть риски перехвата, а злоумышленники, находящиеся вне TEE, также могут получить доступ к конфиденциальной информации через интерфейсы взаимодействия. В то же время TEE в основном предназначен для предопределенных вычислительных задач и недостаточно динамичен. AI Agent обычно должен справляться с изменяющимися задачами и сложными контекстными сценариями, и такая жесткая структура также трудно удовлетворяет реальным потребностям.

По сравнению с этим, схема доверенного выполнения с нулевым знанием MetaArena обладает децентрализованными характеристиками, не требуя зависимости от каких-либо централизованных сущностей, а безопасность исходит от распределенной и крупномасштабной вычислительной сети вне цепи. Это не только дает ей преимущества в легкости, но и явно превосходит TEE в аспектах масштабируемости и динамической гибкости, позволяя более эффективно адаптироваться к различным сценариям применения AI Agent. Будь то ChatGPT или текущая популярная модель глубокого обучения DeepSeek, MetaArena обеспечивает бесшовную совместимость. Стоит отметить, что схема MetaArena полностью основана на дизайне ZK криптографии, выделяясь в области доверенных решений для AI Agent.

В общем, несмотря на то что технологии AI продолжают развиваться и эволюционировать с поразительной скоростью, под давлением вопросов безопасности и этики, а также практических соображений, полностью автономные AI Agent все еще сталкиваются с множеством вызовов для достижения массового распространения. В этом отношении полузависимые AI Agent, благодаря сбалансированности автоматизации и человеческого контроля, остаются основным направлением будущего развития. Это также означает, что AI Agent необходимо сделать прогресс в области доверия и конфиденциальности перед широким применением, и MetaArena, благодаря своей полностью основанной на ZK криптографической схеме, ускоряет этот процесс и обеспечивает надежную основу для следующего этапа развития AI Agent, в то время как новое финансирование также закладывает основу для его ведущей роли в качестве инфраструктуры доверенного AI двигателя.

В качестве одной из самых важных инфраструктур доверенного выполнения с нулевым знанием в эпоху AI, MetaArena движется в направлении «Сделать агентов безопасными снова»!