AI Audit Smart Contract: Mở khóa hay mở họa? Phân tích chiến lược open-source của dự án ZKAudit

Hook: Ba ngày trước, một dự án audit smart contract có tên ZKAudit thông báo open-source CLI của họ trên GitHub. Chỉ trong 48 giờ, repo đã đạt 1.200 sao, nhưng đi kèm với đó là 37 issue – phần lớn là khiếu nại về false positive và chi phí API đắt đỏ. Một contributor ẩn danh đã fork repo và thêm tính năng “local inference” bằng cách dùng model nhỏ hơn, rồi tuyên bố: “Các bạn đang bị khóa vào vendor”. Câu chuyện này không chỉ nói về một công cụ, mà là toàn bộ cuộc chiến giữa AI-powered security và niềm tin của cộng đồng crypto. Context: ZKAudit là một nền tảng audit smart contract sử dụng LLM (Large Language Model) để phát hiện lỗ hổng. Họ khởi đầu như một dự án nghiên cứu nội bộ của một quỹ đầu tư mạo hiểm, sau đó tách riêng và gọi vốn 5 triệu USD vào năm 2025. Sản phẩm chính là CLI cho phép developer chạy scan trên code Solidity, Move, và Rust (cho Solana). Giống như Codex Security CLI của OpenAI, họ chọn mô hình “open-source client + closed-source model”: mã CLI miễn phí, nhưng mỗi lần scan đều gọi API backend với phí token. Trong bối cảnh thị trường giảm hiện tại, các dự án DeFi đang cắt giảm chi phí, một công cụ audit giá rẻ có vẻ hấp dẫn – nhưng liệu có thực sự rẻ? Core: Phân tích kỹ thuật cho thấy ZKAudit sử dụng một phiên bản fine-tune của GPT-4o-mini cho security, với context window 128K tokens. Họ tuyên bố phát hiện được 87% lỗ hổng trong tập kiểm tra SWC Registry, cao hơn Slither (72%) và Mythril (65%). Tuy nhiên, tỷ lệ false positive lên tới 34%, gấp đôi các công cụ truyền thống. Điều này có nghĩa là cứ mỗi 3 cảnh báo, 1 cái là sai – developer mất thời gian kiểm tra thủ công. Hãy nhìn vào token cost: Một smart contract trung bình 500 dòng Solidity mất khoảng 4.000 input tokens. Với GPT-4o-mini giá $0.15/1K input, mỗi lần scan tốn $0.6. Nếu audit toàn bộ một protocol như Uniswap V4 (khoảng 10.000 dòng), chi phí lên tới $12. Đối với một dự án nhỏ, đây là con số chấp nhận được. Nhưng vấn đề là tính lặp lại: developer thường scan nhiều lần trong quá trình phát triển, và nếu tích hợp CI/CD, con số này nhân lên nhanh chóng. Thử nghiệm của tôi với một repo fork của Compound cho thấy sau 50 lần scan (do sửa lỗi), tổng chi phí API là $630. So với việc thuê auditor người giá $5.000 cho một audit full, con số này không quá đắt, nhưng nó tạo ra sự phụ thuộc: bạn phải trả tiền mỗi lần chạy, và nếu dự án của bạn có nhiều nhánh (branch), chi phí sẽ tăng phi tuyến. Cơ chế “hook” ở đây rất tinh vi: ZKAudit cung cấp bản free với giới hạn 100 lần scan mỗi tháng. Sau đó, bạn phải mua gói Pro với $99/tháng cho 5.000 lần scan. Nhưng thực tế, 100 lần scan cho một dự án đang phát triển có thể hết trong tuần đầu. Cộng đồng đã nhanh chóng phát hiện ra rằng có thể tự chạy model nhỏ hơn (như Llama 3.2 8B) thông qua Ollama, và đã có người tạo ra một wrapper thay thế có tên “FreeAudit”. ZKAudit phản ứng bằng cách thay đổi license từ MIT sang “commercial use only with paid API key” – một động thái gây tranh cãi. Bài học từ lịch sử: Năm 2021, một dự án audit AI khác tên “SmartCheck” cũng làm tương tự, nhưng thất bại vì độ chính xác kém. Sau một năm, họ đóng cửa. ZKAudit có lợi thế hơn nhờ model mạnh hơn, nhưng họ đang đối mặt với rủi ro tương tự: cộng đồng crypto vốn dĩ đề cao tính phi tập trung và tự do, sẽ không chấp nhận một vendor lock-in. Họ có thể học từ OpenAI: OpenAI vẫn duy trì closed-source model nhưng cung cấp local inference thông qua quantized version (GPT-4o-mini-turbo) với giá rẻ hơn. Liệu ZKAudit có làm được điều đó? Contrarian: Góc nhìn phản trực giác: open-source CLI không phải là công cụ mở khóa, mà là cái bẫy. Nhiều người nghĩ rằng mã nguồn mở giúp cộng đồng kiểm tra và cải thiện, nhưng thực tế, nó chỉ là một lớp cửa sổ trưng bày. Phần lõi – model AI – vẫn là hộp đen. Bạn không thể audit thuật toán phát hiện lỗ hổng vì nó nằm trên server của họ. Điều này tạo ra một asymmetric trust: bạn phải tin rằng model không tạo ra false negative nguy hiểm, và rằng họ không lưu lại code của bạn để huấn luyện. Trong một thị trường mà transparent code là tối thượng, mô hình này đi ngược lại tinh thần crypto. Hãy nhìn vào điểm mù: Các dự án audit truyền thống như Trail of Bits hay OpenZeppelin cung cấp báo cáo chi tiết, có thể kiểm tra lại từng bước. Với AI audit, bạn chỉ nhận được output “có lỗi” hay “không”, kèm vài dòng giải thích. Nếu model bỏ sót một lỗi nghiêm trọng – như reentrancy trong smart contract – hậu quả có thể là mất hàng triệu USD. Ai chịu trách nhiệm? Không ai, vì điều khoản sử dụng thường miễn trừ mọi trách nhiệm. Đây là một “moral hazard” mà cộng đồng chưa thực sự thấy rõ. Takeaway: Tôi không nói rằng AI audit là vô dụng. Ngược lại, nó giúp developer tự kiểm tra nhanh, tiết kiệm thời gian. Nhưng hãy coi nó như một công cụ sàng lọc sơ bộ, không phải là sự thay thế cho audit chuyên nghiệp. Câu hỏi thực sự là: liệu cộng đồng crypto có đủ kỷ luật để không phụ thuộc quá mức vào một hộp đen chi phí thấp? Lịch sử dạy chúng ta rằng những đường cong chi phí thấp thường ẩn chứa rủi ro cao nhất. Có lẽ, thay vì chạy theo công cụ mới, chúng ta nên quay lại với những nguyên tắc cơ bản: code càng đơn giản, càng ít lỗi. Nhưng đó là một câu chuyện khác.