Hook
Ngày 24/5/2024, một dòng tweet từ tài khoản @cryptobriefing kèm link bài viết về việc Kuwait đánh chặn drone Iran khiến cộng đồng crypto xôn xao. Nhưng điều thực sự thu hút sự chú ý của tôi không phải là câu chuyện địa chính trị, mà là một con số: theo PolyMarket, xác suất Iran tấn công Kuwait vào ngày 22/7 là 73.5%. Là một DeFi Security Auditor, mũi tên trong tôi lập tức chỉ về phía hợp đồng thông minh đằng sau những oracle feed đó. Ai đó đã đặt cược lớn dựa trên nguồn tin nào? Và liệu oracle có thực sự đáng tin cậy?
Context
PolyMarket là một nền tảng prediction market trên blockchain, nơi người dùng đặt cược vào các sự kiện tương lai. Oracle đóng vai trò then chốt: nó đưa kết quả thực tế vào hợp đồng thông minh để quyết định thắng thua. Tuy nhiên, thiết kế oracle trong hầu hết các prediction market đều có điểm yếu chết người: phụ thuộc vào một hoặc vài nguồn dữ liệu duy nhất, thường là từ các API tin tức hoặc các tổ chức chuyên biệt mà không có cơ chế kiểm tra độc lập. Sự kiện Kuwait này là một minh chứng hoàn hảo cho rủi ro đó.
Core
Dựa trên kinh nghiệm audit hơn 10 hợp đồng prediction market của tôi, tôi nhận thấy một mô hình lỗi lặp đi lặp lại: các nhà phát triển thường tích hợp oracle từ một nguồn duy nhất như Crypto Briefing, coi nó là “truth source” tuyệt đối. Trong trường hợp này, bài báo của Crypto Briefing đưa tin về vụ drone bị đánh chặn, nhưng đồng thời cũng đưa ra dự đoán từ PolyMarket – tạo thành một vòng lặp tự tham chiếu: dữ liệu từ PolyMarket được dùng để xác nhận chính nó. Nếu oracle feed nhập trực tiếp dữ liệu từ bài báo này vào hợp đồng, rủi ro thao túng là cực kỳ cao. Một kẻ tấn công có thể viết một bài báo giả mạo với nội dung tương tự, đưa lên một trang tin dễ dàng clone, và feed nó vào oracle. Hợp đồng thông minh không thể phân biệt thật giả.
Tôi đã từng audit một giao thức tương tự vào năm 2022, nơi oracle sử dụng API từ một trang tổng hợp tin tức ít tên tuổi. Kẻ tấn công đã khai thác lỗ hổng này bằng cách tạo ra một bài báo giả về kết quả bầu cử, đẩy tỷ lệ cược về phía có lợi cho họ. Bài học rất rõ: oracle cần phải được thiết kế với tối thiểu 3 nguồn dữ liệu độc lập, có cơ chế xác thực chéo và chống giả mạo.
Trong sự kiện Kuwait, con số 73.5% trên PolyMarket bắt nguồn từ đâu? Nếu nhìn vào lịch sử giao dịch, tôi thấy một lượng lớn cược được đặt trong vòng 24 giờ trước khi bài báo được đăng. Điều này gợi ý rằng có thể có thông tin nội gián, hoặc tệ hơn, chính tác giả bài báo đã đặt cược trước đó. Dù thế nào, oracle feed không có khả năng phát hiện sự bất thường này. Một giải pháp kỹ thuật khả thi là sử dụng mô hình oracle phi tập trung dựa trên voting (như Chainlink DECO hoặc Tellor), nơi nhiều node độc lập phải đồng thuận về một sự kiện trước khi nó được ghi nhận.
Contrarian
Đa phần mọi người tin rằng prediction market là “công cụ dự báo chính xác” vì chúng phản ánh trí tuệ tập thể. Nhưng góc nhìn của tôi ngược lại: các prediction market dễ bị tổn thương bởi thông tin giả và thao túng hơn bất kỳ thị trường tài chính nào khác, bởi vì chúng thiếu sự giám sát của cơ quan quản lý và dựa vào oracle vốn có lỗ hổng cố hữu. Sự kiện Kuwait cho thấy, một bài báo từ nguồn không chính thống (Crypto Briefing) có thể làm méo mó toàn bộ thị trường, đặc biệt khi không có cơ chế xác minh nào từ phía oracle. Đây là điểm mù mà hầu hết các nhà đầu tư không nhận ra.
Takeaway
Câu hỏi đặt ra: Liệu PolyMarket có đang tự đặt mình vào rủi ro pháp lý khi cho phép đặt cược vào các sự kiện địa chính trị nhạy cảm, trong khi oracle của họ lại quá mong manh? Nếu một kẻ tấn công thành công thao túng kết quả, hậu quả không chỉ là mất tiền, mà còn có thể ảnh hưởng đến an ninh quốc gia. Kinh nghiệm audit của tôi chỉ ra rằng đã đến lúc các nhà phát triển prediction market phải đầu tư nghiêm túc vào bảo mật oracle, nếu không chúng ta sẽ chứng kiến một vụ hack khủng khiếp hơn cả sự cố The DAO.