MetaArena est un ensemble d'infrastructure d'exécution fiable destiné aux agents AI et aux systèmes d'interaction complexes, conçu pour accélérer l'adoption de l'IA dans des domaines variés, y compris les jeux et la finance, garantissant que les comportements intelligents soient vérifiables, auditables et évolutifs grâce à la preuve à connaissance nulle, apportant une expérience intelligente réelle et fiable aux jeux basés sur la blockchain.

En tant que l'un des rares projets d'infrastructure se concentrant sur l'exécution fiable des scénarios de jeux basés sur la blockchain, MetaArena a récemment attiré l'attention du marché et a réussi à compléter une nouvelle ronde de financement stratégique. Cette ronde a vu la participation de plusieurs institutions de renom, y compris 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, etc.

Ce tour de financement représente non seulement une reconnaissance élevée du marché des capitaux pour le récit de MetaArena, mais valide également davantage la valeur potentielle et la position stratégique de MetaArena dans la vague d'upgrade des interactions intelligentes sur la chaîne à l'avenir.

MetaArena, comment rendre les agents d'IA plus fiables

MetaArena est en soi une infrastructure d'exécution fiable centrée sur les mécanismes de preuve à connaissance nulle, offrant des services de calcul fiables pour les jeux d'IA et les scénarios d'interaction intelligents nécessitant une exécution vérifiable.

MetaArena comprend un réseau de calcul hors chaîne composé de nœuds de calcul distribués, ainsi qu'un moteur de validation sur la chaîne déployé dans un environnement multi-chaînes. Lorsque des tâches d'exécution fiable sont présentes dans le réseau, MetaArena distribuera les demandes de comportement d'IA aux nœuds de calcul hors chaîne pour exécution, et générera pour elles des preuves à connaissance nulle (ZKP), puis complétera la validation sur la chaîne. Grâce à ce mécanisme, il est possible de garantir que les données d'entrée, les comportements d'inférence et les résultats d'exécution sont tous réels, fiables et non falsifiables. MetaArena a été validé dans le domaine des jeux Web3 et prend en charge l'exécution efficace, sécurisée et avec des capacités d'audit des jeux basés sur des agents d'IA sans avoir besoin de dépendre de serveurs centralisés.

Lors de la récente mise à niveau, MetaArena a lancé une nouvelle pile d'exécution fiable, réalisant respectivement la validation de la cohérence d'entrée du prompt (Preuve de Prompt) et de la fiabilité des comportements d'inférence (Preuve d'Inférence) grâce aux deux capacités clés zkTrace et zkAction, garantissant de manière prouvable que les mots de déclenchement et les chemins d'inférence sont authentiques et confidentiels pendant l'exécution des agents d'IA.

Il convient de mentionner que, bien que de nombreuses solutions sur le marché tentent de fournir un environnement d'exécution fiable pour les agents d'IA, MetaArena est l'une des rares solutions qui dépendent entièrement de la cryptographie à connaissance nulle, sans nécessiter de matériel spécialisé pour réaliser une exécution fiable.

zkTrace : Preuve de fiabilité d'entrée du prompt

Dans les modèles d'agents d'IA traditionnels, un problème central demeure sans solution : comment garantir la fiabilité du prompt ?
Y compris mais sans s'y limiter :

  • Le prompt a-t-il été altéré avant ou pendant l'exécution ?

  • Le modèle a-t-il réellement effectué des inférences basées sur le prompt prévu ?

  • Y a-t-il un risque de fuite concernant le contenu sensible du prompt ?

MetaArena fournit au prompt des capacités vérifiables et d'exécution fiable au niveau de calcul grâce au module zkTrace, garantissant que le prompt maintient la précision, la cohérence et la confidentialité tout au long de son cycle de vie ; sans avoir besoin d'exposer son contenu original, c'est un composant fondamental pour construire des agents d'IA sans confiance et des logiques d'application décentralisées.

zkTrace est fourni sous la forme d'un SDK convivial pour les développeurs, basé sur des mécanismes de cryptage forts et des primitives ZK, y compris les engagements de Pedersen / Poseidon / zkSNARKs (Plonk), et collabore en profondeur avec le processus d'initialisation du prompt système.
Lors de l'initialisation du système, le prompt sera utilisé comme entrée, générant un engagement crypté via le réseau de calcul hors chaîne, et construisant le ZKP correspondant.

Ces ZKP peuvent être cités par tout utilisateur ou vérificateur tiers, en les comparant avec l'engagement de prompt enregistré sur la chaîne, pour confirmer la véracité et l'absence de falsification du contenu du prompt. Si le prompt utilisé lors de l'exécution ne correspond pas à l'engagement d'audit, la validation échouera immédiatement, garantissant ainsi la transparence des comportements et une exécution fiable sans exposer le texte clair.

En ce qui concerne le processus d'utilisation, les développeurs d'agents d'IA ou les développeurs d'applications de prompt d'IA peuvent utiliser zkTrace pour créer et définir le prompt système, afin de garantir que le modèle exécute les tâches conformément à la stratégie et aux limitations établies.

Une fois que le prompt système est initialisé et chargé dans le modèle, zkTrace générera automatiquement des engagements et des documents de preuve, qui seront soumis à l'engin de validation sur la chaîne. Ce processus enregistre complètement la trajectoire du prompt de l'entrée à l'utilisation, garantissant que la preuve est traçable et infalsifiable.

Pour les utilisateurs finaux utilisant des agents d'IA, ils peuvent à tout moment obtenir des engagements et des preuves de prompt correspondant au modèle d'exécution actuel, et valider la véracité des mots de déclenchement utilisés :

Est-ce toujours aligné avec ce qui a été défini par les développeurs ?
A-t-il été remplacé ou injecté de contenu malveillant pendant l'exécution ?

zkTrace garantit que la confiance dans le prompt ne dépend plus de l'hébergement centralisé ou de l'aval d'un seul prestataire, mais établit une base de confiance d'entrée vérifiable, auditable et non renonçable grâce à des preuves cryptographiques.

Exemple d'interaction zkTrace

zkTrace construit un mécanisme d'interaction fiable entre les agents d'IA, le réseau de calcul hors chaîne, les DApps et les contrats intelligents, garantissant l'intégrité et la cohérence du prompt, fournissant une garantie de confiance vérifiable pour le comportement du modèle d'IA.

Lorsque les développeurs d'agents d'IA définissent et soumettent le prompt système via zkTrace, ce prompt sera traité de manière cryptée hors chaîne et générera un engagement, tout en complétant l'initialisation de l'agent et le lien avec le circuit de vérification correspondant, garantissant que le contenu des mots de déclenchement possède des attributs immuables dans l'ensemble du système. En même temps, l'agent d'IA enregistrera les clés de vérification nécessaires dans le réseau de calcul hors chaîne de MetaArena pour faciliter les appels de vérification ultérieurs.

Lorsque le DApp initie un message ou une demande d'interaction, l'agent d'IA lira la demande et délèguera l'exécution de la tâche aux nœuds de calcul hors chaîne. Pendant l'exécution, l'utilisation et la configuration logique du prompt seront vérifiées par le mécanisme de preuve à connaissance nulle, le chemin de comportement sera enregistré et un document de preuve vérifiable sera généré. Les résultats de la preuve seront ensuite renvoyés au contrat intelligent ou au DApp, pour confirmer au niveau du contrat que le comportement provient strictement du prompt engagé.

L'engin de validation sur la chaîne de MetaArena est responsable de la correspondance et de la vérification des preuves à connaissance nulle et des engagements, afin de confirmer la cohérence entre le contenu d'entrée et le comportement d'exécution. Si des mots de déclenchement sont remplacés ou si la stratégie d'exécution dévie, la validation échouera immédiatement, empêchant efficacement les chaînes de comportement suspect. Ce mécanisme garantit que le processus d'exécution de l'agent d'IA est complètement aligné avec les définitions initiales et dispose d'une base de confiance transparente et vérifiable.

En collaborant avec des contrats intelligents et d'autres objets sur la chaîne, MetaArena permet aux agents d'IA d'exécuter des propriétés vérifiables publiquement, offrant une haute sécurité et une confiance structurée pour divers cas d'utilisation Web3.

D'un point de vue des capacités, zkTrace permet aux agents d'IA d'avoir :

  • Vie privée des données : le contenu des mots de déclenchement n'a pas besoin d'être rendu public pour valider sa véracité, évitant ainsi la divulgation d'informations sensibles.

  • Fiabilité et transparence : les preuves à connaissance nulle garantissent que le comportement du modèle n'a pas été malicieusement altéré.

  • Capacité de validation distribuée : n'importe quel utilisateur ou tiers peut vérifier la cohérence d'exécution, évitant la dépendance à la confiance dans des entités centralisées.

Sur la base des avantages d'entrée fiable de zkTrace, les capacités peuvent naturellement s'étendre à la preuve d'inférence (réalisée par zkAction), validant la fiabilité des chemins d'inférence et des résultats des agents d'IA, garantissant que les sorties sont strictement basées sur des inférences légitimes.

Dans l'ensemble, zkTrace est particulièrement adapté aux scénarios critiques, tels que les tâches de décision intelligente impliquant des informations financières sensibles, des politiques strictes ou des exigences de conformité élevées, établissant une base d'opération hautement sécurisée et transparente pour la prochaine génération d'agents d'IA sans confiance.

Cadre fiable pour le moteur de jeu AI Agent

MetaArena a déjà réalisé des applications sur la chaîne dans le domaine des jeux, lançant un composant AI Game Engine, permettant aux opérations des agents dans le jeu d'être contraintes et auditables par des mécanismes de preuve à connaissance nulle. Les agents de jeu peuvent participer directement à des combats sur la chaîne par le biais de contrats intelligents, leurs actions étant vérifiées par zkTrace / zkAction pour garantir l'équité, la véracité et la traçabilité des jeux.

Dans ce système de moteur de jeu, les développeurs peuvent continuer à utiliser Unity, Cocos Creator, Unreal et d'autres moteurs de jeu natifs pour le développement, sans avoir besoin de modifier la manière de création existante pour migrer le jeu vers un environnement d'exécution fiable sur la chaîne. Les développeurs peuvent se connecter à la couche d'état décentralisée de MetaArena via l'interface SDK, réalisant la gestion de l'état clé sur la chaîne, y compris les entrées des joueurs, les changements d'état, et le passage de tours, tout en complétant la validation en temps réel grâce à des preuves à connaissance nulle.

Tout le contenu généré et les retours de tâche peuvent être traités par plusieurs agents d'IA (comme des agents de génération de contenu, des agents de jeu, des agents de test, etc.), réalisant une validation automatique et une optimisation dynamique de l'expérience de jeu.

Toutes les données générées au cours du processus de jeu - y compris les entrées d'instructions, les transitions d'état, les journaux d'activités et les résultats de génération de contenu - seront transmises au réseau de calcul hors chaîne de MetaArena pour traitement, et intégrées en une structure de preuve vérifiable via le ZK Game SDK. Grâce à des circuits ZK (comme ZK Shuffle, circuit de légitimité d'action), il est possible d'assurer la randomisation, l'équité et la cohérence des règles. Parallèlement, l'engin de validation sur la chaîne confirme publiquement la véracité de chaque comportement par le biais du mécanisme de validation à connaissance nulle, garantissant que le processus d'exécution du jeu est immuable et totalement transparent.

Sur le plan du calcul et du stockage, MetaArena combine des composants d'optimisation des ressources, offrant un support haute performance pour plusieurs agents (AIGC, agents de test QA, agents d'analyse de données, etc.), garantissant l'efficacité d'exécution et la stabilité des réponses dans des scénarios d'interaction à fort débit.

En fin de compte, cette infrastructure fournit non seulement aux développeurs les ressources de calcul efficaces nécessaires, mais garantit également que chaque opération de jeu est vérifiable, auditée et responsable grâce à une double mécanique de validation décentralisée + audit des comportements intelligents, établissant ainsi véritablement un écosystème de jeu AI sur la chaîne équitable et fiable, empêchant efficacement la tricherie, la falsification et l'exécution opaque.

Une sécurité supérieure

Dans la construction de la piste d'agents d'IA fiables, les schémas TEE sont largement adoptés en raison de l'environnement isolé construit par le matériel, capable de réaliser dans une certaine mesure la protection de la vie privée des données et la vérifiabilité de l'exécution. Bien que le TEE soit une solution de confidentialité validée et largement utilisée dans plusieurs domaines, il présente encore certaines limitations dans la construction d'agents d'IA fiables.

En fait, les schémas TEE dépendent généralement d'environnements fiables et de services de gestion de clés fournis par des fabricants de matériel tels qu'Intel SGX et ARM TrustZone. Ce mécanisme de confiance centralisé rend la sécurité du système fortement dépendante de fabricants spécifiques, introduisant des risques de centralisation. Intel SGX a déjà été exposé à plusieurs reprises pour avoir des vulnérabilités, menaçant directement sa base de confiance. De plus, bien que le TEE offre un environnement d'exécution isolé, sa capacité de protection de la vie privée des données reste insuffisante. Par exemple, des risques d'écoute peuvent survenir lors du transfert de données vers l'environnement TEE, et des attaquants externes au TEE peuvent également obtenir des informations sensibles via des interfaces d'interaction. De plus, le design du TEE est principalement axé sur des tâches de calcul prédéfinies, manquant de capacité d'ajustement dynamique. Les agents d'IA doivent souvent faire face à des tâches changeantes et à des contextes complexes, rendant cette architecture rigide difficile à satisfaire aux besoins réels.

En comparaison, le schéma d'exécution fiable à connaissance nulle de MetaArena possède des caractéristiques de décentralisation, ne nécessitant pas de dépendre d'entités centralisées, et sa sécurité provient d'un réseau de calcul distribué et à grande échelle hors chaîne. Cela lui confère non seulement un avantage en termes de légèreté, mais il surpasse également clairement le TEE en termes d'évolutivité et de flexibilité dynamique, lui permettant de s'adapter plus efficacement à une variété de scénarios d'application des agents d'IA. Que ce soit pour ChatGPT ou pour des modèles de langage de grande taille comme DeepSeek, qui connaissent actuellement un essor, MetaArena peut réaliser une compatibilité sans faille. Il convient de mentionner que le schéma MetaArena est entièrement basé sur la cryptographie ZK, se distinguant dans le domaine des solutions d'agent d'IA fiables.

Dans l'ensemble, bien que la technologie AI évolue à un rythme incroyable, sous les restrictions des problèmes de sécurité et d'éthique, ainsi que des considérations pratiques, la généralisation complète des agents d'IA entièrement autonomes fait encore face à de nombreux défis. En revanche, les agents d'IA semi-autonomes, en équilibrant l'automatisation et la supervision humaine, resteront la direction principale du développement futur. Cela signifie également qu'avant une adoption à grande échelle, les agents d'IA doivent progresser en matière de confiance et de confidentialité, et MetaArena, grâce à son schéma entièrement basé sur la cryptographie ZK, accélère ce processus, fournissant une base solide pour le développement futur des agents d'IA vers la prochaine étape, tandis qu'un nouveau financement pose également les bases de sa position de leader en tant qu'infrastructure de moteur AI fiable.

En tant qu'une des infrastructures d'exécution fiable à connaissance nulle les plus importantes de l'ère de l'IA, MetaArena est en train de "Rendre l'Agent Sûr à Nouveau" !