Hook
Tối 26/6/2024, một biểu đồ trên Polymarket hiển thị con số: 99.9%. Đó là xác suất "Iran sẽ phóng tên lửa vào căn cứ Mỹ tại Saudi Arabia trước ngày 9/7". Và rồi, một bài báo trên Crypto Briefing khẳng định: "Tên lửa Iran đã bay qua Amman, tấn công căn cứ Mỹ tại Saudi Arabia". Thị trường lập tức dậy sóng. Nhưng với tư cách một người đã dành 8 năm kiểm toán hợp đồng thông minh — tôi biết một điều: xác suất 99.9% trên một hợp đồng dự đoán cũng chỉ là nguồn cấp dữ liệu tương tự như một oracle bên thứ ba. Và oracle này đã bị nhiễm độc.
Context
Polymarket là một thị trường dự đoán phi tập trung trên Polygon. Các hợp đồng dự đoán sử dụng oracle UMA (Optimistic Oracle) để giải quyết kết quả. Nghĩa là, vào ngày hết hạn, bất kỳ ai cũng có thể đề xuất một kết quả (bằng chứng on-chain), và những người khác có thể thử thách nó trong vòng một giờ. Nếu không ai thử thách, kết quả được chấp nhận. Cơ chế này dựa trên giả định người tham gia có đủ động cơ kinh tế để báo cáo sự thật. Tuy nhiên, đối với các sự kiện địa chính trị, như cuộc không kích Iran, việc xác minh sự thật phụ thuộc hoàn toàn vào các nguồn tin ngoài chuỗi — từ báo chí, mạng xã hội, đến tuyên bố chính thức. Và nguồn tin đầu tiên, Crypto Briefing, không phải một trang tin truyền thống uy tín mà là một trang chuyên về crypto kết hợp với dữ liệu dự đoán.
Core
Hãy nhìn vào mã nguồn của hợp đồng Polymarket cho sự kiện này. Hợp đồng lưu trữ một questionId đại diện cho kết quả. Oracle UMA sẽ một lần ghi một kết quả 1 (có) hoặc 0 (không). Kết quả được quyết định bởi một quy trình: một “proposer” gửi kết quả cùng với một khoản đặt cọc. Nếu không ai “thử thách” trong vòng 1 giờ, kết quả được chấp nhận. Tuy nhiên, cơ chế này có một lỗ hổng lớn: khả năng phản biện phụ thuộc vào sự sẵn sàng và khả năng của những người tham gia khác. Trong một sự kiện địa chính trị phức tạp, bóng tối thông tin che phủ, số người có kiến thức chuyên sâu để thử thách một kết quả sai mờ ảo có thể rất ít. Đó chính là điểm yếu của hệ thống này khi đối mặt với thông tin sai lệch có tổ chức.
Trong trường hợp này, bài báo Crypto Briefing xuất hiện như một “bằng chứng” trên mạng, đủ để thuyết phục những người tham gia trên Polymarket rằng sự kiện đã xảy ra. Nếu không có ai đầu tư thời gian xác minh với các nguồn chính thống như bản tin Lầu Năm Góc hay Reuters, kết quả “có” có thể bị chấp nhận mặc định. Điều này thể hiện một dạng tấn cộng mới: tấn cộng vào lớp oracle của thị trường dự đoán bằng thông tin sai lệch được thiết kế tinh vi.
Điểm đáng chú ý thứ hai là cột mốc thời gian. Sự kiện được dự đoán trong khoảng 13 ngày. Đó là một thời gian đủ lớn để tạo ra một lớp “độ bất định” đủ rớt để thao túng tâm lý. Nếu kết quả “có” bị chấp nhận khi còn nhiều ngày, người nắm giữ token nâu (YES) có thể sớm thu lợi nhuận trước khi bị phát hiện sai. Đó là lợi ích tài chính trực tiếp khi lan truyền thông tin sai lệch.
Từ kinh nghiệm kiểm toán DeFi của tôi, một hợp đồng không bao giờ có thể thay thế hoàn toàn sự tin cậy vào dữ liệu thế giới thực. Hợp đồng dự đoán chỉ tốt như oracle của nó. Và oracle dựa trên sự đồng thuân xã hội — như UMA Optimistic Oracle — chỉ hoạt động hiệu quả khi cộng đồng có đủ nguồn lực và động cơ để thử thách. Đối với các sự kiện địa chính trị, điều này không phải lúc nào cũng đúng.
Contrarian
Nhiều người cho rằng thị trường dự đoán là công cụ “khám phá sự thật” vì tính phi tập trung và sức mạnh kinh tế. Nhưng tôi thấy một góc khuất nguy hiểm: thị trường dự đoán có thể trở thành công cụ tạo sự thật ảo trong thời gian thực. Khi một kết quả “99.9%” xuất hiện, nó không chỉ là kết quả dự báo — mà còn tạo áp lực lên báo chí, truyền thông, và đến lượt họ lại cung cấp “bằng chứng” cho kết quả đó. Đó là một vòng lặp tự củng cố.
Trong trường hợp này, bài báo Crypto Briefing thậm chí viện dẫn chính dữ liệu 99.9% của Polymarket để “chứng minh” sự kiện có thể xảy ra. Khi kết quả được đặt trên chính nền tảng dự đoán, nó tạo ra ảo tưởng về một “đồng thuân khách quan” — mặc dù thực chất chỉ là phản ứng của một nhóm người trước cùng một nguồn tin. Tôi gọi đó là “gà-và-trứng thông tin”: dữ liệu trên chain tác động vào báo chí, báo chí tác động lại vào dữ liệu.
Đó là một lỗ hổng bảo mật ở cấp độ hệ thống, không phải ở cấp độ mã nguồn. Hợp đồng Polymarket có thể chạy hoàn hảo, nhung oracle của nó lại tin vào một nguồn không đáng tin cậy. Và không hợp đồng nào có thể kiểm soát được điều đó.
Takeaway
Liệu có một cơ chế kiểm toán oracle nào cho thị trường dự đoán? Hay chúng ta lại một lần nữa phải chờ một thất bại lớn mới chịu học bài? Từ lỗ hổng nhỏ nhất, một hệ thống có thể sụp đổ. Và lần này, lỗ hổng không nằm trong mã nguồn — mà nằm trong niềm tin của chúng ta vào mã nguồn.