MetaArena là một bộ hạ tầng thực thi đáng tin cậy dành cho AI Agent và hệ thống tương tác phức tạp, được thiết kế đặc biệt để tăng tốc độ áp dụng AI trong các lĩnh vực như trò chơi, tài chính và nhiều lĩnh vực khác, thông qua việc xác thực không kiến thức để đảm bảo hành vi thông minh có thể xác minh, có thể kiểm toán và có thể mở rộng, mang lại trải nghiệm thông minh đáng tin cậy cho trò chơi trên chuỗi.

Là một trong số ít dự án hạ tầng hiện tại tập trung vào thực thi đáng tin cậy của AI trong bối cảnh trò chơi trên chuỗi, MetaArena gần đây đã thu hút sự chú ý trên thị trường và thành công hoàn thành một vòng tài trợ chiến lược mới. Vòng này có sự tham gia của nhiều tổ chức nổi tiếng, bao gồm IBC Group, Central Research, SEI Foundation (SEI Network), Sky Wee (Sky Ventures), Stratified Capital, Pacific Meta, LC Academy, Axia8, CIW, LucidBlue, IceTea Labs, ODIG, 12345678901, A1E Omega, v.v.

Vòng gọi vốn này không chỉ đại diện cho sự công nhận cao độ từ thị trường vốn đối với câu chuyện của MetaArena mà còn xác nhận thêm giá trị tiềm năng và vị thế chiến lược của MetaArena trong làn sóng nâng cấp tương tác thông minh trên chuỗi trong tương lai.

MetaArena, làm thế nào để làm cho AI Agent đáng tin cậy hơn

MetaArena bản thân là một cơ sở hạ tầng thực thi đáng tin cậy dựa trên cơ chế chứng minh không kiến thức, được thiết kế đặc biệt để cung cấp dịch vụ tính toán đáng tin cậy cho các trò chơi AI và các tình huống tương tác thông minh có yêu cầu thực thi có thể xác minh.

MetaArena bao gồm một mạng lưới tính toán ngoài chuỗi được tạo thành từ các nút tính toán phân tán, cùng với một động cơ xác thực trên chuỗi được triển khai trong môi trường đa chuỗi. Khi có nhiệm vụ thực thi đáng tin cậy trong mạng, MetaArena sẽ phân phối yêu cầu hành vi AI đến các nút tính toán ngoài chuỗi để thực hiện, và tạo ra chứng minh không kiến thức (ZKP) cho chúng, sau đó hoàn thành xác minh trên chuỗi. Thông qua cơ chế này, có thể đảm bảo rằng dữ liệu đầu vào, hành vi suy luận và kết quả thực hiện đều đáng tin cậy và không thể bị thay đổi. MetaArena đã được xác minh trong lĩnh vực trò chơi Web3 và hỗ trợ các trò chơi trên chuỗi do AI Agent điều khiển hoạt động hiệu quả, an toàn và có khả năng kiểm toán mà không cần phụ thuộc vào máy chủ tập trung.

Trong bản nâng cấp gần đây, MetaArena đã ra mắt một ngăn xếp thực thi đáng tin cậy hoàn toàn mới, thông qua zkTrace và zkAction để thực hiện xác minh tính nhất quán của đầu vào Prompt (Proof of Prompt) và tính tin cậy của hành vi suy luận (Proof of Inference), đảm bảo rằng AI Agent trong quá trình thực hiện có tính xác thực và bảo mật của từ khóa và đường đi suy luận.

Cần lưu ý rằng, mặc dù trên thị trường hiện có nhiều giải pháp cố gắng cung cấp môi trường hoạt động đáng tin cậy cho AI Agent, nhưng MetaArena là một trong số ít các giải pháp hoàn toàn dựa vào mật mã không kiến thức, không cần phần cứng chuyên dụng để đạt được thực thi đáng tin cậy.

zkTrace: Chứng minh tính đáng tin cậy của đầu vào Prompt

Trong mô hình AI Agent truyền thống, một vấn đề cốt lõi luôn không thể giải quyết: Làm thế nào để đảm bảo tính đáng tin cậy của Prompt?
Bao gồm nhưng không giới hạn:

  • Prompt có bị thay đổi trước hoặc trong quá trình thực hiện không?

  • Mô hình có thực sự tiến hành suy luận theo Prompt dự kiến không?

  • Có nguy cơ rò rỉ nội dung nhạy cảm trong Prompt không?

MetaArena thông qua mô-đun zkTrace cung cấp khả năng thực thi đáng tin cậy và có thể xác minh cho Prompt ở cấp độ tính toán, đảm bảo rằng Prompt giữ nguyên tính chính xác, nhất quán và bảo mật trong suốt vòng đời của nó; không cần tiết lộ nội dung gốc ra bên ngoài, là một thành phần cơ bản quan trọng để xây dựng AI Agent không tin cậy và logic ứng dụng phi tập trung.

zkTrace cung cấp dưới dạng SDK thân thiện với nhà phát triển, nền tảng của nó dựa trên cơ chế mã hóa mạnh mẽ và các nguyên lý ZK, bao gồm cam kết Pedersen / Poseidon / zkSNARKs (Plonk), và hợp tác sâu sắc với quy trình khởi tạo System Prompt.
Trong quá trình khởi tạo hệ thống, Prompt sẽ được sử dụng làm đầu vào, thông qua mạng lưới tính toán ngoài chuỗi để tạo ra cam kết mã hóa, và xây dựng ZKP tương ứng.

Các ZKP này có thể được bất kỳ người dùng hoặc bên thứ ba nào trích dẫn, bằng cách so sánh với cam kết Prompt đã lưu trữ trên chuỗi, để xác nhận nội dung Prompt là xác thực, không bị thay đổi. Nếu Prompt được sử dụng trong quá trình thực hiện không nhất quán với cam kết kiểm toán, việc xác minh sẽ ngay lập tức thất bại, qua đó đảm bảo tính minh bạch của hành vi và thực hiện đáng tin cậy mà không cần tiết lộ văn bản rõ.

Trong quy trình sử dụng, các nhà phát triển AI Agent hoặc các bên phát triển ứng dụng AI Prompt có thể sử dụng zkTrace để tạo và định nghĩa System Prompt, nhằm đảm bảo mô hình thực hiện nhiệm vụ theo đúng chính sách và hạn chế đã định.

System Prompt được khởi tạo và tải vào mô hình, zkTrace sẽ tự động tạo ra cam kết và tài liệu chứng minh cho nó, và gửi đến động cơ xác thực trên chuỗi. Quá trình này ghi lại đầy đủ quỹ đạo của Prompt từ đầu vào đến sử dụng, đảm bảo rằng chứng minh có thể truy xuất và không thể giả mạo.

Đối với người dùng cuối sử dụng AI Agent, họ có thể nhận được bất kỳ lúc nào cam kết và chứng minh của Prompt tương ứng với mô hình thực hiện hiện tại, và xác minh tính xác thực của việc sử dụng từ khóa:

Có còn giữ được tính nhất quán với những gì nhà phát triển đã thiết lập không?
Có bị thay thế hoặc chèn nội dung độc hại trong quá trình thực hiện không?

zkTrace đảm bảo rằng sự tin cậy của Prompt không còn phụ thuộc vào sự quản lý tập trung hoặc sự chứng thực từ một nhà cung cấp duy nhất, mà được xây dựng trên cơ sở tin cậy của hệ thống đầu vào có thể xác minh, có thể kiểm toán và không thể chối cãi thông qua chứng minh mật mã.

Ví dụ tương tác zkTrace

zkTrace xây dựng một cơ chế tương tác đáng tin cậy giữa AI Agent, mạng lưới tính toán ngoài chuỗi, DApp và hợp đồng thông minh, đảm bảo tính toàn vẹn và tính nhất quán của Prompt, cung cấp sự bảo đảm tin cậy có thể xác minh cho hành vi của mô hình AI.

Khi các nhà phát triển AI Agent định nghĩa và gửi System Prompt qua zkTrace, Prompt này sẽ được mã hóa xử lý ngoài chuỗi và tạo ra cam kết, đồng thời hoàn thành khởi tạo tác nhân và liên kết với mạch xác minh tương ứng, đảm bảo rằng nội dung từ khóa trong toàn bộ hệ thống hoạt động có thuộc tính không thể thay đổi. Đồng thời, AI Agent sẽ đăng ký khóa xác minh cần thiết vào mạng lưới tính toán ngoài chuỗi của MetaArena để phục vụ cho việc xác minh sau này.

Khi DApp phát động tin nhắn hoặc yêu cầu tương tác, AI Agent sẽ đọc yêu cầu và ủy quyền thực hiện nhiệm vụ đến các nút tính toán ngoài chuỗi. Trong quá trình thực hiện, việc sử dụng và cấu hình logic của Prompt sẽ được kiểm tra qua cơ chế chứng minh không kiến thức, đường đi hành vi sẽ được ghi lại và tạo ra tài liệu chứng minh có thể xác minh. Kết quả chứng minh sau đó sẽ trả về cho hợp đồng thông minh hoặc DApp, dùng để xác nhận ở cấp hợp đồng về việc hành vi có thực sự xuất phát từ Prompt đã được cam kết hay không.

Động cơ xác thực trên chuỗi của MetaArena chịu trách nhiệm kiểm tra và xác minh sự tương đồng giữa chứng minh không kiến thức và cam kết, để xác nhận tính nhất quán của nội dung đầu vào và hành vi thực hiện. Nếu có tình huống từ khóa bị thay thế, chiến lược thực hiện bị lệch, việc xác minh sẽ ngay lập tức thất bại, hiệu quả ngăn chặn chuỗi hành vi bất thường tiềm năng. Cơ chế này đảm bảo quy trình thực hiện của AI Agent hoàn toàn phù hợp với thiết lập ban đầu và có nền tảng đáng tin cậy có thể minh bạch và kiểm toán.

Thông qua sự phối hợp với hợp đồng thông minh và các đối tượng khác trên chuỗi, MetaArena giúp AI Agent thực hiện có các thuộc tính có thể xác minh công khai, cung cấp độ an toàn cao và sự tin tưởng có cấu trúc cho nhiều trường hợp sử dụng Web3.

Xét từ khía cạnh khả năng, zkTrace giúp AI Agent có:

  • Quyền riêng tư dữ liệu: Nội dung từ khóa không cần công khai vẫn có thể xác minh tính xác thực, tránh rò rỉ thông tin nhạy cảm.

  • Tính tin cậy và tính minh bạch: Chứng minh không kiến thức đảm bảo hành vi của mô hình không bị thay đổi ác ý.

  • Khả năng xác minh phân tán: Bất kỳ người dùng hoặc bên thứ ba nào cũng có thể xác minh tính nhất quán của việc thực hiện, tránh sự phụ thuộc vào các thực thể tập trung.

Dựa trên lợi thế đầu vào đáng tin cậy của zkTrace, khả năng có thể tự nhiên mở rộng đến Proof of Inference (được thực hiện bởi zkAction), xác minh tính tin cậy của đường đi và kết quả suy luận của AI Agent, đảm bảo rằng đầu ra được đưa ra dựa trên suy luận hợp pháp từ đầu vào.

Tổng thể mà nói, zkTrace đặc biệt phù hợp với các tình huống nhiệm vụ quan trọng, như liên quan đến thông tin nhạy cảm về tài chính, chính sách ràng buộc mạnh hoặc yêu cầu tuân thủ cao trong các nhiệm vụ quyết định thông minh, xây dựng nền tảng hoạt động an toàn và minh bạch cho thế hệ AI Agent không tin cậy tiếp theo.

Khung đáng tin cậy của động cơ trò chơi AI Agent

MetaArena đã tiên phong trong lĩnh vực trò chơi trên chuỗi, triển khai thành công mô-đun AI Game Engine, cho phép việc điều khiển các tác nhân trong trò chơi bị ràng buộc và kiểm toán bởi cơ chế chứng minh không kiến thức. Các đại lý trò chơi có thể trực tiếp tham gia vào các trận chiến trên chuỗi thông qua hợp đồng thông minh, hành vi của họ được xác minh qua zkTrace / zkAction, nhằm đảm bảo tính công bằng, tính xác thực và khả năng truy xuất của các ván đấu.

Trong hệ thống động cơ trò chơi này, các nhà phát triển có thể tiếp tục sử dụng các động cơ trò chơi gốc như Unity, Cocos Creator, Unreal, mà không cần thay đổi phương pháp sáng tạo hiện có để chuyển trò chơi sang môi trường chạy đáng tin cậy trên chuỗi. Các nhà phát triển có thể kết nối với lớp trạng thái phi tập trung của MetaArena thông qua giao diện SDK, thực hiện quản lý trạng thái chuỗi quan trọng bao gồm đầu vào của người chơi, biến đổi trạng thái, chuyển đổi vòng, và hoàn thành xác minh thông qua chứng minh không kiến thức trong thời gian thực.

Tất cả nội dung được tạo ra và phản hồi từ nhiệm vụ có thể được xử lý bởi nhiều AI Agent (như đại lý tạo nội dung, đại lý ván đấu, đại lý kiểm thử, v.v.), thực hiện xác minh tự động và tối ưu hóa trải nghiệm trò chơi động.

Tất cả dữ liệu phát sinh trong quá trình trò chơi - bao gồm đầu vào lệnh, chuyển trạng thái, nhật ký hành vi và kết quả tạo nội dung - sẽ được truyền đến mạng lưới tính toán ngoài chuỗi của MetaArena để xử lý và được tích hợp thành cấu trúc chứng minh có thể xác minh thông qua SDK trò chơi ZK. Với sự hỗ trợ của mạch ZK (như ZK Shuffle, mạch tính hợp lệ hành động), có thể đảm bảo tính ngẫu nhiên, tính công bằng và tính nhất quán của quy tắc. Đồng thời, động cơ xác thực trên chuỗi sẽ công khai xác nhận tính xác thực của mỗi hành vi thông qua cơ chế xác minh không kiến thức, đảm bảo rằng quá trình thực hiện trò chơi không thể bị thay đổi và hoàn toàn minh bạch.

Từ góc độ tính toán và lưu trữ, MetaArena kết hợp các thành phần tối ưu hóa tài nguyên, cung cấp hỗ trợ hiệu suất cao cho nhiều tác nhân (AIGC, QA kiểm thử Agent, dữ liệu nhận thức Agent, v.v.), đảm bảo hiệu quả thực hiện và ổn định phản hồi trong các tình huống tương tác có lưu lượng cao.

Cuối cùng, cơ sở hạ tầng này không chỉ cung cấp cho các nhà phát triển tài nguyên tính toán hiệu quả mà còn thông qua cơ chế xác minh phi tập trung + kiểm toán hành vi thông minh, đảm bảo mỗi bước thực hiện trò chơi đều có thể xác minh, có thể kiểm toán và có thể chịu trách nhiệm, từ đó thực sự xây dựng hệ sinh thái trò chơi AI trên chuỗi công bằng và đáng tin cậy, hiệu quả ngăn chặn gian lận, thay đổi và thực hiện bí mật.

An toàn hơn

Trong việc xây dựng AI Agent đáng tin cậy, giải pháp TEE được áp dụng rộng rãi nhờ vào môi trường cách ly được xây dựng bằng phần cứng, có khả năng bảo vệ quyền riêng tư dữ liệu và thực thi có thể xác minh ở một mức độ nhất định. Mặc dù TEE là một giải pháp quyền riêng tư đã được xác minh và được áp dụng rộng rãi trong nhiều lĩnh vực, vẫn còn một số hạn chế trong việc xây dựng AI Agent đáng tin cậy.

Thực tế, giải pháp TEE thường phụ thuộc vào các nhà cung cấp phần cứng như Intel SGX và ARM TrustZone để cung cấp môi trường đáng tin cậy và dịch vụ quản lý khóa. Cơ chế tin cậy tập trung này khiến tính an toàn của hệ thống phụ thuộc vào các nhà cung cấp cụ thể, mang lại rủi ro tập trung, Intel SGX đã từng nhiều lần bị phát hiện có lỗ hổng, đe dọa trực tiếp đến cơ sở đáng tin cậy của nó. Hơn nữa, dù TEE cung cấp môi trường chạy cách ly, khả năng bảo vệ quyền riêng tư dữ liệu của nó vẫn còn thiếu sót. Ví dụ, trong quá trình truyền dữ liệu đến môi trường TEE có thể gặp rủi ro nghe lén, trong khi kẻ tấn công bên ngoài TEE cũng có thể lấy thông tin nhạy cảm thông qua giao diện tương tác. Đồng thời, thiết kế của TEE chủ yếu hướng đến các nhiệm vụ tính toán đã được định nghĩa trước, thiếu khả năng điều chỉnh động. Trong khi AI Agent thường cần đối mặt với các nhiệm vụ thay đổi và bối cảnh phức tạp, cấu trúc cứng nhắc này cũng khó đáp ứng nhu cầu thực tế.

Ngược lại, giải pháp thực thi đáng tin cậy không kiến thức của MetaArena có tính chất phi tập trung, không cần phụ thuộc vào bất kỳ thực thể tập trung nào, tính an toàn của nó bắt nguồn từ cụm mạng tính toán phân tán và quy mô lớn ngoài chuỗi. Điều này không chỉ mang lại lợi thế nhẹ nhàng, mà còn rõ ràng vượt trội hơn TEE về khả năng mở rộng và linh hoạt động, cho phép nó thích ứng hiệu quả với các tình huống ứng dụng đa dạng của AI Agent. Dù là ChatGPT hay các mô hình ngôn ngữ lớn hiện đang tăng cao như DeepSeek, MetaArena đều có thể đạt được sự tương thích liền mạch. Đáng chú ý, giải pháp của MetaArena hoàn toàn dựa trên thiết kế mật mã ZK, nổi bật trong lĩnh vực giải pháp AI Agent đáng tin cậy.

Tổng thể mà nói, mặc dù công nghệ AI đang phát triển và lặp lại với tốc độ đáng kinh ngạc, nhưng dưới các hạn chế về các vấn đề an ninh và đạo đức, cũng như các cân nhắc về tính thực tiễn, AI Agent hoàn toàn tự động vẫn phải đối mặt với nhiều thách thức để đạt được sự phổ biến toàn diện. Ngược lại, AI Agent bán tự động do cân bằng giữa tự động hóa và giám sát con người vẫn sẽ là hướng đi chính trong tương lai. Điều này cũng có nghĩa là AI Agent cần có sự tiến bộ rõ rệt về đáng tin cậy và quyền riêng tư trước khi được áp dụng quy mô lớn, trong khi MetaArena nhờ vào giải pháp mật mã hoàn toàn dựa trên ZK đang thúc đẩy quá trình này, cung cấp nền tảng vững chắc cho sự phát triển của AI Agent trong giai đoạn tiếp theo, và vòng gọi vốn mới cũng đang đặt nền tảng cho vị thế dẫn đầu của nó như một cơ sở hạ tầng AI Engine đáng tin cậy.

Là một trong những cơ sở hạ tầng thực thi đáng tin cậy không kiến thức quan trọng nhất của thời đại AI, MetaArena đang hiện thực hóa “Make Agent Secure Again”!