CEO OpenZeppelin Tuyên Bố DeFi Không An Toàn: Mô Hình Kiểm Toán Vừa Chết
Manuel Aráoz, đồng sáng lập OpenZeppelin, đã nói với khán giả vào tuần trước rằng DeFi không còn an toàn nữa vì AI đã đạt đến trình độ siêu nhân trong việc tìm kiếm lỗ hổng hợp đồng thông minh. Công ty ông sáng lập chính là đơn vị viết ra các thư viện bảo mật mà một phần lớn Ethereum mặc định sử dụng. Khi CEO của OpenZeppelin tuyên bố DeFi không an toàn, cuộc tranh luận về mô hình kiểm toán coi như đã kết thúc.
Tôi đã theo dõi các báo cáo kiểm toán được công bố trong bốn năm tại LCX. Những báo cáo tốt thường dày đặc thông tin, tập trung vào phạm vi hẹp và trung thực về giới hạn của mình. Nhưng chúng cũng bị đóng băng tại một thời điểm nhất định. Giao thức bạn kiểm toán vào thứ Ba không phải là giao thức đang chạy vào thứ Sáu, khi quản trị cộng đồng triển khai thay đổi cấu hình, một phụ thuộc được nâng phiên bản, hay một oracle mới được kết nối vào. Luận điểm của Aráoz, được CoinDesk đưa tin, là phía tấn công trong sự bất cân xứng đó vừa được nâng cấp lên một bậc hoàn toàn khác.
Trong khi đó, hơn 1,1 tỷ đô la đã bị rút cạn khỏi các giao thức DeFi trong mười hai tháng qua. Con số này không phải là vấn đề của việc tìm lỗi. Đây là vấn đề thiết kế hệ thống.
Tại sao tuyên bố của CEO OpenZeppelin về sự không an toàn của DeFi lại quan trọng đến vậy
Aráoz không phải người ngoài ngành đang tranh thủ chỉ trích miễn phí. Ông là người đã góp phần xây dựng nên các chuẩn mực này.
Các mẫu ERC-20, ERC-721 và AccessControl mà hầu hết mọi giao thức nghiêm túc đều sử dụng đều bắt nguồn từ các thư viện của OpenZeppelin. Khi chính người đồng sáng lập đó nói rằng mô hình bảo mật đã bị phá vỡ, lời nói ấy mang trọng lượng hoàn toàn khác so với một bài đăng ngẫu nhiên trên Twitter. Cách diễn đạt của Manuel Aráoz về việc AI có khả năng tấn công siêu nhân gây tiếng vang chính vì người nói ra điều đó đã tự mình gánh chịu cái giá của mô hình cũ.
Một danh sách ngắn những gì thừa nhận này thực sự có nghĩa là:
- Các cuộc kiểm toán theo từng thời điểm không thể theo kịp tốc độ mà các tác nhân AI tìm ra các vector tấn công mới.
- Các động lực kinh tế phía kẻ tấn công hiện nay tăng theo năng lực mô hình, không phải theo số lượng kiểm toán viên.
- Ngay cả các codebase đã được kiểm toán bởi những công ty hàng đầu vẫn xuất xưởng các lỗ hổng có thể khai thác trong năm 2025 và 2026.
Mô hình kiểm toán DeFi đã lỗi thời từ năm 2026, không phải 2030
Mô hình kiểm toán dưới dạng PDF đã chịu áp lực từ trước. AI chỉ làm lộ rõ áp lực đó mà thôi.
Một cuộc kiểm toán Solidity truyền thống kéo dài một đến bốn tuần với sự đánh giá của con người, một báo cáo, và một hợp đồng phí cố định. Kết quả đầu ra chỉ là một ảnh chụp tại thời điểm nhất định. Trong khi đó, kẻ tấn công giờ đây có một tác nhân không biết mệt mỏi có thể fuzz, phát lại trạng thái mainnet, và so khớp với hàng nghìn lỗ hổng trong quá khứ mà không cần nghỉ giải lao. Đó chính là sự bất đối xứng mà Aráoz đang mô tả khi ông nói AI đang trở nên siêu việt trong lĩnh vực bảo mật tấn công.
Một ví dụ cụ thể gần đây: sự cố cấu hình sai DVN của LayerZero khiến Kelp DAO thiệt hại 292 triệu đô la không phải là một lỗi Solidity. Đó là sự trôi dạt cấu hình giữa trạng thái đã được kiểm toán và trạng thái đang vận hành. Không có cuộc kiểm toán PDF nào phát hiện được điều đó vào chiều thứ Sáu khi đội vận hành đẩy một thay đổi lên.
Tôi nghĩ cách diễn đạt rõ ràng nhất là: một cuộc kiểm toán cho bạn biết rằng code có thể an toàn vào ngày nó được xem xét. Nó không cho bạn biết hệ thống có an toàn ngay lúc này hay không.
Một trình quét lỗ hổng hợp đồng thông minh bằng AI thực sự thay đổi điều gì
Phía phòng thủ cũng đang chuyển động, chỉ là chậm hơn phía tấn công. Khoảng cách đó chính là toàn bộ vấn đề.
Mô hình hữu ích mà tôi đang thấy trong thực tế trông ít giống "thay thế kiểm toán viên" hơn mà giống "trao cho mọi giao thức một đối thủ liên tục":
- Các tác nhân AI tái fuzz bytecode đã triển khai sau mỗi hành động quản trị, không chỉ tại thời điểm triển khai.
- Các monitor bất biến theo dõi trạng thái trực tiếp và kích hoạt circuit breaker khi toán học bị lệch, không phải khi con người nhận ra trên Discord.
- Các nền tảng bug bounty được kết nối với các tác nhân tự động để nộp và phân loại phát hiện 24/7.
Forta, Cantina của Spearbit, và Defender của chính OpenZeppelin đã đi theo hướng này được vài năm nay. Sự chuyển dịch mà Aráoz đang báo hiệu là đây không còn là tầng cao cấp nữa. Đó là mức tối thiểu.
Bảo mật liên tục cho các giao thức DeFi, không phải kiểm tra định kỳ hàng năm
Phép so sánh tôi cứ nghĩ mãi là y tế. Một cuộc kiểm toán trước khi niêm yết giống như khám sức khỏe tổng quát. Bảo mật liên tục giống như máy theo dõi nhịp tim.
Trong tài chính có quy định, kiểm toán viên ký duyệt mỗi năm một lần, nhưng SIEM, WAF và hệ thống giám sát giao dịch chạy từng giây. DeFi áp dụng phần kiểm tra một năm một lần và bỏ qua phần giám sát trực tiếp, rồi tỏ ra ngạc nhiên khi hơn một tỷ đô la đi ra ngoài cửa. Bài học từ hai mươi năm bảo mật đám mây là: giám sát nuốt chửng kiểm toán ở mọi đồng đô la chi ra sau đồng đầu tiên.
Một vài thay đổi cụ thể tôi sẵn sàng đặt cược:
- Các công ty kiểm toán định vị lại thành nhà cung cấp giám sát liên tục có SLA, chứ không còn là cửa hàng giao báo cáo.
- Các công ty bảo hiểm định giá giao thức dựa trên dữ liệu đo từ xa bảo mật trực tiếp, không phải theo tài liệu PDF lần cuối.
- Các khung quản trị yêu cầu kích hoạt kiểm toán lại với bất kỳ thay đổi tham số nào vượt ngưỡng.
Không có gì là kỳ lạ ở đây. Web2 đã giải quyết được điều này từ một thập kỷ trước. DeFi chỉ đang đối mặt với phiên bản khó hơn vì code chính là két sắt ngân hàng.
Những gì các giao thức thực sự nên làm trong quý này
Nếu bạn đang vận hành một giao thức DeFi và đang đọc bài này, bài tập về nhà không hề mơ hồ:
- Ngừng coi tài liệu kiểm toán PDF là hiện vật bảo mật. Hãy coi nó là một đầu vào trong một quy trình.
- Kết nối các bộ giám sát với các bất biến bạn quan tâm: tỷ lệ thế chấp, độ lệch oracle, thay đổi vai trò quản trị, tỷ lệ dòng vào/ra của bridge.
- Thiết lập công tắc khẩn cấp mà bạn đã thực sự thử nghiệm. Một hàm tạm dừng chưa từng được kích hoạt trong diễn tập chỉ là vật trang trí.
- Chạy fuzzing dựa trên AI đối với các hợp đồng đã triển khai của bạn theo lịch định kỳ. Không phải một lần. Mãi mãi.
Những công ty thích nghi được sẽ trông giống Datadog hơn là một công ty kiểm toán Big Four. Những công ty không làm được điều đó sẽ trở thành tiêu đề báo tiếp theo với con số 200 triệu đô.
Đọc sâu hơn vào bình luận của Aráoz, ta thấy ngành bảo mật cuối cùng đã nói thẳng điều vốn được giữ im: stack của kẻ tấn công đã tích lũy nhanh hơn stack của người phòng thủ suốt hai năm qua, và khoảng cách nay đã đủ rộng để chính những người xây dựng stack phòng thủ phải thừa nhận điều đó.