MetaArena là một cơ sở hạ tầng thực thi đáng tin cậy dành cho các tác nhân AI và các hệ thống tương tác phức tạp. Nó được thiết kế để đẩy nhanh việc áp dụng AI trong nhiều lĩnh vực, bao gồm trò chơi và tài chính. Thông qua xác minh không kiến ​​thức, MetaArena đảm bảo rằng hành vi thông minh có thể được xác minh, kiểm tra và mở rộng, mang lại trải nghiệm thông minh thực sự đáng tin cậy cho các trò chơi blockchain.

Là một trong số ít dự án cơ sở hạ tầng hiện đang tập trung vào việc triển khai AI đáng tin cậy trong các trò chơi blockchain, MetaArena gần đây đã thu hút sự chú ý đáng kể của thị trường và hoàn thành thành công một vòng gọi vốn chiến lược mới. Vòng gọi vốn này có sự tham gia của một số tổ chức uy tín, 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 và A1E Omega.

Vòng tài trợ này không chỉ thể hiện sự công nhận cao của thị trường vốn đối với câu chuyện của MetaArena mà còn xác minh 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 để AI Agents đáng tin cậy hơn

MetaArena là 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ế để cung cấp các dịch vụ điện 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 với các yêu cầu thực thi có thể xác minh.

MetaArena bao gồm một mạng lưới điện toán ngoài chuỗi gồm các nút điện toán phân tán và một công cụ xác minh trên chuỗi được triển khai trong môi trường đa chuỗi. Khi một tác vụ đáng tin cậy có sẵn trong mạng, MetaArena sẽ phân phối yêu cầu hành động AI đến các nút điện toán ngoài chuỗi để thực thi, tạo bằng chứng không kiến ​​thức (ZKP) cho tác vụ đó và sau đó xác minh chúng trên chuỗi. Cơ chế này đảm bảo rằng dữ liệu đầu vào, hành động suy luận và kết quả thực thi đều xác thực, đáng tin cậy và không thể giả mạo. MetaArena đã được triển khai thành công trong lĩnh vực trò chơi Web3 và hỗ trợ các trò chơi blockchain 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 dựa vào máy chủ tập trung.

Trong bản nâng cấp gần đây, MetaArena đã giới thiệu Trusted Execution Stack hoàn toàn mới, sử dụng hai khả năng cốt lõi là zkTrace và zkAction để xác minh tính nhất quán của đầu vào Proof of Prompt và độ tin cậy của hành vi Proof of Inference, nhằm đảm bảo tính xác thực và bảo mật của lời nhắc và đường dẫn suy luận của AI Agent trong quá trình thực thi theo cách có thể chứng minh được.

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

zkTrace: Bằng chứng độ tin cậy của đầu vào nhanh chóng

Trong các mô hình tác nhân AI truyền thống, một vấn đề cốt lõi vẫn chưa được giải quyết: làm thế nào để đảm bảo độ tin cậy của Lời nhắc? Điều này bao gồm, nhưng không giới hạn ở:

MetaArena cung cấp khả năng thực thi đáng tin cậy và có thể xác minh cho Prompt ở lớp tính toán thông qua mô-đun zkTrace, đảm bảo Prompt luôn chính xác, nhất quán và riêng tư trong suốt vòng đời. Không để lộ nội dung gốc ra bên ngoài, đây là một thành phần nền tảng quan trọng để xây dựng các tác nhân AI đáng tin cậy và logic ứng dụng phi tập trung.

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

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

Bất kỳ người dùng hoặc bên xác thực nào cũng có thể tham chiếu các ZKP này và so sánh với cam kết Prompt đã được chứng minh trên chuỗi để xác minh tính xác thực và khả năng chống giả mạo của nội dung Prompt. Nếu Prompt được sử dụng để thực thi không nhất quán với cam kết đã được kiểm toán, việc xác minh sẽ thất bại ngay lập tức, do đó đảm bảo tính minh bạch và thực thi đáng tin cậy mà không làm lộ văn bản thuần túy.

Về mặt sử dụng, các nhà phát triển AI Agent hoặc nhà phát triển ứng dụng AI Prompt có thể sử dụng zkTrace để tạo và xác định System Prompt nhằm đảm bảo rằng mô hình tuân thủ nghiêm ngặt các chiến lược và ràng buộc đã thiết lập để thực hiện các tác vụ.

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

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

Nó có còn phù hợp với cài đặt của nhà phát triển không? Nó có bị thay thế hoặc chèn nội dung độc hại trong quá trình thực thi không?

zkTrace đảm bảo rằng Prompt trust không còn phụ thuộc vào dịch vụ lưu trữ tập trung hay xác nhận từ một nhà cung cấp dịch vụ duy nhất, mà thay vào đó thiết lập nền tảng tin cậy có thể xác minh, kiểm tra và không thể chối cãi cho các dữ liệu đầu vào của hệ thống thông qua bằng chứng mật mã.

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

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

Sau khi nhà phát triển AI Agent định nghĩa và gửi Lời nhắc Hệ thống qua zkTrace, Lời nhắc sẽ được mã hóa ngoài chuỗi và một cam kết sẽ được tạo ra. Đồng thời, tác nhân được khởi tạo và liên kết với mạch xác minh tương ứng, đảm bảo nội dung của lời nhắc không thể thay đổi trong toàn bộ hệ điều hành. Hơn nữa, AI Agent sẽ đăng ký các khóa xác minh cần thiết với mạng máy tính ngoài chuỗi MetaArena cho các lệnh xác minh tiếp theo.

Khi một DApp khởi tạo một 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 nhiệm vụ thực thi cho một nút tính toán ngoài chuỗi. Trong quá trình thực thi, việc sử dụng và cấu hình logic của Prompt được xác minh bằng cơ chế chứng minh không kiến ​​thức. Đường dẫn hành vi được ghi lại và một tệp chứng minh có thể xác minh được tạo ra. Kết quả chứng minh sau đó được trả về hợp đồng thông minh hoặc DApp để xác nhận ở cấp độ hợp đồng xem hành vi có hoàn toàn bắt nguồn từ Prompt đã hứa hay không.

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

Bằng cách hợp tác với các hợp đồng thông minh và các đối tượng trên chuỗi khác, MetaArena cho phép thực thi AI Agent có các thuộc tính có thể xác minh công khai, mang lại tính bảo mật cao và sự tin cậy có cấu trúc cho nhiều trường hợp sử dụng Web3.

Về khả năng, zkTrace cho phép các tác nhân AI sở hữu:

Tận dụng lợi thế đầu vào đáng tin cậy của zkTrace, khả năng này có thể được mở rộng một cách tự nhiên sang Proof of Inference (được zkAction triển khai) để xác minh độ tin cậy của các đường dẫn và kết quả suy luận của AI Agent, đảm bảo rằng đầu ra được lấy hoàn toàn từ đầu vào hợp lệ.

Nhìn chung, zkTrace đặc biệt phù hợp với các tình huống quan trọng, chẳng hạn như nhiệm vụ ra quyết định thông minh liên quan đến thông tin nhạy cảm về tài chính, chính sách ràng buộc chặt chẽ hoặc yêu cầu tuân thủ cao, cung cấp nền tảng hoạt động minh bạch và bảo mật cao cho thế hệ tác nhân AI không cần tin cậy tiếp theo.

Khung tin cậy của Công cụ trò chơi AI Agent

Nhìn chung, zkTrace đặc biệt phù hợp với các tình huống quan trọng, chẳng hạn như nhiệm vụ ra quyết định thông minh liên quan đến thông tin nhạy cảm về tài chính, chính sách ràng buộc chặt chẽ hoặc yêu cầu tuân thủ cao, cung cấp nền tảng hoạt động minh bạch và bảo mật cao cho thế hệ tác nhân AI không cần tin cậy tiếp theo.

Khung tin cậy của Công cụ trò chơi AI Agent

MetaArena đã tiên phong trong việc triển khai trò chơi trên chuỗi bằng cách ra mắt thành phần AI Game Engine, cho phép hạn chế và kiểm tra hành động của các tác nhân thông minh trong trò chơi bằng cơ chế chứng minh không kiến ​​thức. Các tác nhân trò chơi có thể tham gia trực tiếp vào các trận đấu trên chuỗi thông qua hợp đồng thông minh, và hành vi của họ được xác minh thông qua zkTrace/zkAction để đảm bảo tính công bằng, xác thực và khả năng truy xuất nguồn gốc của các trận đấu.

Trong hệ sinh thái cô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 công cụ trò chơi gốc như Unity, Cocos Creator và Unreal Engine để phát triển, di chuyển trò chơi của họ sang môi trường thời gian chạy trên chuỗi đáng tin cậy mà không cần thay đổi phương thức tạo hiện có. Các nhà phát triển có thể truy cập lớp trạng thái phi tập trung của MetaArena thông qua giao diện SDK để quản lý các trạng thái chính trên chuỗi, bao gồm thông tin đầu vào của người chơi, thay đổi trạng thái và chuyển tiếp lượt chơi, đồng thời thực hiện xác minh theo thời gian thực bằng cách sử dụng bằng chứng không kiến ​​thức.

Mọi nội dung được tạo ra và phản hồi nhiệm vụ có thể được xử lý bởi nhiều tác nhân AI (chẳng hạn như tác nhân tạo nội dung, tác nhân trò chơi, tác nhân thử nghiệm, v.v.) để đạt được 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 được tạo ra trong quá trình chơi—bao gồm lệnh nhập, chuyển đổi trạng thái, nhật ký hành động và kết quả tạo nội dung—sẽ được truyền đến mạng máy tính ngoài chuỗi của MetaArena để xử lý và tích hợp vào một cấu trúc chứng minh có thể xác minh thông qua ZK Game SDK. Sử dụng các mạch ZK (chẳng hạn như ZK Shuffle và mạch xác thực hành động), tính ngẫu nhiên, công bằng và tính nhất quán của luật chơi được đảm bảo. Đồng thời, công cụ xác minh trên chuỗi sẽ công khai xác nhận tính xác thực và độ tin cậy của từng hành động thông qua cơ chế chứng minh không kiến ​​thức, đảm bảo quá trình thực thi trò chơi là bất biến và hoàn toàn minh bạch.

Ở cấp độ 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, tác nhân kiểm tra QA, tác nhân phân tích dữ liệu, v.v.), đảm bảo hiệu quả thực thi và tính ổn định của phản hồi trong các tình huống tương tác thông 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 nguồn lực điện toán hiệu quả mà họ cần, mà còn đảm bảo mọi bước vận hành trò chơi đều có thể xác minh, kiểm toán và chịu trách nhiệm thông qua cơ chế kép: xác minh phi tập trung và kiểm toán hành vi thông minh. Điều này thực sự thiết lập một hệ sinh thái trò chơi AI trên chuỗi công bằng và đáng tin cậy, đồng thời ngăn chặn hiệu quả gian lận, giả mạo và thực thi không minh bạch.

Bảo mật vượt trội

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

Trên thực tế, các giải pháp TEE thường dựa vào các môi trường đáng tin cậy và các dịch vụ quản lý khóa do các nhà cung cấp phần cứng như Intel SGX và ARM TrustZone cung cấp. Cơ chế tin cậy tập trung này khiến bảo mật của hệ thống phụ thuộc rất nhiều vào các nhà cung cấp cụ thể, gây ra các rủi ro tập trung. Intel SGX đã nhiều lần bị lộ các lỗ hổng bảo mật, đe dọa trực tiếp đến nền tảng đáng tin cậy của nó. Hơn nữa, mặc dù TEE cung cấp một môi trường hoạt động biệt lập, nhưng khả năng bảo vệ quyền riêng tư dữ liệu của chúng vẫn chưa đủ. Ví dụ: việc truyền dữ liệu đến môi trường TEE có thể gặp phải rủi ro nghe lén và những kẻ tấn công bên ngoài TEE cũng có thể lấy được thông tin nhạy cảm thông qua giao diện tương tác. Đồng thời, TEE chủ yếu được thiết kế cho các tác vụ tính toán được xác định trước và thiếu khả năng điều chỉnh động. Mặt khác, các tác nhân AI thường cần xử lý các tác vụ đa dạng và bối cảnh phức tạp, và kiến ​​trúc cứng nhắc này cũng khó đáp ứng các nhu cầu thực tế.

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

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

Là một trong những cơ sở hạ tầng thực thi đáng tin cậy không cần kiến ​​thức quan trọng nhất trong kỷ nguyên AI, MetaArena chính là "Bảo mật tác nhân trở lại"!