MetaArena est une infrastructure d'exécution de confiance destinée aux agents IA et aux systèmes d'interaction complexes, conçue pour accélérer l'adoption de l'IA dans divers domaines, y compris les jeux et la finance. Grâce à la vérification à connaissance nulle, elle garantit que les comportements intelligents sont vérifiables, auditables et évolutifs, offrant une expérience intelligente réelle et fiable pour les jeux blockchain.

En tant que l'un des rares projets d'infrastructure se concentrant sur l'exécution de confiance de l'IA dans les scénarios de jeux blockchain, MetaArena a récemment attiré l'attention du marché et a réussi à compléter un nouveau tour de financement stratégique. Ce tour a vu la participation de plusieurs institutions renommées, 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 forte reconnaissance du marché des capitaux pour le récit de MetaArena, mais valide également la valeur potentielle et la position stratégique de MetaArena dans la vague de mise à niveau des interactions intelligentes sur blockchain à l'avenir.

MetaArena, comment rendre l'agent AI plus fiable

MetaArena est en soi une infrastructure de confiance d'exécution basée sur des mécanismes de preuve à divulgation nulle de connaissance, spécialement conçue pour fournir des services de calcul fiables pour les jeux AI et les scénarios d'interaction intelligente nécessitant une exécution vérifiable.

MetaArena comprend un réseau de calcul hors chaîne constitué de nœuds de calcul distribués, ainsi qu'un moteur de vérification sur blockchain déployé dans un environnement multi-chaînes. Lorsqu'il y a des tâches d'exécution de confiance dans le réseau, MetaArena distribue les demandes de comportement AI aux nœuds de calcul hors chaîne pour exécution et génère des preuves à divulgation nulle de connaissance (ZKP), puis complète la vérification sur la blockchain. Grâce à ce mécanisme, il est possible d'assurer que les données d'entrée, le comportement de raisonnement et les résultats d'exécution sont tous réels, fiables et non modifiables. MetaArena a été vérifié dans le domaine des jeux Web3 et soutient que les jeux sur blockchain pilotés par des agents AI fonctionnent de manière efficace, sécurisée et auditable sans dépendre de serveurs centralisés.

Dans la mise à niveau récente, MetaArena a lancé une toute nouvelle pile d'exécution fiable, réalisant respectivement la vérification de la cohérence des entrées du prompt (preuve de prompt) et de la fiabilité du comportement de raisonnement (preuve d'inférence) à travers les deux capacités clés zkTrace et zkAction, assurant de manière prouvable l'authenticité et la confidentialité des mots d'invite et des chemins de raisonnement de l'agent AI pendant l'exécution.

Il convient de mentionner que, bien qu'il existe déjà de nombreuses solutions sur le marché cherchant à fournir un environnement d'exécution fiable pour les agents AI, MetaArena est l'une des rares solutions s'appuyant entièrement sur la cryptographie à divulgation nulle de connaissance, sans matériel spécialisé, pour réaliser une exécution fiable.

zkTrace : preuve de fiabilité des entrées du prompt

Dans les modèles traditionnels d'agent AI, un problème central reste 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 son exécution ?

  • Le modèle infère-t-il réellement en fonction du prompt prévu ?

  • Y a-t-il un risque de fuite d'informations sensibles dans le prompt ?

MetaArena fournit des capacités d'exécution vérifiables et fiables pour le prompt au niveau de calcul via le module zkTrace, garantissant que le prompt reste correct, cohérent et privé tout au long de son cycle de vie ; sans avoir besoin d'exposer son contenu original, il constitue un composant fondamental important pour construire des agents AI sans confiance et des logiques d'application décentralisées.

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

Ces ZKP peuvent être cités par n'importe quel utilisateur ou vérificateur tiers, en les comparant aux engagements du prompt enregistrés sur la blockchain pour confirmer l'authenticité du contenu du prompt, sans modification. Si le prompt utilisé pour l'exécution ne correspond pas à l'engagement d'audit, la vérification échouera immédiatement, garantissant ainsi la transparence des actions et leur exécution fiable sans exposer le texte clair.

Dans le processus d'utilisation, les développeurs d'agents AI ou les développeurs d'applications de prompts AI peuvent utiliser zkTrace pour créer et définir le System Prompt, afin de s'assurer que le modèle exécute strictement les tâches selon les politiques et restrictions établies.

Après que le System Prompt a été initialisé et chargé dans le modèle, zkTrace générera automatiquement des engagements et des documents de preuve, et les soumettra au moteur de vérification sur blockchain. Ce processus enregistre complètement la trajectoire du prompt depuis l'entrée jusqu'à l'utilisation, garantissant que la preuve est traçable et non falsifiable.

Pour les utilisateurs finaux utilisant l'agent AI, ils peuvent à tout moment obtenir les engagements et les preuves correspondants au prompt du modèle actuellement exécuté et vérifier l'authenticité de l'utilisation des mots d'invite :

Est-ce toujours cohérent avec les paramètres définis par le développeur ?
A-t-il déjà été remplacé ou injecté de contenu malveillant pendant l'exécution ?

zkTrace garantit que la confiance dans le prompt ne dépend plus d'un hébergement centralisé ou d'un unique prestataire de services, mais établit une base de confiance pour les entrées du système qui soit vérifiable, auditable et non rétractable grâce à des preuves cryptographiques.

Exemple d'interaction zkTrace

zkTrace construit un mécanisme d'interaction fiable entre l'agent AI, le réseau de calcul hors chaîne, le DApp 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 AI.

Lorsque les développeurs d'agents AI définissent et soumettent le System Prompt via zkTrace, ce prompt sera traité de manière cryptée hors chaîne et générera des engagements, tout en liant l'initialisation de l'agent et le circuit de vérification correspondant, garantissant que le contenu des mots d'invite possède des propriétés non modifiables tout au long du système d'exécution. De plus, l'agent AI enregistrera les clés de vérification nécessaires dans le réseau de calcul hors chaîne de MetaArena pour les appels de vérification ultérieurs.

Lorsque le DApp initie un message ou une demande d'interaction, l'agent AI lit la demande et délègue l'exécution de la tâche aux nœuds de calcul hors chaîne. Pendant le processus d'exécution, l'utilisation et la configuration logique du prompt seront vérifiées par des mécanismes de preuve à divulgation nulle de connaissance, le chemin d'action 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 si le comportement provient strictement du prompt promis.

Le moteur de vérification sur blockchain de MetaArena est responsable de la correspondance et de la vérification des preuves à divulgation nulle de connaissance et des engagements pour confirmer la cohérence entre le contenu d'entrée et le comportement d'exécution. En cas de remplacement de mots d'invite, de déviation de stratégie d'exécution, etc., la vérification échouera immédiatement, empêchant efficacement les chaînes de comportements anormaux potentiels. Ce mécanisme garantit que le processus d'exécution de l'agent AI est entièrement aligné avec les paramètres initiaux, et qu'il possède une base de confiance transparente et vérifiable.

En collaborant avec des contrats intelligents et d'autres objets sur blockchain, MetaArena permet à l'agent AI d'exécuter des attributs de vérification publique, fournissant une sécurité élevée et une confiance structurée pour divers cas d'utilisation Web3.

Du point de vue des caractéristiques de capacité, zkTrace permet aux agents AI de disposer de :

  • Confidentialité des données : le contenu des mots d'invite n'a pas besoin d'être rendu public pour vérifier son authenticité, évitant la fuite d'informations sensibles.

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

  • Capacité de vérification distribuée : tout utilisateur ou tiers peut vérifier la cohérence de l'exécution, évitant la dépendance à une entité centralisée.

Basé sur les avantages des entrées fiables de zkTrace, la capacité peut naturellement s'étendre à la preuve d'inférence (réalisée par zkAction), vérifiant la fiabilité du chemin de raisonnement et des résultats de l'agent AI, garantissant que les sorties sont strictement basées sur des entrées légitimes.

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

Cadre de confiance du moteur de jeu AI Agent

MetaArena dans le domaine des jeux sur blockchain a été le premier à se concrétiser, lançant le composant AI Game Engine, permettant aux agents dans le jeu d'être contraints et audités par des mécanismes de preuve à divulgation nulle de connaissance. Les agents de jeu peuvent participer directement aux combats sur blockchain via des contrats intelligents, leurs actions étant vérifiées par zkTrace / zkAction, afin d'assurer l'équité, la véracité et la traçabilité des parties.

Dans ce système de moteur de jeu, les développeurs peuvent continuer à utiliser Unity, Cocos Creator, Unreal et autres moteurs de jeu natifs pour le développement, sans avoir à changer leur mode de création existant pour transférer le jeu vers un environnement d'exécution fiable sur blockchain. Les développeurs peuvent intégrer la couche d'état décentralisée de MetaArena via l'interface SDK, réalisant la gestion des états clés sur blockchain, y compris l'entrée des joueurs, les changements d'état, le passage de tours, et réaliser la vérification en temps réel via des preuves à divulgation nulle de connaissance.

Tout le contenu généré et le retour de tâche peuvent être traités par plusieurs agents AI (comme les agents de génération de contenu, les agents de jeu, les agents de test, etc.), réalisant une vérification automatisée et une optimisation dynamique de l'expérience de jeu.

Toutes les données générées pendant le jeu - y compris les entrées de commandes, les transitions d'état, les journaux d'actions 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 SDK de jeu ZK. Grâce à des circuits ZK (comme ZK Shuffle, circuits de légitimité d'action), il est possible d'assurer la randomité, l'équité et la cohérence des règles. Parallèlement, le moteur de vérification sur blockchain confirme publiquement la véracité des actions par le biais de mécanismes de vérification à divulgation nulle de connaissance, garantissant que le processus d'exécution du jeu soit non modifiable et totalement transparent.

Sur le plan du calcul et du stockage, MetaArena combine des composants d'optimisation des ressources, fournissant un soutien 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é de réponse dans des scénarios d'interaction à haut débit.

Enfin, cette infrastructure ne fournit pas seulement aux développeurs les ressources de calcul efficaces dont ils ont besoin, mais elle garantit également que chaque étape des opérations de jeu soit vérifiable, auditable et responsable grâce à un double mécanisme de vérification décentralisée et d'audit de comportement intelligent, établissant ainsi véritablement un écosystème de jeux AI sur blockchain équitable et fiable, efficacement éliminant la tricherie, la manipulation et l'exécution opaque.

Sécurité améliorée

Dans la construction de la piste des agents AI fiables, les solutions TEE sont largement adoptées en raison de leur 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 TEE soit une solution de confidentialité éprouvée et largement utilisée dans de nombreux domaines, il existe encore certaines limitations dans la construction d'agents AI fiables.

En fait, les solutions TEE dépendent généralement d'environnements de confiance et de services de gestion de clés fournis par des fournisseurs de matériel tels qu'Intel SGX et ARM TrustZone. Ce mécanisme de confiance centralisé fait que la sécurité du système dépend fortement de fournisseurs spécifiques, ce qui entraîne 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 TEE offre un environnement d'exécution isolé, ses capacités de protection de la vie privée des données demeurent insuffisantes. Par exemple, lors du transfert de données vers l'environnement TEE, des risques d'écoute peuvent survenir, et les attaquants externes pourraient également obtenir des informations sensibles via les interfaces d'interaction. En outre, la conception de TEE est principalement orientée vers des tâches de calcul prédéfinies, manquant de capacités d'ajustement dynamique. Les agents AI doivent souvent faire face à des tâches changeantes et à des contextes complexes, et cette architecture rigide est également difficile à adapter aux besoins réels.

En revanche, la solution d'exécution fiable à divulgation nulle de connaissance de MetaArena présente des caractéristiques de décentralisation, ne nécessitant pas de dépendre d'aucune entité centralisée, sa sécurité provenant d'un réseau de calcul distribué hors chaîne à grande échelle. Cela lui confère non seulement un avantage en termes de légèreté, mais également une supériorité notable en termes de scalabilité et de flexibilité dynamique, lui permettant de s'adapter plus efficacement aux divers scénarios d'application des agents AI. Que ce soit ChatGPT ou le modèle de langage DeepSeek, actuellement en forte hausse, MetaArena peut réaliser une compatibilité transparente. Il convient de mentionner que la solution MetaArena est entièrement basée sur la conception de la cryptographie ZK, se distinguant dans le domaine des solutions d'agents AI fiables.

Globalement, bien que la technologie AI évolue et se développe à un rythme incroyable, elle fait encore face à de nombreux défis pour atteindre une adoption complète en raison de limitations en matière de sécurité et d'éthique, ainsi que de considérations pratiques. En revanche, les agents AI semi-autonomes, qui équilibrent automatisation et supervision humaine, resteront la direction dominante du développement futur. Cela signifie également que les agents AI doivent progresser en termes de fiabilité et de vie privée avant une adoption à grande échelle, et MetaArena, avec sa solution cryptographique entièrement basée sur ZK, accélère ce processus, fournissant une base solide pour le développement des agents AI vers la prochaine étape, tandis qu'un nouveau financement établit également sa position de leader en tant qu'infrastructure de moteur AI fiable.

En tant qu'une des infrastructures d'exécution fiables à divulgation nulle de connaissance les plus importantes de l'ère AI, MetaArena est en train de "Make Agent Secure Again" !