MetaArena to zestaw zaufanej infrastruktury wykonawczej dla agentów AI oraz skomplikowanych systemów interakcji, zaprojektowany w celu przyspieszenia przyjęcia AI w różnych dziedzinach, w tym w grach i finansach, zapewniając weryfikowalność, audytowalność i skalowalność inteligentnych działań poprzez zerową wiedzę, co przynosi realne i wiarygodne doświadczenie inteligentne dla gier blockchain.

Jako obecnie jeden z nielicznych projektów infrastrukturalnych skoncentrowanych na zaufanym wykonywaniu AI w scenariuszu gier blockchain, MetaArena ostatnio zyskał dużą uwagę na rynku i pomyślnie zakończył nową rundę finansowania strategicznego. W tej rundzie wzięło udział wiele znanych instytucji, w tym 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 i inne.

Ta runda finansowania nie tylko reprezentuje wysokie uznanie rynku kapitałowego dla narracji MetaArena, ale także dodatkowo potwierdza potencjalną wartość i strategiczną pozycję MetaArena w nadchodzącej fali ulepszeń inteligentnych interakcji na łańcuchu.

MetaArena, jak uczynić AI Agenta bardziej zaufanym

MetaArena jest zestawem infrastruktury zaufanego wykonania z zerową wiedzą, zaprojektowanym specjalnie dla AI gier i inteligentnych interakcji, które wymagają weryfikowalnego wykonania, oferując usługi obliczeniowe o wysokim zaufaniu.

MetaArena zawiera sieć obliczeniową poza łańcuchem składającą się z rozproszonych węzłów obliczeniowych oraz silnik weryfikacji na łańcuchu wdrożony w środowisku wielołańcuchowym. Gdy w sieci pojawiają się zadania z zaufanym wykonaniem, MetaArena rozdziela prośby o działania AI do rozproszonych węzłów obliczeniowych poza łańcuchem i generuje dla nich dowody zerowej wiedzy (ZKP), a następnie kończy weryfikację na łańcuchu. Dzięki temu mechanizmowi można zapewnić, że dane wejściowe, działania rozumowania i wyniki wykonania są prawdziwe, zaufane i niepodrabialne. MetaArena zostało zweryfikowane w dziedzinie gier Web3 i wspiera działanie gier na łańcuchu napędzanych przez AI Agenta w sposób efektywny, bezpieczny i audytowalny, bez polegania na scentralizowanych serwerach.

W niedawnej aktualizacji MetaArena wprowadził nowy zaufany stos wykonawczy, przeprowadzając weryfikację zgodności wejścia Prompt (Proof of Prompt) i wiarygodności zachowań rozumowania (Proof of Inference) dzięki dwóm kluczowym zdolnościom zkTrace i zkAction, w sposób wykazujący, że AI Agent w trakcie wykonania działa zgodnie z rzeczywistością i tajemniczością.

Warto wspomnieć, że mimo obecności wielu rozwiązań na rynku, które próbują zapewnić zaufane środowisko wykonawcze dla AI Agentów, MetaArena jest jednym z nielicznych rozwiązań, które całkowicie polegają na kryptografii zerowej wiedzy, nie wymagając specjalnego sprzętu do realizacji zaufanego wykonania.

zkTrace: Dowód wiarygodności wejścia Prompt

W tradycyjnych modelach AI Agenta jedno kluczowe pytanie zawsze pozostaje bez odpowiedzi: jak zapewnić wiarygodność Prompt?
W tym zakresie, ale nie tylko:

  • Czy Prompt został zmieniony przed wykonaniem lub w trakcie jego realizacji?

  • Czy model rzeczywiście prowadził rozumowanie na podstawie przewidywanego Prompt?

  • Czy istnieje ryzyko wycieku wrażliwych treści w Prompt?

MetaArena zapewnia w warstwie obliczeniowej dla Prompt możliwości weryfikowalne i zaufane dzięki modułowi zkTrace, zapewniając, że Prompt zachowuje poprawność, spójność i prywatność przez cały cykl życia; nie wymaga ujawnienia jego oryginalnej treści na zewnątrz, stanowiąc ważny komponent w budowie zaufanych AI Agentów i logiki aplikacji zdecentralizowanych.

zkTrace jest dostarczany w formie przyjaznego dla dewelopera SDK, którego podstawa opiera się na silnych mechanizmach szyfrowania i prymitywach ZK, w tym Pedersen commitment / Poseidon / zkSNARKs (Plonk), i głęboko współpracuje z procesem inicjalizacji System Prompt.
Podczas inicjalizacji systemu Prompt będzie używany jako wejście, generując szyfrowane zobowiązania przez sieć obliczeniową poza łańcuchem, a także konstruując odpowiadające ZKP.

Te ZKP mogą być przywoływane przez dowolnego użytkownika lub trzeciego weryfikatora, porównując je z zobowiązaniami Prompt przechowywanymi na łańcuchu, w celu potwierdzenia prawdziwości treści Prompt i braku manipulacji. Jeśli używany Prompt nie zgadza się z zobowiązaniem audytowym, weryfikacja natychmiast się nie powiedzie, co zapewnia przejrzystość działań oraz niezawodne wykonanie bez ujawniania tekstu jawnego.

Jeśli chodzi o proces użycia, deweloperzy AI Agenta lub twórcy aplikacji AI Prompt mogą wykorzystać zkTrace do stworzenia i zdefiniowania System Prompt, aby zapewnić, że model ściśle wykonuje zadania zgodnie z ustalonymi zasadami i ograniczeniami.

Po zainicjowaniu i załadowaniu System Prompt do modelu, zkTrace automatycznie wygeneruje dla niego zobowiązania i dokumenty dowodowe, a następnie przekaże je do silnika weryfikacji w łańcuchu. Proces ten rejestruje pełną historię od momentu wprowadzenia do użycia, zapewniając, że dowody są śledzone i nie mogą być podrobione.

Dla końcowych użytkowników korzystających z AI Agenta, mogą oni w każdej chwili uzyskać zobowiązania i dowody odpowiadające aktualnemu modelowi wykonania Prompt oraz zweryfikować prawdziwość używanych słów kluczowych:

Czy nadal jest zgodne z ustaleniami dewelopera?
Czy zostało zastąpione lub wstrzyknięte złośliwe treści w trakcie wykonania?

zkTrace zapewnia, że zaufanie do Prompt nie jest już uzależnione od scentralizowanego zarządzania lub potwierdzenia przez pojedynczego dostawcę, lecz opiera się na dowodach kryptograficznych, budując weryfikowalny, audytowalny i niepodważalny system zaufania wejściowego.

Przykład interakcji zkTrace

zkTrace buduje niezawodny mechanizm interakcji między AI Agentem, siecią obliczeniową poza łańcuchem, DApp i inteligentnymi kontraktami, zapewniając integralność i spójność Prompt, dostarczając weryfikowalne zabezpieczenia zaufania dla zachowań modeli AI.

Gdy deweloper AI Agenta definiuje i przesyła System Prompt za pomocą zkTrace, ten Prompt zostanie zaszyfrowany i przetworzony poza łańcuchem, a następnie wygeneruje zobowiązania, jednocześnie kończąc inicjalizację agenta i powiązanie z odpowiednimi obwodami weryfikacyjnymi, co powoduje, że treść słów kluczowych ma cechy niepodrabialności przez cały czas trwania systemu operacyjnego. W międzyczasie AI Agent zarejestruje niezbędne klucze weryfikacyjne w sieci obliczeniowej MetaArena, aby umożliwić późniejsze wezwania do weryfikacji.

Gdy DApp wysyła wiadomość lub prośbę o interakcję, AI Agent odczyta żądanie i przekaże zadanie do wykonania do rozproszonych węzłów obliczeniowych. W trakcie wykonania użycie Prompt i konfiguracja logiczna będą weryfikowane przez mechanizm dowodu zerowej wiedzy, a ścieżka działań będzie rejestrowana i generowana jako weryfikowalny dokument dowodowy. Wynik dowodu następnie wraca do inteligentnego kontraktu lub DApp, aby potwierdzić na poziomie kontraktu, czy działanie wynikało ściśle z zobowiązanego Prompt.

Silnik weryfikacji na łańcuchu MetaArena odpowiada za dopasowanie i weryfikację dowodów zerowej wiedzy oraz zobowiązań, aby potwierdzić spójność treści wejściowej i działań wykonawczych. W przypadku wystąpienia sytuacji, w których słowa kluczowe zostały zastąpione, a strategie wykonawcze zmodyfikowane, weryfikacja natychmiast się nie powiedzie, skutecznie ograniczając potencjalne nieprawidłowe zachowania. Ten mechanizm zapewnia, że proces wykonawczy AI Agenta jest całkowicie zgodny z pierwotnymi założeniami i charakteryzuje się przejrzystą i audytowalną podstawą zaufania.

Dzięki współpracy z inteligentnymi kontraktami i innymi obiektami w łańcuchu, MetaArena umożliwia AI Agentowi wykonywanie działań o cechach publicznie weryfikowalnych, zapewniając wysokie bezpieczeństwo i strukturalne zaufanie dla różnych zastosowań Web3.

Z punktu widzenia cech zdolności, zkTrace umożliwia AI Agentowi:

  • Prywatność danych: Treści słów kluczowych nie muszą być publicznie ujawniane, aby potwierdzić ich prawdziwość, unikając wycieku wrażliwych informacji.

  • Wiarygodność i przejrzystość: Dowody zerowej wiedzy zapewniają, że zachowania modelu nie zostały złośliwie zmienione.

  • Zdolność do rozproszonej weryfikacji: Każdy użytkownik lub strona trzecia może weryfikować spójność wykonania, unikając zależności od zaufania do centralnych podmiotów.

Na podstawie zalet zaufanego wejścia zkTrace, zdolności mogą naturalnie rozszerzać się na Proof of Inference (realizowane przez zkAction), weryfikując wiarygodność ścieżek rozumowania AI Agenta i wyników, zapewniając, że wyjścia są ściśle oparte na legalnych wnioskach uzyskanych z wejść.

Ogólnie rzecz biorąc, zkTrace jest szczególnie odpowiedni dla krytycznych scenariuszy zadaniowych, takich jak te, które dotyczą wrażliwych informacji finansowych, rygorystycznych polityk lub wysokich wymagań zgodności, budując w ten sposób wysoko bezpieczną i przejrzystą podstawę operacyjną dla następnej generacji zaufanych AI Agentów.

Zaufany framework silnika gier AI Agenta

MetaArena jako pierwsza zrealizowała zastosowanie w dziedzinie gier na łańcuchu, wprowadzając komponent AI Game Engine, który umożliwia operacje agentów w grach, które mogą być kontrolowane i audytowane przez mechanizm dowodu zerowej wiedzy. Agenci gier mogą bezpośrednio uczestniczyć w walkach w łańcuchu w formie inteligentnych kontraktów, a ich działania są weryfikowane przez zkTrace/zkAction, aby zapewnić uczciwość, prawdziwość i możliwość śledzenia rozgrywek.

W tym systemie silnika gier, deweloperzy mogą kontynuować korzystanie z natywnych silników gier, takich jak Unity, Cocos Creator, Unreal, itp., do opracowywania, nie musząc zmieniać istniejących metod tworzenia, aby przenieść gry do zaufanego środowiska operacyjnego na łańcuchu. Deweloperzy mogą podłączyć się do zdecentralizowanej warstwy stanu MetaArena za pomocą interfejsu SDK, zarządzając kluczowym stanem na łańcuchu, w tym wejściem gracza, zmianami stanu, przełączaniem tur, i w czasie rzeczywistym dokonując weryfikacji za pomocą dowodów zerowej wiedzy.

Wszystkie generowane treści i informacje zwrotne z zadań mogą być przetwarzane przez wiele AI Agentów (takich jak agent generujący treści, agent rozgrywki, agent testowy itp.), umożliwiając automatyczną weryfikację i dynamiczną optymalizację doświadczeń w grach.

Wszystkie dane generowane w trakcie gry — w tym wejścia rozkazów, skoki stanu, dzienniki działań i wyniki generowania treści — będą przesyłane do sieci obliczeniowej MetaArena poza łańcuchem w celu przetwarzania i integrowane w strukturę dowodów weryfikowalnych przez ZK Game SDK. Dzięki ZK obwodom (takim jak ZK Shuffle, obwody legalności działań), można zapewnić losowość, uczciwość i spójność zasad. Jednocześnie silnik weryfikacji na łańcuchu potwierdza prawdziwość każdego działania poprzez mechanizm weryfikacji zerowej wiedzy, zapewniając, że proces wykonania gry jest niepodrabialny i całkowicie przejrzysty.

Na poziomie obliczeń i przechowywania, MetaArena łączy komponenty optymalizacji zasobów, zapewniając wsparcie o wysokiej wydajności dla wielu agentów (AIGC, agentów testowych QA, agentów analizy danych itp.), zapewniając wydajność wykonania i stabilność reakcji w scenariuszach interakcji o wysokim przezroczystości.

Ostatecznie ta infrastruktura nie tylko dostarcza programistom niezbędne zasoby obliczeniowe, ale także poprzez mechanizm walidacji decentralizowanej + audytów działań inteligentnych, zapewnia, że każdy krok operacji w grze jest weryfikowalny, audytowalny i odpowiedzialny, co rzeczywiście buduje uczciwy i zaufany ekosystem gier AI na łańcuchu, skutecznie eliminując oszustwa, manipulacje i tajne wykonania.

Lepsze bezpieczeństwo

W budowie zaufanego AI Agenta, rozwiązanie TEE jest szeroko stosowane z powodu izolowanego środowiska zbudowanego w oparciu o sprzęt, które w pewnym stopniu może zapewnić ochronę prywatności danych i weryfikowalność wykonania. Chociaż TEE jest sprawdzonym i szeroko stosowanym w wielu dziedzinach głównym rozwiązaniem prywatności, wciąż ma pewne ograniczenia w budowie zaufanego AI Agenta.

W rzeczywistości rozwiązania TEE zazwyczaj polegają na zaufanym środowisku i usługach zarządzania kluczami dostarczanych przez producentów sprzętu, takich jak Intel SGX i ARM TrustZone. Ta centralizowana mechanika zaufania sprawia, że bezpieczeństwo systemu w dużym stopniu zależy od konkretnego producenta, co rodzi ryzyko centralizacji. Intel SGX był wielokrotnie ujawniany jako mający luki, które bezpośrednio zagrażały jego zaufanej podstawie. Ponadto, mimo że TEE zapewnia izolowane środowisko wykonawcze, jego zdolności do ochrony prywatności danych są wciąż niedostateczne. Na przykład, podczas przesyłania danych do środowiska TEE mogą wystąpić ryzyka podsłuchu, a zewnętrzni napastnicy mogą uzyskać wrażliwe informacje za pośrednictwem interfejsów interakcji. Ponadto projekt TEE jest głównie skierowany na zdefiniowane wcześniej zadania obliczeniowe, brak mu zdolności do dynamicznego dostosowywania. A AI Agent zazwyczaj musi radzić sobie z zmieniającymi się zadaniami i złożonymi kontekstami, co sprawia, że taka sztywna architektura także nie spełnia rzeczywistych potrzeb.

W porównaniu, rozwiązanie MetaArena dotyczące zaufanego wykonania z zerową wiedzą ma cechy decentralizacji, nie polegając na żadnych centralnych podmiotach, a jego bezpieczeństwo pochodzi z rozproszonych, dużych sieci obliczeniowych poza łańcuchem. To nie tylko nadaje mu przewagę w lekkości, ale także wyraźnie przewyższa TEE pod względem skalowalności i dynamicznej elastyczności, co pozwala mu efektywniej dostosować się do zróżnicowanych scenariuszy zastosowania AI Agenta. Niezależnie od tego, czy jest to ChatGPT, czy obecnie zyskujący na popularności model językowy DeepSeek, MetaArena może osiągnąć bezproblemową zgodność. Warto wspomnieć, że rozwiązanie MetaArena jest całkowicie oparte na projektowaniu ZK w kryptografii, wyróżniając się w dziedzinie zaufanych rozwiązań AI Agenta.

Ogólnie rzecz biorąc, mimo że technologia AI nieustannie rozwija się w oszałamiającym tempie, w obliczu ograniczeń dotyczących bezpieczeństwa i etyki oraz praktycznych rozważań, w pełni autonomiczne AI Agenty wciąż napotykają wiele wyzwań w osiągnięciu powszechnej akceptacji. W porównaniu, półautonomiczne AI Agenty, ponieważ równoważą cechy automatyzacji i nadzoru ludzkiego, będą nadal głównym kierunkiem przyszłego rozwoju. Oznacza to również, że AI Agenty muszą poczynić postępy w zakresie zaufania i prywatności przed masowym przyjęciem, podczas gdy MetaArena przyspiesza ten proces dzięki w pełni opartym na ZK rozwiązaniom kryptograficznym, dostarczając solidną podstawę dla dalszego rozwoju AI Agentów w następnej fazie, a nowe finansowanie ustanawia jego wiodącą pozycję jako zaufanej infrastruktury silnika AI.

Jako jedna z najważniejszych infrastruktury zaufanego wykonania z zerową wiedzą w erze AI, MetaArena dąży do “Make Agent Secure Again”!