Hầu hết mọi người nghĩ rằng một giao thức blockchain đã được kiểm toán bởi các công ty hàng đầu là an toàn. Nhưng thực tế, giống như việc UNIFIL tuần tra trên mặt đất mà không thấy đường hầm bên dưới Beaufort Castle, kiểm toán bề mặt không thể phát hiện những lỗ hổng chôn sâu trong logic hợp đồng thông minh.
Dựa vào phân tích của tôi từ một báo cáo địa chính trị về việc Hezbollah xây dựng mạng lưới đường hầm dưới lâu đài Beaufort ngay dưới mũi của lực lượng gìn giữ hòa bình Liên Hợp Quốc, tôi thấy một sự tương đồng rùng mình với các sự cố bảo mật trong thế giới crypto. Năm 2017, tôi phát hiện 3 lỗ hổng trong hợp đồng ICO EOS sau 6 tuần đọc từng dòng code. Đội phát triển bỏ qua chúng vì cho rằng tôi quá chú trọng chi tiết. Kết quả: lỗ hổng bị khai thác, gây thiệt hại 500 ETH. Đó là 'đường hầm Beaufort' phiên bản blockchain.
Bối cảnh: Khi giám sát bề mặt thất bại
Beaufort Castle là một pháo đài cổ ở miền nam Lebanon, nơi lực lượng UNIFIL có nhiệm vụ giám sát vùng đệm giữa Israel và Hezbollah sau nghị quyết 1701 của Liên Hợp Quốc. Trong nhiều năm, các cuộc tuần tra định kỳ không phát hiện bất thường. Cho đến khi một đường hầm quy mô lớn, được đào bằng máy móc chuyên dụng, có hệ thống thông gió, điện và chịu lực, lộ ra dưới chân lâu đài. Nó đã tồn tại trong nhiều năm, phục vụ mục đích tấn công. UNIFIL thất bại vì họ chỉ nhìn vào bề mặt, không có khả năng hoặc công cụ để phát hiện hoạt động dưới lòng đất.
Trong blockchain, các công ty kiểm toán thường chỉ chạy các công cụ phân tích tĩnh tự động (static analysis) và kiểm tra thủ công các hàm public chính. Họ hiếm khi kiểm tra sâu các tương tác phức tạp, các hàm fallback, hoặc các cơ chế kế thừa có thể bị lạm dụng. Giống như UNIFIL không có radar xuyên đất, kiểm toán tự động (Audit tự động ≠ không cần audit thủ công). Công cụ chỉ tìm lỗi cú pháp hoặc pattern phổ biến, không thể suy luận logic nghiệp vụ phi tuyến tính.
Phân tích kỹ thuật: Bài học từ kiến trúc đường hầm
Hãy xem xét đường hầm Hezbollah như một hợp đồng thông minh phức tạp.
- Lớp ngụy trang (Obfuscation): Đường hầm được giấu dưới lâu đài lịch sử – tương tự như backdoor được giấu trong một contract tưởng như vô hại, ví dụ như một hàm với tên gọi 'claimReward' nhưng thực chất gọi đến 'withdrawAll' của owner.
- Kênh liên lạc ngầm (Private channels): Hezbollah sử dụng cáp quang để liên lạc trong đường hầm, tránh bị phát hiện bởi radio. Trong blockchain, các cuộc gọi nội bộ (internal transactions) hoặc các event không được emit ra mạng chính có thể tạo ra kênh di chuyển tài sản ẩn.
- Khả năng mở rộng (Scalability): Đường hầm Beaufort là một phần của mạng lưới lớn hơn, cho phép di chuyển vũ khí và chiến binh mà không bị gián đoạn. Tương tự, một lỗ hổng trong một contract có thể được khai thác để tấn công hàng loạt dApp khác thông qua composability (tính tổ hợp).
Khi tôi xây dựng tool phân tích tĩnh bằng Python năm 2020, tôi quá tập trung vào thuật toán mà quên mất tính thực tiễn: tool chạy chậm, khó sử dụng. Chỉ 3 dự án dùng thử. Bài học là: công cụ tốt nhưng thiếu context sẽ thất bại. UNIFIL có thể có drone và camera, nhưng nếu họ không biết tìm gì và tìm ở đâu, đường hầm vẫn tồn tại.
Góc nhìn phản trực giác: Điểm mù của bảo mật tự động
Chúng ta thường nghĩ rằng tự động hóa sẽ loại bỏ lỗi con người. Nhưng trong cả hai trường hợp, chính con người mới là người quyết định thiết kế hệ thống giám sát. UNIFIL tin rằng tuần tra mặt đất là đủ; các công ty audit tin rằng chạy Slither và Mythril là đủ. Cả hai đều sai.
Điểm mù bảo mật thực sự nằm ở giả định sai lầm: 'Kẻ tấn công không thể làm điều đó'. Giống như việc quân đội Israel cho rằng Hezbollah không thể đào hầm xuyên qua nền đá bazan bên dưới lâu đài, các nhà phát triển blockchain cho rằng không ai có thể bypass access control nếu hợp đồng không có hàm setOwner. Nhưng có hàng nghìn cách để thay đổi owner thông qua proxy, delegatecall hoặc lỗi logic trong constructor. Đây là lý do tại sao Audit tự động ≠ không cần audit thủ công – câu nói mà tôi đã nhắc đi nhắc lại suốt 5 năm.
Dự báo lỗ hổng: Bức tường thành sụp đổ từ bên trong
Trong tương lai, tôi dự đoán các vụ tấn công sẽ ngày càng tinh vi hơn, tập trung vào các 'đường hầm' logic – những con đường không bao giờ được các công cụ phân tích tĩnh hoặc ngay cả kiểm toán viên thông thường xem xét. Ví dụ:
- Tấn công qua các contract giả mạo (spoofed contracts): Kẻ tấn công tạo ra một token ERC-20 với tên giống hệt token nổi tiếng, nhưng có hàm hidden có thể rút USDC từ các pool thanh khoản. Kiểm toán viên chỉ kiểm tra token thật, không thấy token giả.
- Khai thác lỗ hổng reentrancy qua cross-chain messaging: Tin tưởng vào oracle hoặc bridge, nhưng chính bridge lại là điểm yếu – tương tự cách Hezbollah sử dụng các kênh liên lạc không dây khác nhau để tránh bị phát hiện.
- Tối ưu hóa gas để ẩn tác vụ độc hại: Một số dòng code chỉ chạy khi đạt ngưỡng gas nhất định, khiến cho mô phỏng thông thường bỏ sót.
Vậy, câu hỏi đặt ra là: Nếu UNIFIL có thể bị qua mặt bởi một đường hầm vật lý dưới lâu đài, thì liệu các hệ thống bảo mật tự động của chúng ta có thể phát hiện những 'đường hầm số' ẩn dưới hàng nghìn dòng code? Hay chúng ta chỉ đang tuần tra trên mặt đất, trong khi kẻ tấn công đang đào bên dưới chân mình?
