Tôi chạy một pipeline kiểm thử tự động cho zkEVM của Polygon vào tuần trước. 500 test case, 8 lỗi trong circuit arithmetization. Mỗi lỗi là một câu chuyện về sự không hoàn hảo của hệ thống phức tạp. Hôm nay, đọc báo cáo về AI Agent: tỷ lệ hoàn thành tác vụ phức tạp dưới 30%. Con số này không làm tôi ngạc nhiên. Nó giống như những gì tôi thấy trong audit hợp đồng thông minh: mỗi bước tăng thêm đều nhân lên xác suất thất bại. Nhưng điều thú vị là: blockchain có thể là giải pháp cho vấn đề này, hoặc ít nhất là một phần của nó.
Context: AI Agent trên blockchain – hứa hẹn và thực tế
AI Agent đang được tích hợp vào DeFi, DAO, và thậm chí cả Layer 2. Tự động giao dịch, quản lý thanh khoản, đề xuất governance – tất cả đều hứa hẹn giảm chi phí và tăng tốc độ. Nhưng nếu một Agent chỉ thành công 30% trong tác vụ phức tạp, thì việc giao phó tài sản hàng triệu USD cho nó là một canh bạc. Tôi đã từng phân tích hợp đồng Bancor v0.3 năm 2017, phát hiện lỗ hổng trong cơ chế định giá động. Lỗ hổng đó không phải do code xấu, mà do thiết kế không tính đến kịch bản thanh khoản thấp. Tương tự, AI Agent thất bại không phải vì mô hình yếu, mà vì thiếu cơ chế kiểm tra và dự phòng trong môi trường thực tế.
Blockchain cung cấp một lớp xác minh không thể thay đổi. Mỗi hành động của Agent có thể được ghi lại trên chain, và các smart contract có thể kiểm tra tính hợp lệ trước khi thực thi. Nhưng điều đó đặt ra câu hỏi: liệu zk-Rollup có thể giúp Agent “chứng minh” nó đã làm đúng mà không cần tiết lộ toàn bộ logic? Tôi đã thử nghiệm StarkNet alpha năm 2021, deploy một ứng dụng chuyển token ERC-20. Thời gian finality 10 phút, không phải 1 phút như quảng cáo. Bottleneck ở sequencer. Nhưng zk-proof vẫn là một hướng đi đầy hứa hẹn.
Core: Phân tích kỹ thuật – Tại sao Agent thất bại và zk có thể giúp gì?
Báo cáo chỉ ra rằng “tác vụ phức tạp” thường liên quan đến nhiều bước, nhiều ràng buộc, và tương tác kéo dài. Giả sử mỗi bước có độ chính xác 90%, một tác vụ 12 bước sẽ có tỷ lệ thành công 0.9^12 ≈ 28%. Đó là toán học cơ bản. Nhưng trong thực tế, lỗi còn đến từ “lost in the middle” – mô hình quên mất các hướng dẫn đầu tiên khi ngữ cảnh dài. Điều này tương tự như lỗi reentrancy trong smart contract: một lệnh gọi ngoài có thể thay đổi trạng thái giữa chừng, phá vỡ giả định của contract.
Blockchain có thể giải quyết vấn đề này bằng cách chia nhỏ tác vụ thành các bước có thể kiểm chứng trên chain. Mỗi bước là một giao dịch, và trạng thái được cập nhật một cách xác định. Nhưng điều này làm tăng chi phí gas. Đây là lúc zk-Rollup vào cuộc. Thay vì thực thi từng bước trên chain, Agent có thể tạo một zk-proof chứng minh rằng nó đã thực hiện đúng một chuỗi các bước. Proof này nhỏ hơn nhiều so với dữ liệu gốc, và có thể được xác minh nhanh chóng.
Tôi đã xây dựng một bộ 500 test case cho zkEVM của Polygon. Mỗi test case kiểm tra một ràng buộc trong circuit. Kết quả: 8 lỗi, chủ yếu do arithmetization không chính xác. Điều này cho thấy ngay cả zk-proof cũng không hoàn hảo. Nhưng nó cung cấp một lớp bảo đảm mà AI Agent đơn thuần không có: tính xác minh. Một Agent có thể claim nó đã hoàn thành tác vụ, nhưng nếu không có bằng chứng, bạn phải tin tưởng mù quáng. Với zk-proof, bạn có thể kiểm tra.
Contrarian: Góc nhìn phản trực giác – zk không phải là viên đạn bạc
Có một điểm mù trong câu chuyện này: zk-proof chỉ chứng minh rằng Agent đã chạy đúng thuật toán, nhưng không chứng minh thuật toán đó có đúng hay không. Nếu Agent sử dụng một mô hình AI không xác định, việc tạo zk-proof cho mô hình đó là cực kỳ khó khăn (và đang là chủ đề nghiên cứu). Ngoài ra, chi phí tạo proof cho các tác vụ phức tạp vẫn còn cao. Tôi đã đo thời gian tạo proof trên node Zcash năm 2020: overhead 40% so với tài liệu. Điều đó có nghĩa là Agent sẽ chậm hơn đáng kể.
Hơn nữa, “30%” đó có thể là con số trung bình. Trong các tác vụ đơn giản, AI Agent có thể đạt 90%+ . Vấn đề là các tác vụ phức tạp thường là những tác vụ có giá trị cao nhất. Nếu bạn xây dựng một Agent tự động quản lý khoản vay DeFi, một lỗi có thể dẫn đến thanh lý hàng triệu USD. Blockchain không thể ngăn Agent đưa ra quyết định sai, nó chỉ có thể ghi lại và cho phép kiểm tra sau. Do đó, “human-in-the-loop” vẫn là cần thiết, ít nhất là trong giai đoạn hiện tại.
Takeaway: Dự báo – Cuộc đua giữa AI và zk
Tôi tin rằng trong 2-3 năm tới, sẽ xuất hiện các framework kết hợp AI Agent với zk-proof. Các dự án như Modulus Labs, Giza đã bắt đầu. Nhưng câu hỏi lớn: liệu tốc độ cải thiện của AI (mô hình lớn hơn, chính xác hơn) có vượt qua tốc độ cải thiện của zk (proof nhanh hơn, rẻ hơn) không? Nếu AI đạt 90%+ trong tác vụ phức tạp, nhu cầu về zk-proof sẽ giảm. Nhưng nếu không, zk sẽ trở thành lớp bảo hiểm bắt buộc cho Agent tài chính.
Nhìn lại câu chuyện Terra/LUNA năm 2022: tôi đã phân tích 200 block trước khi crash, phát hiện 3 lần lệch giá >5% trong 30 phút cuối. Không có cơ chế fallback. Nếu có một Agent oracle với zk-proof, nó có thể cảnh báo sớm. Nhưng đó là kịch bản lý tưởng. Thực tế, công nghệ vẫn cần thời gian để trưởng thành. Tôi sẽ tiếp tục chạy test, viết code, và chia sẻ kết quả. Đó là cách duy nhất để biết chắc chắn.