Tuần trước, Ủy ban Giao dịch Hàng hóa Tương lai Hoa Kỳ (CFTC) một lần nữa gióng lên hồi chuông cảnh báo về các hợp đồng sự kiện kiểu 'khuôn mẫu' trên các nền tảng thị trường dự đoán. Đây là lần thứ hai trong vòng sáu tháng cơ quan này nhắm vào hình thức 'tự chứng nhận' (self-certification) rập khuôn – một lỗ hổng trong quy trình cho phép các nền tảng đưa ra thị trường các hợp đồng cá cược về bầu cử, thể thao, sự kiện địa chính trị mà không cần sự chấp thuận trước của CFTC.
Khi đọc thông báo này, tôi không khỏi nhớ lại năm 2017 – lần đầu tiên tôi đặt tay vào mã nguồn của Bancor. Tôi phát hiện ra rằng các hợp đồng thông minh của họ có một lỗ hổng reentrancy mà chính tôi đã khai thác (theo nghĩa kiểm toán) và được trả 15 ETH. Cảm giác đó giống hệt như bây giờ: một lớp sơn bóng của sự 'phi tập trung' che đậy những điểm yếu cốt lõi trong cơ chế vận hành. Thị trường dự đoán cũng vậy: chúng tỏ ra mạnh mẽ, minh bạch, nhưng bên dưới là một quy trình tự chứng nhận bị lạm dụng.
Bối cảnh: 'Tự chứng nhận khuôn mẫu' là gì?
Đạo luật Giao dịch Hàng hóa (CEA) cho phép các sàn giao dịch hợp đồng tương lai tự chứng nhận sản phẩm mới với CFTC, miễn là họ gửi hồ sơ và chờ 24 giờ. Thị trường dự đoán phi tập trung lợi dụng điều này: họ tạo ra một hợp đồng 'khuôn mẫu' (cookie-cutter) – ví dụ, hợp đồng 'Kết quả trận đấu Super Bowl' – và sao chép nó cho hàng trăm sự kiện khác. Về mặt kỹ thuật, đây là một 'self-certification' hợp lệ. Nhưng CFTC nói rằng các hợp đồng này thực chất là các 'hợp đồng sự kiện' (event contracts) không đáp ứng các yêu cầu về lợi ích công cộng theo Mục 5c của CEA. Chúng giống với cờ bạc trực tuyến hơn là công cụ phòng ngừa rủi ro thực sự.
Tôi từng kiểm tra một hợp đồng dự đoán trên mạng Ethereum vào năm 2021 – một 'hợp đồng Trump tái đắc cử' được triển khai bởi một nền tảng sử dụng chuẩn ERC-1155. Mã nguồn chỉ có 120 dòng, không có oracle nào ngoài một hàm gọi bên ngoài từ một nguồn phi tập trung. Họ tự chứng nhận nó như một 'hợp đồng tương lai' – nhưng thực tế nó là một hợp đồng cá cược nhị phân. Lỗ hổng không phải ở code Solidity mà ở logic định giá: thị trường không có cơ chế khớp lệnh thực sự, chỉ có một quỹ thanh khoản duy nhất. Nếu ai đó đặt cược sai hướng, toàn bộ quỹ có thể bị rút cạn trong một block. Nhưng CFTC không quan tâm đến lỗi kỹ thuật; họ quan tâm đến việc các hợp đồng này có được 'tự chứng nhận' đúng cách hay không.
Phân tích: Lỗ hổng trong 'tự chứng nhận khuôn mẫu'
Hãy nhìn vào cấu trúc của một 'hợp đồng khuôn mẫu' điển hình mà các nền tảng như Polymarket hay Augur sử dụng. Giả sử chúng ta có một hợp đồng cho 'Giá BTC sẽ trên 100.000 USD vào ngày 31/12/2024'. Hợp đồng gốc (master contract) định nghĩa một giao diện chung: hàm resolvePrediction() lấy dữ liệu từ một oracle (ví dụ Chainlink). Oracle đó được định nghĩa trước, không thể thay đổi. Điều này tạo ra một vấn đề: mọi hợp đồng con (child contract) đều kế thừa cùng một nguồn dữ liệu, cùng một cơ chế giải quyết. Nếu một oracle bị hỏng (ví dụ, giá BTC bị thao túng bởi một cuộc tấn công DEX), tất cả các hợp đồng con đều chịu chung số phận. Đây là một dạng single point of failure nhưng được che giấu dưới lớp vỏ 'phi tập trung'.
Tôi đã từng viết một bot flash loan vào DeFi Summer năm 2020. Tôi mất 1.200 ETH vì một cuộc tấn công sandwich – nhưng tôi học được rằng tính bất biến của hợp đồng thông minh không đồng nghĩa với tính an toàn. CFTC cảnh báo lần này cũng tương tự: họ không tấn công vào code, họ tấn công vào quy trình. Các nền tảng đã lợi dụng 'tự chứng nhận' như một lỗ hổng quy trình (procedural vulnerability) để đưa ra thị trường các sản phẩm chưa được kiểm định. Đây là điểm mù mà hầu hết các nhà phân tích bỏ qua: sự an toàn của thị trường dự đoán không nằm ở hợp đồng thông minh, mà ở tính hợp pháp của quy trình chứng nhận.
Góc nhìn trái chiều: Tại sao CFTC sai?
Dễ dàng đứng về phía CFTC và nói rằng 'thị trường dự đoán là cờ bạc'. Nhưng với tư cách là một kỹ sư đã audit hơn 50 hợp đồng thông minh, tôi thấy điều này phức tạp hơn. Một hợp đồng dự đoán về giá BTC hoặc kết quả bầu cử không hề có yếu tố may rủi thuần túy – nó dựa trên thông tin thị trường và khả năng định giá. Nó giống một công cụ phòng ngừa hơn là một trò chơi xúc xắc. Năm 2022, tôi đào sâu vào cơ chế fraud proof của Optimism – tôi thấy rằng các hợp đồng dự đoán có thể được thiết kế sao cho chỉ những người có hiểu biết sâu sắc về thị trường mới tham gia, tạo ra một lớp thanh khoản thông tin. Nếu CFTC cấm hoàn toàn, họ sẽ giết chết một cơ chế khám phá giá độc đáo.
Nhưng vấn đề là các nền tảng đã biến 'tự chứng nhận' thành một chiêu trò để né tránh sự giám sát. Họ tạo ra các hợp đồng 'khuôn mẫu' không khác gì một chiếc hộp Pandora: một khi mở ra, có thể chứa bất kỳ loại hợp đồng nào – từ kết quả thể thao đến tỷ lệ tử vong do COVID. Điều này tạo ra một rủi ro hệ thống: nếu một hợp đồng về 'xác suất chiến thắng của ứng cử viên tổng thống Mỹ' bị thao túng bởi một nhóm chính trị, toàn bộ niềm tin vào thị trường dự đoán sẽ sụp đổ. CFTC đang làm điều đúng đắn bằng cách siết chặt quy trình, nhưng họ lại bỏ lỡ một điểm quan trọng: bản thân hợp đồng thông minh hoàn toàn có thể được kiểm toán và chứng minh tính công bằng. Tại sao CFTC không yêu cầu các nền tảng công bố mã nguồn đã được audit thay vì chỉ tập trung vào thủ tục hành chính?
Takeaway: Dự báo lỗ hổng
Tôi dự đoán rằng trong vòng 12 tháng tới, CFTC sẽ đưa ra một quy tắc mới yêu cầu mọi hợp đồng sự kiện phải trải qua quy trình 'chứng nhận đầy đủ' (full certification) thay vì tự chứng nhận. Điều này sẽ buộc các nền tảng phải thuê luật sư và kiểm toán viên bên ngoài để xác thực từng hợp đồng. Hậu quả: chi phí vận hành tăng gấp ba, và các nền tảng nhỏ sẽ chết. Nhưng những ai sống sót sẽ trở thành những 'sàn giao dịch thông tin' được cấp phép, có khả năng thu hút dòng vốn tổ chức. Nếu bạn đang cầm token của một thị trường dự đoán chưa có kế hoạch tuân thủ CFTC, hãy bán ngay. Nếu không, bạn sẽ là người cuối cùng ra khỏi tòa nhà đang cháy.
DeFi Summer không chờ kẻ chậm chân. Nhưng lần này, kẻ chậm chân không phải là người không biết code, mà là người không biết luật.