Veridex trao cho các tác tử AI quyền hạn có giới hạn (bounded authority): kiểm tra chính sách xác định trước mỗi khoản thanh toán, danh tính ERC-8004, và một gói bằng chứng chống giả mạo cho mọi giao dịch. Dự án thứ ba trong Chương trình Tài trợ Xây dựng AI của GOAT.
Ba dự án trong Chương trình Tài trợ Xây dựng AI của GOAT, một mô hình đang hình thành – và đó là mô hình chúng tôi đã viết trước khi chương trình bắt đầu. Trong Từ Tác tử Tiêu chuẩn đến Tác tử Kinh tế, chúng tôi lập luận rằng thương mại tác tử tạo ra rủi ro trên bốn lớp: lý luận, ủy quyền, tin cậy và thanh toán. ThoughtProof, dự án đầu tiên của chúng tôi, đảm nhận lớp lý luận – xác minh suy nghĩ của tác tử trước khi nó hành động. Dự án hôm nay sẽ đảm nhận lớp tiếp theo.
Gặp gỡ @Veridex_Labs – lớp ủy quyền.
Vấn đề: không ai có thể an toàn để tác tử tiêu tiền thật
Các tác tử có thể gọi API thanh toán. Phần đó đã được giải quyết. Điều chưa được giải quyết là phần khiến các nhà vận hành mất ngủ: để một tác tử tự trị tiêu tiền thật, liên tục, mà không có con người giám sát từng giao dịch.
Một giới hạn chi tiêu không giải quyết được vấn đề. Giới hạn không ngăn được một tác tử bị tấn công prompt (prompt-injected) trả tiền cho kẻ tấn công trong ngân sách. Nó không ngăn được khoản thanh toán cho một bên đối tác bị trừng phạt. Nó không ngăn được cùng một hóa đơn bị thanh toán hai lần. Những thất bại đó không phải về số tiền tác tử có thể chi – mà là về những gì nó được phép làm, và ngày nay trách nhiệm đó hoàn toàn thuộc về nhà vận hành. Đó là rào cản lớn nhất giữa các bản demo tác tử và khối lượng giao dịch tác tử thực tế.
Như nhóm Veridex nói: khối lượng giao dịch tác tử chưa thực sự tồn tại vì rủi ro, chứ không phải vì năng lực.
Veridex mang đến điều gì
Veridex biến các tác tử AI thành các chủ thể kinh tế an toàn. Đó là sự kết hợp của hai thứ: một dây cương tác tử (agent harness) mà tác tử chạy bên trong, và một lớp thanh toán tác tử (agentic-payments layer) quản lý mọi giao dịch mà tác tử đề xuất.
Luồng hoạt động, từ đầu đến cuối trên GOAT Network:
- Một nhà phát triển đăng ký tác tử với danh tính ERC-8004 và thiết lập quyền hạn có giới hạn của nó: ngân sách, người nhận được phép, kênh thanh toán và chính sách.
- Tác tử hoạt động – nó suy luận về một nhiệm vụ, lập kế hoạch quy trình, truy cập dịch vụ trả phí và đề xuất thanh toán.
- Veridex kiểm tra đề xuất so với chính sách trước khi thực thi và trả về một trong ba kết luận: cho phép, chuyển lên để phê duyệt, hoặc từ chối.
- Nếu được cho phép, tác tử thanh toán qua x402, và việc thanh toán được xác nhận trên GOAT Network.
- Veridex ghi một gói bằng chứng chống giả mạo cho giao dịch – một biên lai mà nhà vận hành có thể kiểm tra sau.
- Tác tử lặp lại điều này qua các nhiệm vụ – khối lượng giao dịch liên tục, hoàn toàn có thể kiểm tra được sau khi thực hiện.
Kết quả là sự đảo ngược của sự đánh đổi hiện tại. Các nhà vận hành hiện phải chọn giữa các tác tử không thể động đến tiền và các tác tử mà họ không thể hoàn toàn tin tưởng giao tiền. Quyền hạn có giới hạn có nghĩa là tác tử giao dịch tự do bên trong khuôn khổ mà nhà vận hành đã vạch ra – và không thể hành động bên ngoài nó.
Lựa chọn thiết kế quan trọng: không có LLM trong đường dẫn tiền
Đây là quyết định định nghĩa Veridex, và đáng để suy ngẫm: quyết định ủy quyền tự nó là xác định (deterministic). Không có LLM trong đường dẫn tiền.
AI làm những gì AI giỏi – suy luận về các nhiệm vụ, lập kế hoạch quy trình nhiều bước, quyết định cái gì đáng trả tiền. Các lan can bảo vệ (guardrails) làm những gì lan can bảo vệ phải làm – áp dụng cùng một chính sách, cùng một cách, mọi lúc, dưới một hình thức có thể kiểm tra được. Trí thông minh xác suất dẫn dắt hoạt động; thực thi phi xác suất giới hạn nó.
Nếu bạn đã theo dõi công việc tài trợ xây dựng của chúng tôi, bạn sẽ nhận thấy điều này kết hợp một cách gọn gàng với dự án đầu tiên của chúng tôi như thế nào. @ThoughtProof_ai kiểm tra xem suy luận của tác tử có hợp lý không – một vấn đề xác minh, được trả lời bằng các mô hình độc lập. Veridex kiểm tra xem hành động của tác tử có nằm trong thẩm quyền của nó không – một vấn đề thực thi, được trả lời bằng chính sách xác định. Một bên kiểm tra suy nghĩ; bên kia giới hạn hành động. Cùng nhau, chúng tạo thành phòng thủ chuyên sâu cho nền kinh tế tác tử.
Đã xây dựng, mã nguồn mở và sẵn sàng triển khai
Veridex không phải là một đề xuất. Ngăn xếp đã được xây dựng và mã nguồn mở – 12 gói với khoảng 1.400 bài kiểm tra – với x402 và ERC-8004 đã được tích hợp và hệ thống đã được xác thực trên testnet. Các gói đã được xuất bản trên npm ngay hôm nay, bao gồm @veridex/agents (Agent Fabric – một runtime tác tử ưu tiên TypeScript với thanh toán, chính sách, danh tính và tin cậy gốc) và @veridex/agentic-payments (một SDK thanh toán đa giao thức hỗ trợ x402, UCP, ACP và AP2 với tính năng tự động phát hiện).
Và đây là chi tiết chúng tôi yêu thích: tất cả đều được thực hiện bởi một đội hai người với không một đồng vốn bên ngoài. Đó là hồ sơ nguồn lực của những nhà xây dựng dám làm.
Bởi vì các nguyên thủy GOAT đã được tích hợp, khoản tài trợ này chuyển đổi nhanh chóng: công việc phía trước là triển khai, không phải kỹ thuật giao thức mới. Thông qua chương trình, Veridex sẽ triển khai các tác tử thanh toán trong sản xuất trên GOAT Network – các tác tử tạo ra khối lượng giao dịch x402 liên tục, dựa trên mức sử dụng, với mọi khoản thanh toán được kiểm tra chính sách trước khi thực hiện và có bằng chứng sau đó.
Tại sao nó thuộc về GOAT Network
Nền kinh tế tác tử mà GOAT Network đang xây dựng chạy trên chính vòng lặp mà Veridex quản lý: các tác tử khám phá dịch vụ, thanh toán theo mức sử dụng qua x402, và xây dựng danh tiếng thông qua danh tính ERC-8004. Điều còn thiếu là lớp cho phép các nhà vận hành bật vòng lặp đó ở quy mô lớn mà không phải gánh chịu rủi ro vô hạn. Suy luận đã được xác minh. Giờ đây ủy quyền được thực thi – một cách xác định, có biên lai.
Hai trong bốn lớp, đã được bao phủ. Mô hình tiếp tục.
Chào mừng đến với hệ sinh thái, Veridex.
Khám phá Veridex: veridex.network · GitHub · npm
Đăng ký tham gia Chương trình Tài trợ Xây dựng AI của GOAT: goat.network/builder-program
Disclaimer
Bài viết này tham chiếu và liên kết đến các dự án và sản phẩm của bên thứ ba, bao gồm cả những sản phẩm được xây dựng bởi các đội trong Chương trình Tài trợ Xây dựng AI của GOAT. Những tham chiếu này chỉ được cung cấp cho mục đích thông tin. Một khoản tài trợ, một tính năng, một đề cập hoặc một liên kết không cấu thành sự chứng thực, khuyến nghị hoặc đảm bảo cho bất kỳ sản phẩm nào của bên thứ ba, và GOAT Network không chịu trách nhiệm đối với phần mềm, dịch vụ hoặc trang web của bên thứ ba.
Không có nội dung nào trong bài viết này là lời khuyên tài chính, đầu tư, pháp lý hoặc thuế. Tài sản kỹ thuật số và các ứng dụng onchain mang rủi ro, bao gồm khả năng mất tiền. Một số sản phẩm được mô tả ở đây đang ở giai đoạn đầu hoặc đang trong quá trình phát triển tích cực và có thể thay đổi, tạm dừng hoặc ngừng hoạt động. Luôn tự nghiên cứu (DYOR) và đánh giá rủi ro của riêng bạn trước khi sử dụng bất kỳ sản phẩm nào hoặc đưa ra bất kỳ quyết định tài chính nào.
