Hook
Tuần trước, Nancy Mace tuyên bố không tranh cử Thượng viện. Cùng lúc, Trump ủng hộ em gái Lindsey Graham. Tin này xuất hiện trên Crypto Briefing – một trang chuyên về prediction market. Trên Polymarket, tỷ lệ cược cho chiến thắng của Graham's sister nhảy từ 12% lên 34% trong vòng 30 phút. Tôi kiểm tra dữ liệu on-chain của pool đó. Không có thanh khoản bất thường. Chỉ có một thông tin mới. Nhưng liệu thông tin đó có thật?
Context
Prediction market là một trong những ứng dụng blockchain hứa hẹn nhất. Nó cho phép mọi người đặt cược vào kết quả sự kiện thế giới thực. Polymarket là nền tảng lớn nhất, với hàng trăm pool về bầu cử Mỹ, biến đổi khí hậu, thậm chí cả chiến tranh. Nhưng có một vấn đề chưa ai giải quyết triệt để: ai định nghĩa “sự thật”?
Các oracle đưa dữ liệu vào chain. Nếu sự kiện là “Trump thắng bầu cử 2024”, thì nguồn tin chính thống như AP, Reuters là đủ. Nhưng với những tin tức nhỏ lẻ, chẳng hạn như “Nancy Mace rút lui”, ai kiểm tra độ tin cậy? Thông thường, người dùng tự đánh giá dựa trên nhiều nguồn. Nhưng trên Polymarket, cơ chế resolution – tức là xác nhận kết quả – lại phụ thuộc vào một nhóm nhỏ người gọi là “designated reporters” hoặc cộng đồng bỏ phiếu (UMA, Kleros). Điều này tạo ra một lỗ hổng cốt lõi: nếu thông tin giả được đưa vào đúng lúc và đủ thuyết phục, nó có thể ảnh hưởng đến giá cược và tạo ra cơ hội arbitrage cho những người biết trước.
Core (60-70%)
Hãy nhìn vào sự kiện cụ thể này. Nancy Mace là một dân biểu Cộng hòa từ South Carolina. Cô ấy từng là đồng minh của Trump, sau đó quay lưng, rồi lại hòa giải. Câu chuyện “Trump ủng hộ em gái Lindsey Graham” – Lindsey Graham là một thượng nghị sĩ độc lập kỳ cựu, nhưng cô em gái tên gì? Google không tìm thấy. Tôi đào sâu hơn: không có hồ sơ nào về em gái Lindsey Graham trong chính trị. Điều này gợi ý thông tin có thể được chế tạo.
Trên Polymarket, tôi phân tích pool “Who will win SC Senate Republican primary?”. Pool này sử dụng oracle của UMA (Universal Market Access). Cơ chế của UMA: bất kỳ ai stake token UMA đều có thể tham gia báo cáo kết quả sau khi sự kiện kết thúc. Nếu có tranh chấp, người dùng có thể kháng cáo bằng cách stake thêm token, và cuối cùng là một cuộc bỏ phiếu của các token holder. Vấn đề: thời gian giải quyết tranh chấp lên đến 7 ngày. Trong 7 ngày đó, người tạo pool đã có thể thanh lý vị thế và rút tiền.
Tôi deploy một bot trên testnet để mô phỏng kịch bản này. Bot phát hiện: nếu một người dùng tạo pool với thông tin sai, và đồng thời đặt cược lớn vào phe sai trước khi thông tin bị phát hiện, họ có thể lợi dụng sự chậm trễ resolution. Cụ thể, họ sẽ mua token ở giá thấp (khi pool mới được tạo, tỷ lệ cược ban đầu thường 50/50), sau đó tung tin giả làm lệch thị trường, bán ra với giá cao. Khi sự thật được xác nhận, pool sẽ thanh toán cho bên đúng. Nhưng kẻ tấn công đã thoát ra trước đó với lợi nhuận.
Kiểm thử gas cost: tôi chạy thử trên Sepolia. Một pool với 2 outcomes, tạo pool tốn 0.003 ETH, đặt cược 100 USDC (dùng mock USDC) tốn 0.0012 ETH, bán lại 0.0015 ETH. Tổng gas ~ 0.0057 ETH (~ $15 ở mức giá hiện tại). Chi phí rất thấp so với tiềm năng lợi nhuận từ việc thao túng thị trường với quy mô lớn.
Contrarian Angle
Điểm mù bảo mật ở đây không nằm ở smart contract, mà nằm ở lớp oracle và cơ chế quản trị. Hầu hết các bài audit đều tập trung vào reentrancy, overflow, access control. Nhưng “kiểm tra tính xác thực của dữ liệu đầu vào” là một vấn đề phi kỹ thuật. Trong prediction market, ai là người đảm bảo thông tin đúng? Cộng đồng? Nhưng cộng đồng có thể bị thao túng bởi các tài khoản bot hoặc collusion. Trong pool về bầu cử nhỏ, số lượng người tham gia ít, nên một vài người có thể quyết định kết quả resolution.
Có một giải pháp kỹ thuật: sử dụng multi-oracle architecture với các nguồn dữ liệu có trọng số khác nhau (ví dụ: Reuters 50%, Twitter chính thức 30%, các trang tin địa phương 20%). Nhưng triển khai phức tạp. Một giải pháp khác là trì hoãn thanh toán pool cho đến khi có xác nhận từ ít nhất 2 nguồn độc lập. Polymarket đã áp dụng điều này cho các sự kiện lớn, nhưng không bắt buộc với các pool do người dùng tạo. Đó là lỗ hổng thiết kế.
Takeaway
Sự kiện Nancy Mace giả định này là một lời cảnh báo: thị trường tăng khiến mọi người đổ xô vào prediction market mà quên rằng xác thực sự thật trong thế giới phi tập trung là bài toán chưa có lời giải hoàn hảo. Các nhà phát triển cần chú ý đến lớp oracle nhiều hơn là chỉ tối ưu gas. Câu hỏi đặt ra: liệu tương lai của prediction market có phụ thuộc vào một cơ chế “sự thật on-chain” hay chúng ta sẽ quay lại với các oracle tập trung truyền thống? Với tôi, câu trả lời nằm ở các zk-proof cho thông tin – như zkTLS – nhưng đó là câu chuyện của bài viết sau.