MetaArena è un'infrastruttura per l'esecuzione attendibile rivolta agli Agenti IA e ai sistemi di interazione complessi, progettata per accelerare l'adozione dell'IA in settori come i giochi e la finanza. Grazie alla verifica zero-knowledge, garantisce che i comportamenti intelligenti siano verificabili, auditabili e scalabili, offrendo ai giochi basati su blockchain un'esperienza intelligente autentica e affidabile.

Come progetto infrastrutturale leader che si concentra attualmente sulla scena dei giochi basati su blockchain e sull'esecuzione attendibile dell'IA, MetaArena ha recentemente attirato notevole attenzione sul mercato e ha portato a termine con successo un nuovo round di finanziamento strategico. Questo round è stato partecipato da diverse prestigiose istituzioni, tra cui 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, ecc.

Questo round di finanziamento non solo rappresenta un alto riconoscimento del mercato dei capitali nei racconti di MetaArena, ma verifica anche ulteriormente il potenziale valore e la posizione strategica di MetaArena nell'onda futura di aggiornamenti delle interazioni intelligenti on-chain.

MetaArena, come rendere gli AI Agent più fidati

MetaArena è essenzialmente un'infrastruttura di esecuzione fidata centrata sulla meccanica delle prove con conoscenza zero, progettata per fornire servizi di calcolo fidati per giochi AI e scenari di interazione intelligente che richiedono esecuzione verificabile.

MetaArena include una rete di calcolo off-chain composta da nodi di calcolo distribuiti e un motore di verifica on-chain distribuito in un ambiente multi-chain. Quando ci sono compiti di esecuzione fidata nella rete, MetaArena distribuisce le richieste di comportamento AI ai nodi di calcolo off-chain per l'esecuzione, generando prove con conoscenza zero (ZKP), successivamente completando la verifica on-chain. Attraverso questo meccanismo, è possibile garantire che i dati di input, i comportamenti di ragionamento e i risultati di esecuzione siano tutti veri, fidati e non modificabili. MetaArena è già stata verificata nel campo dei giochi Web3 e supporta il funzionamento efficiente, sicuro e auditabile dei giochi on-chain guidati da AI Agent senza dover dipendere da server centralizzati.

Nell'aggiornamento recente, MetaArena ha lanciato un nuovo stack di esecuzione fidata, verificando la coerenza dell'input del Prompt (Proof of Prompt) e l'affidabilità del comportamento di ragionamento (Proof of Inference) attraverso le due capacità core zkTrace e zkAction, garantendo in modo dimostrabile la veridicità e la riservatezza delle parole chiave e dei percorsi di ragionamento durante l'esecuzione dell'AI Agent.

Vale la pena notare che, sebbene attualmente sul mercato ci siano molte soluzioni che cercano di fornire un ambiente operativo fidato per gli AI Agent, MetaArena è una delle poche soluzioni che dipendono esclusivamente dalla crittografia a conoscenza zero, senza richiedere hardware speciale per realizzare esecuzioni fidate.

zkTrace: prova di fiducia dell'input del Prompt

In un modello tradizionale di AI Agent, una questione centrale non è mai stata risolta: come garantire la fiducia nel Prompt?
Inclusi ma non limitati a:

  • Il Prompt è stato manomesso prima o durante l'esecuzione?

  • Il modello ha effettivamente ragionato in base al Prompt previsto?

  • Esiste un rischio di fuga di contenuti sensibili nel Prompt?

MetaArena fornisce capacità di esecuzione fidata e verificabile per il Prompt a livello di calcolo tramite il modulo zkTrace, assicurando che il Prompt mantenga correttezza, coerenza e privacy durante l'intero ciclo di vita; senza dover esporre il suo contenuto originale, è un componente fondamentale per costruire AI Agent senza fiducia e logiche applicative decentralizzate.

zkTrace è fornito in una forma SDK amichevole per gli sviluppatori, basato su meccanismi di crittografia robusti e primitive ZK, inclusi impegni di Pedersen / Poseidon / zkSNARKs (Plonk), e collabora profondamente con il processo di inizializzazione del System Prompt.
Durante l'inizializzazione del sistema, il Prompt verrà utilizzato come input per generare impegni crittografici attraverso la rete di calcolo off-chain, e costruire il corrispondente ZKP.

Queste ZKP possono essere citate da qualsiasi utente o verificatore di terze parti, confrontando con gli impegni del Prompt on-chain per confermare la verità e l'integrità del contenuto del Prompt. Se il Prompt utilizzato nell'esecuzione non è coerente con l'impegno di audit, la verifica fallirà immediatamente, assicurando la trasparenza del comportamento e l'esecuzione affidabile senza rivelare il testo in chiaro.

Nel processo di utilizzo, gli sviluppatori di AI Agent o le parti di sviluppo di applicazioni AI Prompt possono utilizzare zkTrace per creare e definire il System Prompt, assicurando che il modello esegua i compiti rigorosamente secondo le politiche e le restrizioni stabilite.

Dopo che il System Prompt è stato inizializzato e caricato nel modello, zkTrace genererà automaticamente impegni e documenti di prova per esso, e li presenterà al motore di verifica on-chain. Questo processo registra completamente la traiettoria del Prompt dall'input all'uso, garantendo che la prova sia tracciabile e non falsificabile.

Per gli utenti finali che utilizzano AI Agent, possono accedere in qualsiasi momento agli impegni e alle prove del Prompt corrispondente al modello in esecuzione e verificare la veridicità dell'uso delle parole chiave:

È ancora coerente con le impostazioni stabilite dagli sviluppatori?
È stato sostituito o iniettato contenuto malevolo durante l'esecuzione?

zkTrace assicura che la fiducia nel Prompt non dipenda più dalla custodia centralizzata o dall'approvazione di un unico fornitore, ma stabilisca una base di fiducia per input di sistema verificabili, auditabili e non ripudiabili attraverso prove crittografiche.

Esempio di interazione zkTrace

zkTrace costruisce un meccanismo di interazione affidabile tra AI Agent, rete di calcolo off-chain, DApp e contratti intelligenti, garantendo l'integrità e la coerenza del Prompt, fornendo garanzie di fiducia verificabili per il comportamento dei modelli AI.

Quando gli sviluppatori di AI Agent definiscono e inviano il System Prompt tramite zkTrace, tale Prompt verrà elaborato e crittografato off-chain generando impegni, completando allo stesso tempo l'inizializzazione dell'agente e il binding dei circuiti di verifica corrispondenti, assicurando che il contenuto delle parole chiave abbia proprietà di non modificabilità durante l'intero sistema operativo. Allo stesso tempo, l'AI Agent registrerà le chiavi di verifica necessarie nella rete di calcolo off-chain di MetaArena per le future chiamate di verifica.

Quando il DApp invia un messaggio o una richiesta di interazione, l'AI Agent leggerà la richiesta e delega l'esecuzione del compito ai nodi di calcolo off-chain. Durante l'esecuzione, l'uso del Prompt e la configurazione logica saranno verificati tramite meccanismi di prova con conoscenza zero, e il percorso di comportamento sarà registrato e genererà documenti di prova verificabili. I risultati della prova vengono successivamente restituiti al contratto intelligente o al DApp, per la conferma a livello contrattuale che l'azione provenga rigorosamente dal Prompt impegnato.

Il motore di verifica on-chain di MetaArena è responsabile della corrispondenza e della verifica delle prove con conoscenza zero e degli impegni, per confermare la coerenza tra il contenuto di input e il comportamento di esecuzione. Se ci sono sostituzioni delle parole chiave, deviazioni nelle politiche di esecuzione, ecc., la verifica fallirà immediatamente, contenendo efficacemente potenziali comportamenti anomali. Questo meccanismo garantisce che il processo di esecuzione dell'AI Agent sia completamente allineato con le impostazioni iniziali e abbia una base fidata trasparente e auditabile.

Collaborando con contratti intelligenti e altri oggetti on-chain, MetaArena consente agli AI Agent di eseguire con proprietà verificabili pubblicamente, offrendo alta sicurezza e fiducia strutturata per vari casi d'uso Web3.

Dal punto di vista delle caratteristiche funzionali, zkTrace consente agli AI Agent di avere:

  • Privacy dei dati: il contenuto delle parole chiave non deve essere reso pubblico per verificare la veridicità, evitando la divulgazione di informazioni sensibili

  • Fiducia e trasparenza: le prove con conoscenza zero garantiscono che il comportamento del modello non sia stato manomesso in modo malevolo

  • Capacità di verifica distribuita: qualsiasi utente o terza parte può verificare la coerenza dell'esecuzione, evitando la dipendenza da entità centralizzate di fiducia

Basato sui vantaggi di input fidati di zkTrace, le capacità possono espandersi naturalmente a Proof of Inference (realizzato da zkAction), verificando la fiducia nei percorsi e nei risultati di ragionamento degli AI Agent, assicurando che l'output sia rigorosamente basato su inferenze derivate da input legittimi.

In generale, zkTrace è particolarmente adatto per scenari di missioni critiche, come quelli che coinvolgono informazioni finanziarie sensibili, politiche di forte vincolo o requisiti di alta conformità, costruendo una base operativa altamente sicura e trasparente per la prossima generazione di AI Agent senza fiducia.

Framework fidato per motori di gioco AI Agent

MetaArena ha già realizzato un'applicazione nel campo dei giochi on-chain, lanciando un componente AI Game Engine, che consente le operazioni degli agenti nel gioco di essere vincolate e auditate dai meccanismi di prova con conoscenza zero. Gli agenti di gioco possono partecipare direttamente ai combattimenti on-chain in modo contrattuale, le cui azioni sono verificate tramite zkTrace / zkAction, per garantire l'equità, la veridicità e la tracciabilità dell'incontro.

All'interno di questo sistema di motore di gioco, gli sviluppatori possono continuare a utilizzare motori di gioco nativi come Unity, Cocos Creator, Unreal, ecc., per sviluppare senza dover modificare i metodi di creazione esistenti per trasferire i giochi in un ambiente di esecuzione fidato on-chain. Gli sviluppatori possono connettersi allo stato decentralizzato di MetaArena tramite l'interfaccia SDK, realizzando una gestione degli stati chiave on-chain, inclusi l'input dei giocatori, le variazioni di stato, il cambio di turno, e completando la verifica in tempo reale tramite prove con conoscenza zero.

Tutti i contenuti generati e i feedback delle attività possono essere elaborati da più AI Agent (come agenti di generazione di contenuti, agenti di gioco, agenti di test, ecc.), realizzando la verifica automatica e l'ottimizzazione dinamica dell'esperienza di gioco.

Tutti i dati generati durante il gioco, inclusi input di istruzioni, transizioni di stato, registri di comportamento e risultati di generazione di contenuti, saranno trasmessi alla rete di calcolo off-chain di MetaArena per l'elaborazione e integrati in una struttura di prova verificabile tramite il ZK Game SDK. Con l'ausilio di circuiti ZK (come ZK Shuffle, circuiti di legalità delle azioni), è possibile garantire casualità, equità e coerenza delle regole. Inoltre, il motore di verifica on-chain conferma pubblicamente la veridicità di ogni azione attraverso meccanismi di verifica con conoscenza zero, assicurando che il processo di esecuzione del gioco sia non modificabile e completamente trasparente.

A livello di calcolo e archiviazione, MetaArena combina componenti di ottimizzazione delle risorse, fornendo supporto ad alte prestazioni per più agenti (AIGC, QA agent di test, agenti di insight dei dati, ecc.), garantendo efficienza di esecuzione e stabilità di risposta in scenari di interazione ad alto throughput.

Infine, questa infrastruttura non solo fornisce agli sviluppatori le risorse di calcolo efficienti necessarie, ma attraverso una doppia meccanismo di verifica decentralizzata + audit del comportamento intelligente, assicura che ogni operazione di gioco sia verificabile, auditabile e responsabile, costruendo così un ecosistema di gioco AI on-chain equo e fidato, eliminando efficacemente imbrogli, manomissioni ed esecuzioni opache.

Sicurezza migliorata

Nel costruire una pista di AI Agent fidati, le soluzioni TEE sono ampiamente adottate grazie all'ambiente isolato costruito tramite hardware, in grado di garantire in una certa misura la protezione della privacy dei dati e la verificabilità dell'esecuzione. Sebbene TEE sia una soluzione di privacy mainstream verificata e ampiamente utilizzata in vari settori, presenta ancora alcune limitazioni nella costruzione di AI Agent fidati.

Infatti, le soluzioni TEE dipendono solitamente da ambienti fidati e servizi di gestione delle chiavi forniti da produttori di hardware come Intel SGX e ARM TrustZone. Questo meccanismo di fiducia centralizzato rende la sicurezza del sistema altamente dipendente da produttori specifici, portando a rischi di centralizzazione; Intel SGX è stato precedentemente esposto per vulnerabilità, minacciando direttamente la sua base di fiducia. Inoltre, anche se TEE fornisce un ambiente di esecuzione isolato, la sua capacità di protezione della privacy dei dati rimane insufficiente. Ad esempio, durante il trasferimento dei dati nell'ambiente TEE, potrebbero sorgere rischi di intercettazione, e attaccanti esterni a TEE potrebbero anche ottenere informazioni sensibili tramite interfacce interattive. Allo stesso tempo, il design di TEE è principalmente orientato verso compiti di calcolo predefiniti, mancando di capacità di regolazione dinamica. Gli AI Agent devono generalmente affrontare compiti variabili e contesti complessi, e questa architettura rigida è difficile da adattare alle esigenze reali.

Rispetto a questo, lo schema di esecuzione fidata con conoscenza zero di MetaArena possiede caratteristiche di decentralizzazione, non richiedendo di dipendere da alcuna entità centralizzata, la cui sicurezza deriva da un cluster di rete di calcolo distribuito e su larga scala off-chain. Questo non solo conferisce un vantaggio di leggerezza, ma è anche chiaramente superiore a TEE in termini di scalabilità e flessibilità dinamica, rendendolo in grado di adattarsi in modo più efficiente a scenari applicativi diversificati dell'AI Agent. Sia ChatGPT che i grandi modelli di linguaggio attualmente in rapida crescita come DeepSeek possono essere compatibili senza soluzione di continuità con MetaArena. Vale la pena notare che lo schema di MetaArena è completamente basato su ZK crittografia, distinguendosi nel campo delle soluzioni per AI Agent fidati.

In generale, sebbene la tecnologia AI stia iterando e sviluppandosi a una velocità sorprendente, sotto le limitazioni relative a questioni di sicurezza ed etica, considerazioni pratiche e altro, un AI Agent completamente autonomo deve affrontare molte sfide per ottenere una diffusione completa. Al contrario, un AI Agent semi-autonomo, poiché bilancia le caratteristiche di automazione e supervisione umana, rimarrà la direzione principale dello sviluppo futuro. Questo implica anche che prima di un'adozione su larga scala, gli AI Agent devono compiere progressi significativi in termini di fiducia e privacy, e MetaArena, grazie alla sua soluzione crittografica completamente basata su ZK, sta accelerando questo processo, fornendo una base solida per lo sviluppo della pista AI Agent verso la prossima fase, mentre un nuovo finanziamento sta consolidando la sua posizione di leadership come infrastruttura fidata per AI Engine.

Come una delle infrastrutture di esecuzione fidata con conoscenza zero più importanti dell'era AI, MetaArena sta lavorando per 'Rendere di nuovo sicuri gli agenti'!