MetaArena es un conjunto de infraestructura de ejecución confiable orientada a Agentes de AI y sistemas de interacción complejos, diseñada para acelerar la adopción de AI en una variedad de campos, incluyendo juegos y finanzas, asegurando mediante pruebas de conocimiento cero que los comportamientos inteligentes sean verificables, auditables y escalables, brindando una experiencia inteligente real y confiable a los juegos en cadena.

Como uno de los pocos proyectos de infraestructura enfocados en la ejecución confiable de AI en el escenario de juegos en cadena, MetaArena ha estado recibiendo la atención del mercado recientemente y ha completado con éxito una nueva ronda de financiamiento estratégico. Esta ronda fue participada por varias instituciones conocidas, incluyendo 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, entre otros.

Esta ronda de financiamiento no solo representa un alto reconocimiento del mercado de capitales hacia la narrativa de MetaArena, sino que también valida aún más el potencial valor y posición estratégica de MetaArena en la próxima ola de actualización de interacciones inteligentes en la cadena.

MetaArena, ¿cómo hacer que el Agente de IA sea más confiable?

MetaArena es un conjunto de infraestructura de ejecución confiable centrado en el mecanismo de prueba sin conocimiento, diseñado específicamente para proporcionar servicios de computación confiables para juegos de IA y escenarios de interacción inteligente que requieren ejecución verificable.

MetaArena incluye una red de computación fuera de la cadena compuesta de nodos de computación distribuidos, así como un motor de verificación en la cadena desplegado en un entorno multichain. Cuando hay tareas de ejecución confiable en la red, MetaArena distribuye las solicitudes de comportamiento de IA a los nodos de computación fuera de la cadena para su ejecución y genera pruebas sin conocimiento (ZKP) para ellas, que luego se validan en la cadena. A través de este mecanismo, se garantiza que los datos de entrada, el comportamiento de inferencia y los resultados de ejecución sean reales, confiables e inalterables. MetaArena ya ha verificado su implementación en el campo de los juegos Web3 y apoya la operación de juegos en la cadena impulsados por Agentes de IA sin depender de servidores centralizados, logrando así un funcionamiento eficiente, seguro y capaz de auditoría.

En una actualización reciente, MetaArena lanzó una nueva pila de ejecución confiable, logrando a través de zkTrace y zkAction la validación de la consistencia de la entrada del Prompt (Prueba de Prompt) y la confiabilidad del comportamiento de inferencia (Prueba de Inferencia), asegurando de manera verificable la autenticidad y confidencialidad de las palabras clave y la ruta de inferencia del Agente de IA durante su ejecución.

Cabe mencionar que, aunque actualmente existen muchas soluciones en el mercado que intentan proporcionar un entorno de ejecución confiable para Agentes de IA, MetaArena es una de las pocas soluciones que depende puramente de la criptografía de cero conocimiento y no requiere hardware especializado para lograr una ejecución confiable.

zkTrace: Prueba de confiabilidad de entrada del Prompt

En los modelos tradicionales de Agentes de IA, siempre hay un problema central que no se puede resolver: ¿cómo asegurar la confiabilidad del Prompt?
Incluyendo, pero no limitado a:

  • ¿Se ha alterado el Prompt antes o durante la ejecución?

  • ¿El modelo realmente está realizando inferencias basadas en el Prompt esperado?

  • ¿Existen riesgos de filtración de contenido sensible en el Prompt?

MetaArena proporciona a los Prompts capacidades de ejecución confiable y verificable a través del módulo zkTrace a nivel de cálculo, asegurando que los Prompts mantengan su corrección, consistencia y privacidad a lo largo de todo su ciclo de vida; sin necesidad de exponer su contenido original al exterior, es un componente fundamental en la construcción de Agentes de IA sin confianza y la lógica de aplicaciones descentralizadas.

zkTrace se ofrece en una forma de SDK amigable para desarrolladores, su base se basa en un mecanismo de cifrado fuerte y en primitivas ZK, incluyendo compromisos de Pedersen / Poseidon / zkSNARKs (Plonk), y colabora profundamente con el proceso de inicialización del System Prompt.
Durante la inicialización del sistema, el Prompt se utilizará como entrada, generando un compromiso cifrado a través de la red de computación fuera de la cadena y construyendo el correspondiente ZKP.

Estas ZKP pueden ser referenciadas por cualquier usuario o verificador de terceros, comparándolas con el compromiso del Prompt almacenado en la cadena para confirmar la veracidad y la no alteración del contenido del Prompt. Si el Prompt utilizado en la ejecución no coincide con el compromiso de auditoría, la verificación fallará inmediatamente, asegurando así la transparencia del comportamiento y la ejecución confiable sin exponer el texto en claro.

En el proceso de uso, los desarrolladores de Agentes de IA o los desarrolladores de aplicaciones de Prompt de IA pueden utilizar zkTrace para crear y definir el System Prompt, asegurando que el modelo ejecute tareas estrictamente de acuerdo con las políticas y restricciones establecidas.

Una vez que el System Prompt se inicializa y carga en el modelo, zkTrace generará automáticamente un compromiso y un documento de prueba para él, y los enviará al motor de verificación en la cadena. Este proceso registra completamente la trayectoria del Prompt desde la entrada hasta su utilización, asegurando que la prueba sea trazable e inalterable.

Para los usuarios finales que utilizan Agentes de IA, pueden obtener en cualquier momento el compromiso y la prueba del Prompt correspondiente al modelo actual en ejecución, y verificar la autenticidad del uso de las palabras clave:

¿Sigue siendo consistente con lo establecido por los desarrolladores?
¿Ha sido reemplazado o inyectado con contenido malicioso durante el proceso de ejecución?

zkTrace asegura que la confianza del Prompt ya no dependa del alojamiento centralizado o de la aval del único proveedor de servicios, sino que establece una base de confianza en las entradas del sistema que sea verificable, auditada e irrefutable a través de pruebas criptográficas.

Ejemplo de interacción zkTrace

zkTrace construye un mecanismo de interacción confiable entre Agentes de IA, redes de computación fuera de la cadena, DApp y contratos inteligentes, asegurando la integridad y consistencia del Prompt, proporcionando garantías de confianza verificables para el comportamiento del modelo de IA.

Cuando el desarrollador del Agente de IA define y presenta el System Prompt a través de zkTrace, dicho Prompt será procesado de manera cifrada fuera de la cadena y generará un compromiso, completando al mismo tiempo la inicialización del agente y la vinculación del circuito de verificación correspondiente, asegurando que el contenido de las palabras clave tenga propiedades inalterables durante todo el sistema de ejecución. Al mismo tiempo, el Agente de IA registrará las claves de verificación necesarias en la red de computación fuera de la cadena de MetaArena para futuras llamadas de verificación.

Cuando un DApp inicia un mensaje o una solicitud de interacción, el Agente de IA leerá la solicitud y delegará la tarea de ejecución a los nodos de computación fuera de la cadena. Durante el proceso de ejecución, el uso del Prompt y la configuración lógica serán verificados a través del mecanismo de prueba sin conocimiento, y la trayectoria de comportamiento se registrará generando documentos de prueba verificables. Los resultados de la prueba se devolverán al contrato inteligente o al DApp para la confirmación a nivel de contrato de si el comportamiento se deriva estrictamente del Prompt comprometido.

El motor de verificación en la cadena de MetaArena es responsable de hacer coincidir y validar las pruebas sin conocimiento y los compromisos para confirmar la consistencia entre el contenido de entrada y el comportamiento de ejecución. Si hay casos de sustitución de palabras clave, desviaciones en las políticas de ejecución, etc., la verificación fallará inmediatamente, limitando efectivamente las posibles cadenas de comportamiento anómalo. Este mecanismo asegura que el proceso de ejecución del Agente de IA esté completamente alineado con los parámetros iniciales establecidos y que tenga una base de confianza transparente y auditada.

Al trabajar en conjunto con contratos inteligentes y otros objetos en la cadena, MetaArena permite que la ejecución de los Agentes de IA tenga propiedades verificables públicamente, proporcionando alta seguridad y confianza estructurada para diversos casos de uso de Web3.

Desde el punto de vista de las características de capacidad, zkTrace permite a los Agentes de IA tener:

  • Privacidad de los datos: El contenido de las palabras clave no necesita ser público para verificar su autenticidad, evitando la filtración de información sensible.

  • Confiabilidad y transparencia: Las pruebas sin conocimiento aseguran que el comportamiento del modelo no ha sido alterado maliciosamente.

  • Capacidad de verificación distribuida: Cualquier usuario o tercero puede verificar la consistencia de la ejecución, evitando la dependencia de la confianza en entidades centralizadas.

Basado en las ventajas de entrada confiable de zkTrace, la capacidad se puede ampliar naturalmente a la Prueba de Inferencia (implementada por zkAction), verificando la confiabilidad de la ruta de inferencia y los resultados del Agente de IA, asegurando que la salida se derive estrictamente de inferencias basadas en entradas legales.

En general, zkTrace es especialmente adecuado para escenarios de misión crítica, como aquellos que involucran información financiera sensible, políticas de estrictas restricciones o altos requisitos de cumplimiento, construyendo una base operativa altamente segura y transparente para la próxima generación de Agentes de IA sin confianza.

Marco confiable del motor de juego de Agentes de IA

MetaArena ha sido pionera en la implementación en el campo de los juegos en la cadena, lanzando el componente AI Game Engine, que permite que la operación de los agentes en el juego esté sujeta a restricciones y auditorías a través del mecanismo de prueba sin conocimiento. Los Agentes de juego pueden participar en batallas en la cadena directamente de manera contractual, y su comportamiento se verifica a través de zkTrace / zkAction, asegurando la equidad, autenticidad y trazabilidad de las partidas.

Dentro de este sistema de motor de juegos, los desarrolladores pueden continuar utilizando motores de juegos nativos como Unity, Cocos Creator, Unreal, etc., para el desarrollo, sin necesidad de cambiar su forma de creación existente para migrar el juego a un entorno de ejecución confiable en la cadena. Los desarrolladores pueden acceder a la capa de estado descentralizada de MetaArena a través de una interfaz SDK, logrando la gestión del estado clave en la cadena, que incluye la entrada de jugadores, cambios de estado y cambios de turno, y completando la verificación en tiempo real a través de pruebas sin conocimiento.

Todo el contenido generado y la retroalimentación de tareas pueden ser procesados por múltiples Agentes de IA (como Agentes de generación de contenido, Agentes de juego, Agentes de prueba, etc.), logrando una verificación automatizada y optimización dinámica de la experiencia de juego.

Todos los datos generados durante el juego, incluyendo entradas de instrucciones, transiciones de estado, registros de comportamiento y resultados de generación de contenido, se transferirán a la red de computación fuera de la cadena de MetaArena para su procesamiento, y se integrarán en una estructura de prueba verificable a través del SDK de ZK Game. Con circuitos ZK (como ZK Shuffle, circuitos de validez de acciones), se puede asegurar aleatoriedad, equidad y consistencia de reglas. Al mismo tiempo, el motor de verificación en la cadena confirma públicamente la autenticidad de cada acción a través del mecanismo de verificación sin conocimiento, asegurando que el proceso de ejecución del juego sea inalterable y completamente transparente.

En el ámbito del cálculo y el almacenamiento, MetaArena combina componentes de optimización de recursos, proporcionando soporte de alto rendimiento para múltiples agentes (AIGC, Agentes de prueba QA, Agentes de análisis de datos, etc.), garantizando la eficiencia de ejecución y la estabilidad de respuesta en escenarios de interacción de alto rendimiento.

En última instancia, esta infraestructura no solo proporciona a los desarrolladores los recursos computacionales eficientes que necesitan, sino que también asegura que cada paso de la operación del juego sea verificable, auditado y responsable mediante un mecanismo dual de verificación descentralizada + auditoría de comportamiento inteligente, estableciendo así un ecosistema de juegos de IA en la cadena que sea justo y confiable, y evitando efectivamente el fraude, la alteración y la ejecución encubierta.

Mayor seguridad

En la construcción de Agentes de IA confiables, las soluciones TEE son ampliamente adoptadas debido a su entorno aislado construido a través de hardware, lo que puede lograr cierto nivel de privacidad de los datos y verificabilidad de la ejecución. Aunque TEE es una solución de privacidad validada y ampliamente utilizada en múltiples campos, todavía presenta ciertas limitaciones en la construcción de Agentes de IA confiables.

De hecho, las soluciones TEE generalmente dependen de entornos de confianza y servicios de gestión de claves proporcionados por fabricantes de hardware como Intel SGX y ARM TrustZone. Este mecanismo de confianza centralizada hace que la seguridad del sistema dependa en gran medida de fabricantes específicos, lo que conlleva riesgos de centralización; Intel SGX ha sido expuesto en múltiples ocasiones por vulnerabilidades que amenazan su base de confianza. Además, aunque TEE proporciona un entorno de ejecución aislado, su capacidad de protección de privacidad de datos sigue siendo insuficiente. Por ejemplo, durante la transmisión de datos al entorno TEE, puede haber riesgos de escucha, y atacantes externos a TEE también pueden obtener información sensible a través de interfaces de interacción. Al mismo tiempo, el diseño de TEE está principalmente orientado a tareas computacionales predefinidas, careciendo de capacidad de ajuste dinámico. Los Agentes de IA, por otro lado, a menudo necesitan enfrentar tareas cambiantes y contextos complejos, lo que hace que esta arquitectura rígida también sea difícil de satisfacer las necesidades reales.

En comparación, la solución de ejecución confiable sin conocimiento de MetaArena tiene características de descentralización, sin necesidad de depender de entidades centralizadas, y su seguridad proviene de una red de computación distribuida y a gran escala fuera de la cadena. Esto no solo le otorga ventajas en términos de ligereza, sino que también supera claramente a TEE en escalabilidad y flexibilidad dinámica, permitiéndole adaptarse de manera más eficiente a diversos escenarios de aplicación de Agentes de IA. Tanto ChatGPT como los modelos de lenguaje de gran tamaño como DeepSeek, que actualmente están en auge, son compatibles sin problemas con MetaArena. Cabe mencionar que la solución de MetaArena está completamente basada en el diseño de criptografía ZK, destacándose en el campo de las soluciones de Agentes de IA confiables.

En general, aunque la tecnología de IA está iterando y desarrollándose a una velocidad asombrosa, aún enfrenta muchos desafíos para lograr la plena adopción del Agente de IA completamente autónomo debido a limitaciones en cuestiones de seguridad y ética, así como consideraciones prácticas. En comparación, los Agentes de IA semi-autónomos, al equilibrar la automatización y la supervisión humana, seguirán siendo la dirección principal del desarrollo futuro. Del mismo modo, esto también implica que antes de la adopción a gran escala, los Agentes de IA necesitan avanzar en confiabilidad y privacidad, y MetaArena, con su solución de criptografía completamente basada en ZK, está acelerando este proceso, proporcionando una base sólida para la evolución hacia la próxima etapa en el campo de los Agentes de IA, mientras que nuevas financiaciones están estableciendo su posición de liderazgo como infraestructura confiable de motores de IA.

Como una de las infraestructuras de ejecución confiable sin conocimiento más importantes de la era de IA, ¡MetaArena está en "Make Agent Secure Again"!