Ngày 12/3/2026, một giao thức cho vay trên Arbitrum triển khai hợp đồng mới sau khi đội ngũ nhận được báo cáo kiểm toán từ một hệ thống AI mà họ tin dùng. Báo cáo chỉ vỏn vẹn 5 trang, không có mã minh họa, không có mô phỏng tấn công. Kỹ sư trưởng xác nhận và triển khai. 48 giờ sau, 2.400 ETH bị rút sạch. Khi tôi được mời điều tra, tôi mở tệp log của hệ thống đó và thấy dòng thông báo không thể rõ ràng hơn: "Không thể phân tích – thiếu dữ liệu đầu vào." Công cụ không nói "không có lỗi". Nó nói "tôi bỏ cuộc". Nhưng con người đã đọc nhầm thành "yên tâm". Sự im lặng trong báo cáo bảo mật không bao giờ là một kết luận. Nó là một điểm mù.
Vấn đề này không mới. Năm 2017, tôi phát hiện lỗ hổng reentrancy trong hợp đồng TokenHub sau hai tháng phân tích thủ công. Công cụ tự động đời đầu khi đó không bắt được vì nó không hiểu ngữ cảnh tích lũy trạng thái. Năm 2020, tôi gặp lỗi oracle giá trong LendFlow – một nền tảng cho vay 50 triệu USD TVL – khi nguồn dữ liệu dựa trên Uniswap v2 có thể bị thao túng chỉ bằng một giao dịch lớn. Công cụ phân tích tĩnh vẫn bỏ sót, bởi vì nó không mô phỏng được chiến lược tấn công cross-protocol. Giờ đây, năm 2026, chúng ta đang giao phó an ninh của hàng tỷ USD cho các mô hình ngôn ngữ lớn quét mã. Nhưng chúng mang theo vết nứt của quá khứ: hiểu cú pháp, không hiểu ý định.
Tôi tìm kiếm những điểm mù mà người khác bỏ qua. Trong vụ Arbitrum đó, sau khi phân tích bytecode và các giao dịch trên chuỗi, tôi tìm thấy lỗi nằm ở một hàm claimReward có vẻ vô hại. Hàm này được viết bởi chính mô hình AI, với câu lệnh cập nhật số dư không đúng thứ tự. Kẻ tấn công không cần dùng reentrancy kinh điển – chỉ cần gọi hàm hai lần trong cùng một khối thông qua một hợp đồng trung gian. Việc AI tạo ra lỗi này không có gì đáng ngạc nhiên. Tôi đã thấy lỗi tương tự trong mã do con người viết ở vụ StableYield năm 2022 – một lỗi logic mint/burn khiến 80 triệu USD TVL có nguy cơ sụp đổ. Điều khác biệt nằm ở thái độ xử lý.
Khi tôi hỏi đội ngũ phát triển: "Vì sao anh chị không chạy thêm một vòng kiểm tra thủ công?", họ trả lời: "AI đã quét rồi, kết quả sạch." Tôi mở hệ thống quét của họ, chạy lại trên cùng mã nguồn, và nhận được hai cảnh báo mức trung bình. Họ đã tắt tính năng cảnh báo vì "nhiều tiếng ồn". Từ DeFi sang NFT, bản chất rủi ro vẫn không đổi. Năm 2021, tôi kiểm toán ArtChain – sàn giao dịch NFT với khối lượng 10.000 ETH mỗi tháng. Hợp đồng royalty được viết trên framework phổ biến, nhưng địa chỉ người nhận bị hardcode sai khiến nghệ sĩ chỉ nhận 50% phí bản quyền. Hệ thống tự động không báo lỗi, vì hợp đồng vẫn chạy đúng logic của chính nó – một logic sai.
Đây là điểm mấu chốt: các công cụ kiểm toán tự động – dù truyền thống hay AI – đều so khớp mã với một tập mẫu lỗi đã biết. Chúng không phát hiện các lỗi logic cấp thiết kế, càng khó phát hiện các tương tác bất thường giữa nhiều hợp đồng. Trong vụ mới nhất, claimReward không vi phạm bất kỳ pattern nổi tiếng nào. Lỗi nằm ở thứ tự cập nhật biến và cách hàm này tương tác với một hợp đồng vault không nằm trong phạm vi kiểm toán. Khi tôi mô phỏng lại vụ tấn công bằng khung kiểm toán của mình – một bộ quy tắc tôi xây dựng từ 500 báo cáo lỗ hổng trước đó – lỗ hổng hiện ra rõ mồn một. Chỉ mất 20 phút.
Trong 5 năm qua, tôi duy trì một nguyên tắc: không bao giờ coi kết quả trống là "sạch". Số liệu mà tôi tổng hợp từ nhiều chiến dịch kiểm toán cho thấy 34% các lỗ hổng nghiêm trọng trong giao thức DeFi mới được phát hiện không phải bằng công cụ tự động, mà trong giai đoạn đánh giá thủ công – khi con người đặt câu hỏi "điều gì sẽ xảy ra nếu...". Công cụ tự động rất giỏi tìm ra những lỗi lặp lại. Nhưng nó không thể trả lời câu hỏi mang tính hệ thống: "Thiết kế này có phù hợp với mô hình thanh khoản của giao thức không?" Khi tôi phân tích sâu hơn, tôi nhận ra rằng 60% các vụ hack trong danh sách của tôi bắt nguồn từ một quyết định thiết kế tồi, không phải từ một dòng mã sai.
Theo dữ liệu tôi theo dõi từ đầu năm 2026, các vụ tấn công nhắm vào hợp đồng được tạo bởi AI chiếm khoảng 12% tổng số vụ – con số này dự kiến sẽ tăng khi ngày càng nhiều đội ngũ sử dụng AI để tiết kiệm chi phí. Nhưng điểm chung của các vụ này không phải là lỗi syntax. Mà là sự thiếu vắng một tầng kiểm tra độc lập. Trong khi đó, các giao thức có quy trình hai vòng kiểm toán – một vòng tự động, một vòng thủ công có chủ đích – giảm 47% rủi ro bị khai thác trong 90 ngày đầu sau khi ra mắt. Con số này không đến từ mô phỏng. Nó đến từ các vụ kiểm toán thực tế mà tôi đã chứng kiến.
Năm 2025, khi các quỹ ETF được chấp thuận và các định chế tài chính lớn tham gia, tôi cùng đội phát triển AuditFramework v2 – bộ quy tắc kiểm toán tự động hóa cho 20 loại hợp đồng phổ biến, tích hợp AI phát hiện mẫu lỗi từ 500 báo cáo trước. Chúng tôi ứng dụng nó vào NeuralSwap, một sàn giao dịch phi tập trung dùng AI để tối ưu hóa lệnh. Chúng tôi phát hiện 3 lỗi trong mô hình oracle AI có thể bị khai thác từ dữ liệu đầu độc. Lỗi không nằm trong hợp đồng Solidity, mà nằm trong dữ liệu huấn luyện. Kẻ tấn công có thể gửi một loạt giao dịch nhỏ nhằm làm lệch dữ liệu giá, khiến mô hình gợi ý một đường dẫn giao dịch bất lợi cho người dùng. Hệ thống kiểm toán AI của giao thức đó không thể tự phát hiện – bởi vì nó chính là nạn nhân của cùng một loại mù.
Nhìn lại chuỗi sự kiện, tôi nhận ra rằng thị trường đi ngang hiện tại là thời điểm nguy hiểm nhất. Khi giá không tăng, các đội ngũ tập trung vào việc cắt giảm chi phí, thuê những nhà kiểm toán rẻ hơn, dùng AI để thay thế con người. Họ tiết kiệm được 50.000 USD nhưng có thể mất toàn bộ TVL. Sự đánh đổi này không cân xứng. Trong 24 năm quan sát ngành, tôi chưa bao giờ thấy một vụ hack nào nói "tôi đến vì người ta không tiết kiệm đủ". Các kỹ sư trẻ từ Việt Nam thường hỏi tôi: "Chị có tin AI không?" Tôi trả lời: "Tôi tin vào quy trình." Cậu ấy im lặng. Tôi nghĩ cậu ấy đang hiểu ra rằng bảo mật không phải là chọn công cụ, mà là cách bạn vận hành công cụ đó.
Đây là điểm phản trực giác: càng tự động hóa quá trình kiểm toán, chúng ta càng tạo ra nhiều điểm mù. Khi tôi xem xét các giao thức sử dụng AI để viết hợp đồng, tôi nhận thấy một mô hình lặp lại: lập trình viên trẻ tin tưởng tuyệt đối vào mã AI tạo ra nhưng không đọc lại. Họ gặp những lỗi mà chúng ta từng thấy ở lập trình viên mới năm 2017: quên kiểm tra quyền, sử dụng tx.origin, không xử lý quá trình gọi ngoài an toàn. Một đồng nghiệp của tôi gọi đây là "sự tái sinh của lỗi cũ trong lớp áo mới". Tôi gọi đó là vết nứt từ quá khứ. Mỗi mô hình mới đều mang theo vết nứt từ quá khứ – và nhiệm vụ của chúng ta là nhìn thẳng vào vết nứt đó, trước khi kẻ khác chui vào.
Tôi không cho rằng vấn đề nằm ở AI. Vấn đề nằm ở sự lười biếng trong quy trình xác nhận. Một công cụ báo "không thể phân tích" không có nghĩa là nó thất bại; nó đang yêu cầu bạn cung cấp thêm dữ liệu, hoặc can thiệp thủ công. Nhưng trong văn hóa DeFi tốc độ cao, chúng ta coi sự im lặng là một lời khẳng định. Đây chính là điểm mù lớn nhất – không nằm trong mã nguồn, mà nằm trong quy trình vận hành. Từ DeFi sang NFT, bản chất rủi ro vẫn không đổi: con người luôn tìm cách rút ngắn các bước kiểm tra để kịp tiến độ. Và điều đó cũng không đổi.
Điều gì sẽ xảy ra khi một quỹ đầu tư lớn đọc báo cáo kiểm toán AI và tin rằng mọi thứ an toàn? Tôi đã thấy những con số biết nói: trong thị trường đi ngang hiện nay, tổng giá trị bị khóa trong DeFi đã tăng 18% kể từ tháng 1 – dấu hiệu cho thấy dòng tiền đang chờ đợi một tín hiệu. Nếu tín hiệu đó đến từ một báo cáo sai lầm, hậu quả sẽ không dừng lại ở 2.400 ETH. Nó có thể là một cuộc khủng hoảng niềm tin có hệ thống. Trong các buổi nói chuyện tại Warsaw, tôi thường nhắc lại một nguyên tắc đã cứu StableYield qua bear market 2022: không bao giờ thay thế sự phán xét bằng một dấu kiểm trên bảng điều khiển. Bảng điều khiển có thể báo xanh, nhưng hợp đồng vẫn có thể đỏ. Chúng ta không thể để các công cụ bảo mật ngày càng mạnh mẽ biến thành một loại thuốc an thần.
Lần tới khi một báo cáo kiểm toán trả về kết quả trống, hãy tự hỏi: vì sao nó trống? Không phải vì mã an toàn. Mà vì công cụ không đủ thông tin để kết luận. Trong một thị trường đi ngang, nơi mọi người đang chờ đợi tín hiệu, đừng để sự im lặng của công cụ trở thành tín hiệu sai lầm. Hãy tự hỏi một lần nữa: điều gì đang ẩn sau sự im lặng đó?
