37.5%.
Con số đó bước ra từ một prediction market trên Polymarket. Nó nói rằng xác suất Israel đóng cửa không phận trước ngày 31 tháng 8 là 37.5%. Một sự kiện địa chính trị cụ thể — tên lửa Iran bị đánh chặn trên bầu trời Eilat — được mã hóa thành một con số có thể giao dịch được. Như một DeFi auditor, tôi không thể không nhìn vào con số đó như một dòng code. Nó có được kiểm thử chưa? Oracle nào nuôi dưỡng nó? Và nếu nó sai, ai sẽ mất tiền? Prediction market là smart contract không code — logic được viết bởi đám đông, và mỗi lỗi logic là một cơ hội khai thác.
Context
Polymarket, Manifold — những nền tảng này cho phép bất kỳ ai đặt cược vào kết quả tương lai. Cơ chế vận hành dựa trên một tập hợp các oracle: người dùng báo cáo kết quả thực tế, token hóa niềm tin, và hợp đồng thông minh phân phối tiền thắng. Không có code audit cho mỗi thị trường — chỉ có một template chung, và mỗi sự kiện là một instance riêng với bộ dữ liệu đầu vào riêng. Sự kiện Eilat, với thông tin vỏn vẹn từ Crypto Briefing — một nguồn tin thuộc về crypto media, không phải Reuters hay AP — đã được đưa vào chuỗi. Dữ liệu đầu vào không được xác thực, giống như một hàm Solidity chấp nhận calldata từ bất kỳ ai mà không kiểm tra độ dài.
Tôi đã từng audit một giao thức oracle cho KyberNetwork vào năm 2017. Lúc đó, lỗ hổng nằm ở chỗ dữ liệu giá từ ngoại vi không được xác thực chữ ký. Bây giờ, vấn đề tương tự xuất hiện trên một tầng cao hơn: không phải giá token, mà là sự thật về một vụ nổ. Nếu một oracle báo cáo sai vì lý do chính trị hay kỹ thuật, thị trường sẽ thanh lý sai, và người thua không thể gọi revert() được.
Core
Hãy phân tích sự kiện Eilat như một bài audit. Tôi xây dựng một framework kiểm tra gồm ba lớp:
Lớp 1: Nguồn gốc dữ liệu (Data Provenance). Bài báo gốc — Crypto Briefing, ngày hiện tại, mô tả "Explosions over Eilat linked to intercepted Iranian missiles". Không xác nhận từ nguồn độc lập. Không video, không tọa độ. Chỉ có một đoạn tin và một prediction market đã phản ứng. Đây giống như một giao thức DeFi nhận giá từ một oracle duy nhất — centralized oracle problem. Nếu tôi là auditor, tôi sẽ tag lỗi này là "Low Data Integrity". Rủi ro: nếu tin giả, thị trường đặt cược sai sẽ chết.
Lớp 2: Giả định về vũ khí (Technical Assumptions). Bài báo nói "intercepted Iranian missiles" nhưng không nói loại tên lửa: đạn đạo, hành trình, hay UAV? Mỗi loại có ý nghĩa khác nhau về khả năng phòng thủ, về chi phí chặn, về tiềm năng leo thang. Không có dữ liệu này, việc tính xác suất đóng cửa không phận trở nên vô nghĩa. Giống như audit một AMM mà không biết cặp token là gì — bạn không thể tính được slippage.
Lớp 3: Động lực của các bên (Incentive Analysis). Iran muốn gì? Gửi tín hiệu mà không leo thang toàn diện. Israel muốn gì? Thể hiện sức mạnh phòng thủ, tránh phải đáp trả mạnh. Mỹ muốn gì? Giữ ổn định trong bối cảnh bầu cử. Prediction market hiện tại chỉ phản ánh một chiều: khả năng Israel hành động. Nhưng nó bỏ qua lớp thứ hai của trò chơi — Mev on geopolitical actions. Các bên có thể thao túng thị trường bằng cách tung tin giả hoặc trì hoãn phản ứng. Đây là điểm mù mà hầu hết các mô hình dự đoán không bắt được.
Tôi từng dành bốn tháng nghiên cứu Celestia's Data Availability Sampling. Ở đó, vấn đề là làm sao để đảm bảo dữ liệu có sẵn mà không cần tin tưởng một bên. Prediction market không có cơ chế đó. Một người duy nhất có thể báo cáo kết quả sai, và không có proof-of-misbehavior trên chain. Điều này làm tôi nhớ đến lỗ hổng trong một giao thức AI+Crypto mà tôi audit năm 2026: model poisoning thông qua dữ liệu huấn luyện giả mạo. Ở đây, cũng vậy — dữ liệu sự thật có thể bị đầu độc.
Contrarian
Ngược đời, tôi cho rằng prediction market trong tình huống này không phải là công cụ dự đoán tốt hơn chuyên gia, mà là một dạng "oracle bị nhiễu" trong DeFi. Các chuyên gia quân sự có thể đưa ra xác suất dựa trên phân tích sâu 8 chiều (như báo cáo trên). Họ biết rằng 37.5% chỉ là một con số từ dữ liệu hạn chế. Nhưng thị trường biến nó thành giá, và giá đó có thể kích hoạt các hợp đồng bảo hiểm, quyền chọn, hay thậm chí ảnh hưởng đến quyết định thực sự của các bên (nếu họ theo dõi). Đây là một feedback loop độc hại: thị trường dự đoán hành vi, nhưng đến lượt nó lại ảnh hưởng đến hành vi đó — tạo ra một lỗ hổng manipulatable oracle giống như trong một số protocol DeFi cũ.
Ví dụ: nếu một quỹ đầu cơ lớn đặt cược vào "không đóng cửa" và đồng thời gây áp lực lên Israel thông qua truyền thông, họ có thể tự thực hiện kết quả mình muốn. Đây là một dạng self-fulfilling prophecy được khai thác. Trong smart contract, bạn có thể phòng chống bằng cách dùng nhiều oracle, bằng cách trễ thời gian. Trong prediction market, không có.
Takeaway
Dự báo của tôi: Trong vòng hai năm tới, prediction market sẽ trở thành mục tiêu tấn công mới trong không gian bảo mật blockchain. Không phải hack contract, mà là tấn công vào lớp oracle của sự thật. Các nhóm như Chainlink đang build “verifiable randomness” cho gaming, nhưng chưa có “verifiable truth” cho prediction. Khi thị trường tăng, FOMO sẽ đẩy hàng tỷ USD vào các thị trường này. Và khi một sự kiện địa chính trị lớn xảy ra — như vụ Eilat — ai đó sẽ phát hiện ra rằng logic của thị trường không được audit, và họ có thể kiếm lợi bằng cách bóp méo sự thật.
Audit xong rồi? Hãy đợi vài block.
DeFi bảo mật: không có điểm kết thúc.