MetaArena hoàn thành một vòng tài trợ chiến lược mới, tăng tốc phát triển động cơ AI đáng tin cậy

Nguồn: Cointime Tiêu đề gốc: MetaArena Đảm bảo nguồn vốn chiến lược mới để tăng tốc phát triển động cơ AI đáng tin cậy Liên kết gốc: MetaArena là một hạ tầng thực thi đáng tin cậy được thiết kế cho AI Agent và các hệ thống tương tác phức tạp. Dự án này cam kết tăng tốc ứng dụng AI trong các lĩnh vực như trò chơi và tài chính, đả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 thông qua xác minh không biết, cung cấp trải nghiệm AI thực sự đáng tin cậy cho trò chơi blockchain.

MetaArena là một trong số ít các dự án cơ sở hạ tầng tập trung vào việc thực hiện AI đáng tin cậy trong các trò chơi blockchain, gần đây đã thu hút sự chú ý rộng rãi từ 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 tài trợ 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, Sky Ventures, Stratified Capital.

Vòng gọi vốn này không chỉ phản ánh sự công nhận mạnh mẽ của thị trường vốn đối với tầm nhìn của MetaArena, mà còn xác thực thêm giá trị tiềm năng và vị trí chiến lược của nó trong làn sóng nâng cấp tương tác thông minh trên chuỗi.

MetaArena: Xây dựng AI Agent đáng tin cậy

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 biết (ZKP), cung cấp dịch vụ tính toán có thể xác minh cho các trò chơi AI và các tình huống tương tác thông minh cần thực thi đáng tin cậy.

MetaArena bao gồm một mạng lưới tính toán ngoại tuyến với các nút phân tán và một động cơ xác minh trên chuỗi được triển khai trên nhiều chuỗi. Khi phát sinh các tác vụ thực thi đáng tin cậy, MetaArena sẽ phân phối yêu cầu hành vi AI đến các nút ngoại tuyến để thực hiện, tạo ra bằng chứng không biết (ZKP), sau đó được xác minh trên chuỗi. Cơ chế này đảm bảo rằng dữ liệu đầu vào, quá trình suy luận và kết quả thực thi đều là thật, đáng tin cậy và không thể bị giả mạo. MetaArena đã được xác minh trong lĩnh vực trò chơi Web3, cho phép các trò chơi blockchain do AI Agent điều khiển hoạt động hiệu quả, an toàn và có thể 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 mới. Thông qua 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 từ khóa (Proof of Prompt) và độ tin cậy của hành vi suy diễn (Proof of Inference), đảm bảo một cách có thể chứng minh tính xác thực và bảo mật của từ khóa và lộ trình suy diễn của AI Agent.

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

zkTrace: Chứng minh tính tin cậy của từ gợi ý nhập vào

Trong mô hình AI Agent truyền thống, có một vấn đề cốt lõi lâu nay chưa được giải quyết: Làm thế nào để đảm bảo tính đáng tin cậy của các từ gợi ý?

Điều này bao gồm nhưng không giới hạn ở:

• Có phải từ gợi ý đã bị sửa đổi trước hoặc trong khi thực hiện?
• Mô hình có thực sự suy diễn theo các từ gợi ý như mong đợi không?
• Có nguy cơ rò rỉ nội dung nhạy cảm trong từ gợi ý không?

MetaArena cung cấp khả năng thực thi có thể xác minh và đáng tin cậy cho các từ khóa qua mô-đun zkTrace ở tầng tính toán, đảm bảo rằng các từ khóa giữ được tính chính xác, nhất quán và riêng tư trong suốt vòng đời của chúng; không cần phải tiết lộ nội dung gốc ra bên ngoài. Đây là thành phần cơ bản quan trọng để xây dựng các AI Agent khô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. Thiết kế cơ bản của nó phụ thuộc vào cơ chế mã hóa mạnh mẽ và các nguyên lý ZK, bao gồm cam kết Pedersen, Poseidon và zkSNARKs (Plonk), và được tích hợp chặt chẽ với quy trình khởi tạo từ khóa hệ thống.

Trong quá trình khởi tạo hệ thống, các từ khóa được nhập vào mạng tính toán ngoài chuỗi để tạo ra cam kết mật mã và xây dựng ZKP tương ứng. Những ZKP này có thể được bất kỳ người dùng hoặc bên xác minh thứ ba nào tham chiếu, bằng cách so sánh chúng với cam kết từ khóa trên chuỗi, có thể xác nhận tính xác thực và trạng thái không bị can thiệp của từ khóa. Nếu từ khóa được sử dụng trong quá trình thực thi không khớp với cam kết đã kiểm toán, việc xác minh sẽ ngay lập tức thất bại, đảm bảo tính minh bạch và thực thi đáng tin cậy mà không cần tiết lộ văn bản rõ.

Trong thực tiễn, các nhà phát triển AI Agent hoặc các nhà phát triển ứng dụng từ khóa AI có thể sử dụng zkTrace để tạo và định nghĩa từ khóa hệ thống, đảm bảo mô hình thực hiện nhiệm vụ theo đúng chính sách và ràng buộc đã định. Khi từ khóa hệ thống được khởi tạo và tải vào mô hình, zkTrace tự động tạo ra các tài liệu cam kết và chứng minh, sau đó nộp lên động cơ xác minh trên chuỗi. Quá trình này ghi lại toàn bộ vòng đời của từ khóa từ đầu vào đến khi sử dụng, đảm bảo rằng các chứng minh là có thể truy xuất và không thể bị giả mạo.

Đối với người dùng cuối tương tác với AI Agent, họ luôn có thể truy cập vào cam kết và chứng minh của từ khóa tương ứng với mô hình đang thực thi, và xác minh tính xác thực của việc sử dụng từ khóa:

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

zkTrace đảm bảo rằng sự tin cậy của các từ gợi ý không còn phụ thuộc vào việc lưu trữ tập trung hoặc sự chứng thực của một nhà cung cấp dịch vụ duy nhất, mà được thiết lập thông qua các chứng minh mật mã, tạo ra một nền tảng tin cậy có thể xác minh, có thể kiểm toán và không thể chối cãi cho đầu vào của hệ thống.

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

zkTrace thiết lập một cơ chế tương tác đáng tin cậy giữa AI Agent, mạng tính toán off-chain, DApp và hợp đồng thông minh, đảm bảo tính toàn vẹn và nhất quán của các từ gợi ý, đồng thời cung cấp sự đảm bảo tin cậy có thể xác minh cho hành vi của mô hình AI.

Khi nhà phát triển AI Agent định nghĩa và gửi từ khóa hệ thống thông qua zkTrace, từ khóa sẽ được mã hóa ngoại tuyến, tạo ra một cam kết, đồng thời Agent được khởi tạo và liên kết với mạch xác thực tương ứng, khiến từ khóa có thuộc tính không thể thay đổi trong toàn bộ hệ thống. AI Agent cũng đăng ký các khóa xác thực cần thiết với mạng tính toán ngoại tuyến của MetaArena, để sử dụng cho các cuộc gọi xác thực sau này.

Khi DApp gửi tin nhắn hoặc yêu cầu tương tác, AI Agent đọc yêu cầu và ủy thác nhiệm vụ cho 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 từ khóa và logic được xác minh thông qua chứng minh không biết, và các hành vi được ghi lại để tạo ra tài liệu chứng minh có thể xác minh. Kết quả chứng minh sau đó được trả về hợp đồng thông minh hoặc DApp, xác nhận rằng thao tác này hoàn toàn xuất phát từ từ khóa đã cam kết.

Công cụ xác thực trên chuỗi của MetaArena chịu trách nhiệm kết hợp ZKP với cam kết, đảm bảo sự nhất quán giữa nội dung đầu vào và hành động thực thi. Nếu từ gợi ý bị thay thế hoặc chiến lược thực thi lệch lạc, việc xác thực sẽ ngay lập tức thất bại, hiệu quả ngăn chặn các chuỗi hành động bất thường tiềm ẩn. Cơ chế này đảm bảo rằng việc thực thi của AI Agent hoàn toàn nhất quán với thiết lập ban đầu, đồng thời cung cấp nền tảng minh bạch, có thể kiểm toán và đáng tin cậy cho các trường hợp sử dụng Web3 khác nhau.

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

Từ góc độ khả năng, zkTrace giúp AI Agent có được:

• Quyền riêng tư dữ liệu: Nội dung từ khóa có thể được xác minh mà không cần tiết lộ, tránh rò rỉ thông tin nhạy cảm.
• Độ tin cậy và tính minh bạch: Chứng minh không biết đảm bảo rằng hành vi của mô hình không bị can thiệp ác ý.
• Khả năng xác thực 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 thực tính nhất quán thực hiện, tránh phụ thuộc vào 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ể mở rộng một cách tự nhiên đến chứng minh suy diễn (thông qua zkAction), để xác minh tính xác thực của con đường suy diễn và kết quả của AI Agent, đảm bảo rằng đầu ra hoàn toàn xuất phát từ suy diễn đầu vào hợp pháp.

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

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

MetaArena lần đầu tiên hiện thực hóa trong lĩnh vực trò chơi blockchain, ra mắt thành phần động cơ trò chơi AI, thông qua cơ chế chứng minh không biết để ràng buộc và kiểm toán các hoạt động của Agent trong trò chơi. Agent trò chơi có thể tham gia chiến đấu trên chuỗi thông qua hợp đồng thông minh, hành vi được xác thực qua zkTrace/zkAction, đảm bảo tính công bằng, tính xác thực và khả năng truy xuất nguồn gốc.

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ơ gốc như Unity, Cocos Creator và Unreal mà không cần thay đổi quy trình làm việc hiện tại để di chuyển trò chơi lên môi trường chuỗi đáng tin cậy. Thông qua giao diện SDK, 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, quản lý các trạng thái chuỗi quan trọng bao gồm đầu vào của người chơi, thay đổi trạng thái và chuyển đổi lượt, và xác minh chúng theo thời gian thực thông qua chứng minh không kiến thức.

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

Tất cả dữ liệu được sinh ra trong quá trình chơi game - bao gồm lệnh nhập, chuyển trạng thái, nhật ký hành vi và kết quả sinh nội dung - được truyền đến mạng tính toán ngoài chuỗi của MetaArena để xử lý và được tích hợp vào 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 (như ZK Shuffle, mạch hợp lệ hóa hành động), đảm bảo tính ngẫu nhiên, công bằng và tính nhất quán của các quy tắc. Động cơ xác minh trên chuỗi công khai xác nhận tính xác thực của từng hành vi thông qua xác minh không biết, đảm bảo quá trình thực hiện trò chơi là không thể bị thao túng và hoàn toàn minh bạch.

Tại tầng 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 các kịch bản đa tác nhân (AIGC, Agent kiểm tra QA, Agent phân tích dữ liệu, v.v.), đảm bảo hiệu quả thực thi và tính ổn định phản hồi dưới 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 tài nguyên tính toán hiệu quả cho các nhà phát triển mà còn thông qua xác minh phi tập trung + kiểm toán hành vi thông minh, đảm bảo mỗi thao tác trong trò chơi đều có thể xác minh, có thể kiểm toán và có thể chịu trách nhiệm, xây dựng một 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, can thiệp và thực thi không minh bạch.

An ninh vượt trội

Trong việc xây dựng AI Agent đáng tin cậy, giải pháp TEE (Môi trường thực thi đáng tin cậy) được sử dụng rộng rãi nhờ vào môi trường cách ly phần cứng của nó, cung cấp một mức độ bảo vệ quyền riêng tư dữ liệu và thực thi có thể xác minh. Mặc dù TEE là giải pháp quyền riêng tư chính trong việc xác minh đa lĩnh vực, nhưng vẫn tồn tại những hạn chế trong việc xây dựng AI Agent đá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 tin cậy và 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 an ninh hệ thống phụ thuộc cao vào các nhà cung cấp cụ thể, tạo ra rủi ro tập trung. Intel SGX đã từng bị phát hiện có nhiều lỗ hổng, trực tiếp đe dọa đến nền tảng tin cậy. Hơn nữa, mặc dù TEE cung cấp một môi trường thực thi tách biệt, việc bảo vệ quyền riêng tư dữ liệu của nó vẫn còn hạn chế. Ví dụ, dữ liệu có thể bị chặn khi được truyền đến môi trường TEE, và kẻ tấn công bên ngoài có thể truy cập thông tin nhạy cảm thông qua giao diện tương tác. Thiết kế TEE chủ yếu nhắm đến các nhiệm vụ tính toán được xác định trước, thiếu khả năng thích ứng động, trong khi AI Agent thường xử lý nhiều nhiệm vụ và ngữ cảnh phức tạp, điều này rất khó để hỗ trợ cho kiến trúc cứng nhắc.

So với đó, giải pháp thực thi đáng tin cậy không biết của MetaArena là phi tập trung, không dựa vào bất kỳ thực thể tập trung nào. Độ an toàn của nó đến từ mạng tính toán phân tán quy mô lớn bên ngoài chuỗi. So với TEE, nó cung cấp những lợi thế nhẹ nhàng, khả năng mở rộng vượt trội và tính linh hoạt, có khả năng thích ứng hiệu quả với các ứng dụng AI Agent đa dạng. MetaArena hỗ trợ liền mạch các mô hình phổ biến như ChatGPT và DeepSeek. Đáng chú ý, giải pháp của MetaArena hoàn toàn dựa trên mật mã ZK, nổi bật trong lĩnh vực AI Agent đáng tin cậy.

Tổng thể, mặc dù công nghệ AI đang phát triển nhanh chóng, nhưng việc áp dụng đại trà AI Agent hoàn toàn tự chủ vẫn đang đối mặt với nhiều thách thức về an ninh, đạo đức và tính thực tiễn. Việc cân bằng giữa tự động hóa và giám sát của con người với AI Agent bán tự chủ vẫn là xu hướng chủ đạo. Điều này có nghĩa là trước khi áp dụng đại trà, AI Agent cần phải đạt được tiến bộ về niềm tin và quyền riêng tư, MetaArena với 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, tạo nền tảng vững chắc cho giai đoạn phát triển tiếp theo của AI Agent. Vòng gọi vốn mới nhất càng củng cố vị thế của nó như một cơ sở hạ tầng AI đáng tin cậy hàng đầu.