Ngày 28 tháng 9, thẩm phán liên bang Jia Cobb ra phán quyết tạm thời ngăn chặn lệnh cấm của bang Minnesota đối với các thị trường dự đoán. Phán quyết dài 43 trang, nhưng điểm mấu chốt chỉ nằm ở một từ: "swap".
Bối cảnh: Minnesota ban hành SB 5491, coi hợp đồng sự kiện (event contracts) là cờ bạc và cấm toàn bộ. Kalshi – nền tảng dự đoán được CFTC cấp phép – cùng Polymarket kiện liên bang, lập luận rằng luật tiểu bang xâm phạm thẩm quyền của Ủy ban Giao dịch Hàng hóa Tương lai (CFTC). Thẩm phán Cobb đồng ý: bà cho rằng hợp đồng sự kiện đáp ứng định nghĩa "swap" trong Commodity Exchange Act, do đó luật liên bang có quyền ưu tiên. Bang Minnesota không thể cấm thứ mà CFTC đã cho phép.
Tôi đọc phán quyết này với con mắt của một người audit smart contract. Khi audit Status.im năm 2017, tôi phát hiện lỗi reentrancy trong contract SNT – một lỗi logic nhỏ nhưng đủ để đánh sập toàn bộ ICO. Ở đây, lỗi logic nằm ở định nghĩa "swap" trong Commodity Exchange Act: nó được viết rộng đến mức gần như bất kỳ hợp đồng tương lai nào cũng có thể lọt vào. Phân tích từng điều khoản cho thấy thuật ngữ 'swap' được định nghĩa rộng đến mức gần như mọi hợp đồng tương lai đều có thể lọt vào – điều này khiến tôi nhớ đến lỗi integer overflow trong Solidity 0.4.x. Một lỗi tương tự: định nghĩa quá rộng dẫn đến khai thác. Thẩm phán đã khai thác nó để bảo vệ thị trường dự đoán.
Cốt lõi kỹ thuật của vấn đề nằm ở cấu trúc giao thức pháp lý. Hãy tưởng tượng Commodity Exchange Act như một smart contract: nó định nghĩa các hàm (swap, future, option) và phân quyền (CFTC). Khi một tiểu bang gọi hàm prohibit() lên một đối tượng, contract sẽ kiểm tra xem đối tượng đó có thuộc hàm swap không. Nếu có, nó sẽ ưu tiên luật liên bang thông qua cơ chế federal preemption – giống như modifier onlyOwner trong Solidity. Thẩm phán đã xác nhận rằng event contract là swap, do đó chỉ CFTC mới có quyền cấm. Nhưng nếu nhìn vào logic pháp lý như một hàm boolean: in_state_law(prohibited) && is_federal_commodity(swap) → federal_preemption. Thẩm phán đã gán is_federal_commodity = true, nhưng tham số đầu vào 'swap' còn mơ hồ. Các bang khác có thể định nghĩa lại "swap" trong luật của họ, hoặc tấn công vào cơ chế ưu tiên bằng cách gọi một hàm khác: "gambling" thay vì "prohibited". Đây giống như một cuộc tấn công reentrancy ở cấp độ lập pháp.
Từ góc nhìn thực hành, tôi thấy phán quyết này là một bản vá tạm thời – patch chưa được deploy lên mainnet. Giống như khi tôi debug một contract reentrancy, phán quyết này chỉ là một bản vá tạm thời – patch chưa được deploy lên mainnet, và các bang có thể khai thác lỗ hổng trong logic này. Cụ thể, Minnesota đã tuyên bố kháng cáo. Nếu Tòa án Phúc thẩm Liên bang Vòng 8 lật lại phán quyết, toàn bộ thị trường dự đoán sẽ rơi vào trạng thái undefined behavior. Các bang khác như New York hay California đang theo dõi sát sao. Tôi dự đoán họ sẽ học cách viết luật tinh vi hơn, tránh va chạm trực tiếp với "swap" mà thay vào đó nhắm vào cơ chế vận hành: yêu cầu giấy phép cờ bạc, áp thuế cao, hoặc cấm quảng cáo. Đây giống như việc tối ưu hóa gas – bạn vá lỗi này thì lỗi khác xuất hiện.
Quan điểm phản trực giác: phán quyết này thực sự củng cố quyền lực của CFTC, không phải giải phóng thị trường. Kalshi có lợi nhất vì họ đã đăng ký DCM, trong khi Polymarket vẫn là nền tảng phi tập trung, không có giấy phép. Nếu CFTC sau đó siết chặt các nền tảng không đăng ký, Polymarket sẽ gặp rắc rối. Tôi từng phân tích contract CryptoPunks và OpenSea – các nền tảng NFT cũng từng tưởng rằng mình an toàn cho đến khi SEC ra tay. Bài học: "code is law" không hoạt động trong governance DAO vì quyền nâng cấp smart contract luôn nằm trong tay vài admin multi-sig. Ở đây, quyền nâng cấp nằm trong tay CFTC và tòa án. Bất kỳ ai tin rằng phán quyết này là chiến thắng cuối cùng đều đang mơ. Nội dung phân tích gốc chỉ ra rủi ro nội gián: một kỹ sư của Polymarket bị phát hiện giao dịch nội bộ dựa trên thông tin chưa công bố. Điều này cho thấy sự phi tập trung không giải quyết được vấn đề con người. Bất kỳ dự án nào có multi-sig đều có thể bị tấn công bởi chính người ký – ở đây, nội gián là chính kỹ sư.
Kết luận: thị trường dự đoán sẽ phát triển mạnh trong 6 tháng tới, nhờ làn sóng FOMO pháp lý. Nhưng các nhà đầu tư nên chú ý đến cấu trúc pháp lý và quy trình nội bộ hơn là công nghệ. Một hợp đồng thông minh hoàn hảo vẫn có thể bị tấn công nếu admin multi-sig thỏa hiệp. Một phán quyết có lợi vẫn có thể bị lật nếu bang khác viết luật thông minh hơn. Câu hỏi dành cho bạn: Bạn có dám đặt cược vào một hợp đồng mà 'code is law' nhưng 'law is not code'? Tôi thì sẽ đợi cho đến khi bản vá được deploy lên mainnet – tức là khi Tòa án Tối cao ra phán quyết cuối cùng.