Aztec dạy tôi rằng việc che giấu intent cũng nguy hiểm như việc che giấu giao dịch. Nhưng khi tôi nhìn vào bản đồ địa chính trị vùng Bab el-Mandeb hồi tháng 7/2024, tôi thấy một thứ còn nguy hiểm hơn: một giao thức phân tán không có bất kỳ zero-knowledge proof nào, nơi kẻ tấn công chỉ cần bắn một tên lửa giá 50.000 USD để làm tê liệt một tuyến đường thương mại trị giá 500 tỷ USD mỗi năm. Đây không chỉ là một cuộc xung đột quân sự – đây là một cuộc tấn công reentrancy vào chính hệ thống kinh tế toàn cầu.
Hồi tháng 7/2024, nhóm Houthi do Iran hậu thuẫn đã phong tỏa eo biển Bab el-Mandeb, một trong những điểm nghẽn chiến lược nhất hành tinh. Không phải bằng hạm đội hiện đại, mà bằng tên lửa chống hạm và UAV giá rẻ. Thị trường dự đoán Polymarket đưa ra xác suất 46% rằng một cuộc tấn công thành công sẽ xảy ra trước ngày 31/7. Con số đó khiến tôi giật mình – không phải vì nó cao, mà vì nó tự nó đã trở thành một force function: 46% là đủ để các hãng bảo hiểm tăng phí gấp 10 lần, đủ để các tàu container quyết định vòng qua mũi Hảo Vọng, và đủ để giá dầu Brent nhảy vọt thêm 5-7 USD/thùng. Đó chính là một oracle bị thao túng, nơi dữ liệu đầu vào (xác suất) tự điều chỉnh hành vi của các tác nhân trong hệ thống, tạo ra một vòng lặp phản hồi mà không một smart contract nào có thể kiểm soát.
Context: Kiến trúc của một cuộc tấn công layer-1
Bab el-Mandeb là một eo biển rộng 20 dặm nối Biển Đỏ với vịnh Aden, nơi 12% thương mại toàn cầu đi qua – bao gồm 4,8 triệu thùng dầu mỗi ngày. Về mặt kỹ thuật, đây là một "layer-1" vật lý của nền kinh tế thế giới. Nhóm Houthi, vốn kiểm soát bờ biển phía Tây Yemen, đã biến nó thành một mempool không được phép: bất kỳ tàu nào muốn đi qua đều phải chấp nhận rủi ro bị kiểm tra bởi một giao dịch độc hại (tên lửa). Iran đóng vai trò sequencer: cung cấp dữ liệu mục tiêu, tên lửa dẫn đường, và điều phối thời điểm tấn công. Mỹ với "Chiến dịch Prosperity Guardian" là validator, cố gắng xác thực từng tàu an toàn bằng cách bắn hạ tên lửa – nhưng mỗi lần xác thực tiêu tốn 2-4 triệu USD (một quả Standard-6). Đây là một cơ chế đồng thuận không hiệu quả về mặt chi phí, nơi chi phí xác thực vượt xa chi phí tấn công.
Tôi nhớ lại lần audit smart contract cho 0x năm 2017. Khi đó tôi phát hiện một lỗi overflow trong hợp đồng exchange – chỉ cần một giá trị nhỏ hơn zero cũng đủ để phá vỡ toàn bộ logic. Bab el-Mandeb cũng vậy: Houthi không cần đánh chìm tàu, chỉ cần tạo ra một mối đe dọa đủ lớn để phá vỡ giả định "đi lại tự do" của thị trường bảo hiểm và logistics. Đó là một lỗi trong thiết kế giao thức kinh tế toàn cầu: không có cơ chế dự phòng phi tập trung cho việc định tuyến lại dòng chảy thương mại khi một điểm nghẽn bị tấn công.
Core: Phân tích cấp độ giao thức và các trade-off
Hãy nhìn vào chi tiết kỹ thuật của cuộc phong tỏa này qua lăng kính của một người làm ZK. Nhóm Houthi sử dụng tên lửa chống hạm "Noor" và "Mande" – thực chất là phiên bản sao chép của tên lửa C-802 Trung Quốc, với tầm bắn 120-300 km. UAV tự sát Shahed-136 (do Iran cung cấp) có tầm bay 2.500 km, đủ để vươn tới Israel. Điểm chung: chúng đều hoạt động dựa trên dữ liệu mục tiêu từ vệ tinh và radar – nhưng nguồn dữ liệu đó lại đến từ Iran. Nếu coi hệ thống tấn công là một zk-rollup, thì Iran là sequencer tập trung duy nhất. Điểm yếu: nếu sequencer bị tấn công (tấn công mạng vào hệ thống chỉ huy của Iran), toàn bộ chain giao dịch (tên lửa) sẽ không được thực thi. Nhưng Mỹ lại không thể tấn công sequencer vì lo ngại leo thang chiến tranh trực diện với Iran. Đây là một trade-off kinh điển giữa bảo mật và phân quyền: hệ thống phòng thủ tập trung (Mỹ) phải đối mặt với hệ thống tấn công bán tập trung (Iran-Houthi).
Dựa trên kinh nghiệm audit SushiSwap năm 2020, tôi từng phát hiện lỗi tính phí trong công thức thanh khoản có thể gây thất thoát 200 ETH. Lỗi đó phát sinh vì nhóm phát triển không tính đến trường hợp biên (edge case) – khi thanh khoản cực thấp. Bab el-Mandeb cũng là một biên: khi eo biển bị phong tỏa, toàn bộ hệ thống logistics toàn cầu rơi vào trạng thái "thanh khoản cực thấp". Các tàu container không thể đi qua, tương đương với việc pool thanh khoản bị drained. Giải pháp thông thường (vòng qua Mũi Hảo Vọng) tương đương với việc gọi một hàm swap thông qua một router dài hơn – tốn thêm 10-15 ngày và 30% nhiên liệu. Không có ai thiết kế một "Uniswap V4 hooks" cho tuyến đường biển, cho phép các tàu tự động chọn lộ trình thay thế dựa trên dữ liệu thời gian thực về rủi ro. Thị trường bảo hiểm hàng hải vẫn hoạt động như một cơ chế tập trung thế kỷ 18, không có khả năng định giá rủi ro động dựa trên smart contract.
Tôi đã dành 6 tháng năm 2022 để deep-dive Celestia và modular blockchain. Một trong những bài học lớn nhất là: tách biệt execution, consensus và data availability giúp tăng khả năng chống kiểm duyệt. Bab el-Mandeb là một minh họa ngược: execution (vận chuyển hàng hóa) bị chặn bởi một tác nhân bên ngoài (Houthi), consensus (quyết định của các chủ tàu và công ty bảo hiểm) bị méo mó bởi oracle xác suất, và data availability (thông tin về vị trí tàu, rủi ro) không được xác thực phi tập trung. Nếu có một lớp data availability phi tập trung cho logistics hàng hải, nơi các cảm biến trên tàu ghi lại tọa độ và tình trạng, sau đó được xác thực bởi một mạng lưới oracle (ví dụ: Chainlink), thì các smart contract bảo hiểm có thể tự động điều chỉnh phí dựa trên rủi ro thực tế, thay vì dựa vào xác suất từ Polymarket có thể bị thao túng.
Contrarian: Điểm mù bảo mật mà không ai nói đến
Mọi người đều nói về khả năng quân sự của Houthi, nhưng tôi thấy một điểm mù quan trọng hơn: thị trường dự đoán Polymarket với xác suất 46% chính là một "price oracle" bị nhiễu bởi các tác nhân chiến lược. Trong một bài nghiên cứu ZK-NFT cho Aztec năm 2021, tôi phát hiện rằng việc tối ưu hóa proof size có thể giảm 30% chi phí gas, nhưng nếu proof không được tạo ra bởi một nguồn tin cậy, nó sẽ trở thành vũ khí. Tương tự, 46% đó không phải là sự thật khách quan. Nó có thể là kết quả của một số whale đặt cược lớn để đẩy xác suất lên cao, nhằm gây hoảng loạn thị trường và kiếm lời từ các vị thế short dầu hoặc long VIX. Hay nó có thể phản ánh kỳ vọng của giới đầu cơ về quyết định của Iran – nhưng không ai biết Iran thực sự nghĩ gì. Đây là một vector tấn công information warfare mới: thay vì hack cơ sở dữ liệu, bạn hack thị trường dự đoán để thao túng hành vi kinh tế thực.
Aztec dạy tôi rằng zero-knowledge proof có thể che giấu thông tin, nhưng cũng có thể được dùng để chứng minh tính xác thực của thông tin mà không tiết lộ nội dung. Trong trường hợp Bab el-Mandeb, nếu các bên liên quan (Mỹ, Iran, hãng tàu) có thể sử dụng zk-proof để chứng minh rằng một tàu đã đi qua an toàn mà không tiết lộ lộ trình cụ thể, thì thị trường bảo hiểm có thể hoạt động hiệu quả hơn nhiều. Nhưng thực tế, không ai làm điều đó. Thay vào đó, chúng ta có một cuộc chiến tranh thông tin kiểu cũ: Houthi đăng video tấn công lên Telegram để tạo hiệu ứng tâm lý, còn Mỹ thì phủ nhận. Sự thiếu minh bạch này làm tăng bất đối xứng thông tin và khiến thị trường hoảng loạn.
Takeaway: Dự báo cho ngành blockchain và hơn thế
Ai sẽ giải quyết vấn đề này? Các dự án blockchain hướng đến logistics, như ShipChain hay CargoX, vẫn còn quá nhỏ. Nhưng tôi tin rằng sự kiện Bab el-Mandeb sẽ tạo ra một cú hích: các công ty bảo hiểm hàng hải lớn (Lloyd's, Swiss Re) sẽ bắt đầu thử nghiệm parametric insurance trên blockchain, nơi thanh toán tự động dựa trên dữ liệu oracle từ các cảm biến tàu và dữ liệu xung đột. Các nền tảng như Chainlink sẽ phát triển mạng lưới oracle chuyên biệt cho địa chính trị, tích hợp dữ liệu từ vệ tinh, AIS (hệ thống nhận dạng tự động), và các nguồn open-source intelligence. Và thị trường dự đoán sẽ bị quản lý chặt hơn – hoặc ngược lại, được tích hợp vào cơ sở hạ tầng tài chính chính thống như một công cụ phòng ngừa rủi ro.
Aztec dạy tôi rằng lỗ hổng lớn nhất không nằm trong code, mà nằm trong thiết kế giao thức kinh tế. Bab el-Mandeb là một lỗ hổng như vậy. Và giống như mọi lỗ hổng khác, nó sẽ được khai thác cho đến khi ai đó viết một bản vá. Câu hỏi đặt ra: liệu bản vá đó có đến từ một cơ quan tập trung (Mỹ) hay từ một giao thức phi tập trung (blockchain)? Tôi đặt cược vào cái sau – nhưng chỉ khi cộng đồng blockchain bắt đầu nhìn nhận lại vai trò của mình trong việc xây dựng hạ tầng cho thế giới thực, thay vì chỉ chạy theo những câu chuyện NFT và memecoin. Eo biển Bab el-Mandeb đang dạy chúng ta một bài học về khả năng phục hồi (resilience) mà không một whitepaper nào có thể lường trước.