Tuần trước, thẩm phán Menendez phán quyết rằng hợp đồng dự đoán bầu cử của Kalshi là 'swap' theo luật phái sinh, không thuộc diện cấm của tiểu bang Minnesota. Nghe có vẻ như một win cho cả ngành, nhưng tôi – kẻ đã audit đủ loại smart contract từ thời ICO thú cưng năm 2017 – chỉ thấy một cái bẫy kỹ thuật đang mở rộng.
Context
Kalshi là một nền tảng dự đoán tập trung, được CFTC cấp phép. Minnesota ra luật coi prediction market là cờ bạc bất hợp pháp. Tòa án sơ thẩm đã ra lệnh tạm thời chặn luật này, lý do: các hợp đồng của Kalshi là 'swap' (một dạng phái sinh) nên thuộc quyền tài phán liên bang, tiểu bang không có quyền cấm. Polymarket cũng được hưởng lợi, nhưng chủ yếu mang tính tinh thần.
Đối với một smart contract architect như tôi, điểm thú vị không phải là phán quyết có lợi cho ai, mà là sự tách biệt giữa logic pháp lý và logic mã nguồn. Thẩm phán dựa vào định nghĩa 'swap' từ luật năm 2000, thời mà chưa có blockchain. Điều này tạo ra một lớp trừu tượng có thể bị lạm dụng bởi các kỹ sư mờ ám, giống hệt lỗi batchTransfer mà tôi từng phát hiện trong một ICO.
Core
Hãy nhìn vào cấu trúc smart contract của một prediction market điển hình. Một event contract thường có ba hàm: createBet, resolve, redeem. Nó không hoán đổi dòng tiền thực tế như Uniswap, mà chỉ khóa USDC vào pot và phân phối lại khi kết quả có. Đây là một aggregation game, không phải swap. Định nghĩa swap trong luật DFA yêu cầu một 'agreement to exchange payments' – tức là hai bên phải trả cho nhau một thứ gì đó. Trong prediction market, chỉ có một bên nhận, bên kia mất. Phán quyết này lách luật bằng cách gán ghép 'right to receive payment upon event' thành swap.
Kinh nghiệm từ audit Uniswap v2 năm 2020 cho tôi thấy: khi bạn gọi swapExactTokensForETH, contract thực sự chuyển token và ETH giữa các pool. Có validation amountOutMin, có slippage check. Prediction market không có cơ chế đó – nó là một tập hợp các lệnh cược riêng lẻ, không linh hoạt và không tự động khớp lệnh. Nếu một ai đó build logic 'swap' giống hệt Kalshi về mặt pháp lý nhưng lại có một lỗ hổng trong resolve (ví dụ: oracle dễ bị tấn công), toàn bộ pool có thể bị rút sạch. Tôi đã thấy điều này xảy ra với một protocol gọi là Cheddar trong bear market.
Điểm mù kỹ thuật nằm ở chỗ: tòa án chấp nhận 'swap' như một khái niệm pháp lý trừu tượng, không yêu cầu contract phải có bất kỳ token swap thực tế nào. Điều này mở ra cánh cửa cho các kỹ sư thiết kế contract chỉ để đáp ứng định nghĩa pháp lý, nhưng lại bỏ qua các best practice bảo mật cơ bản: không có fail-safe, không có pause mechanism, oracle cũ kỹ.
Contrarian
Tin tốt cho thị trường dự đoán thực chất là tin xấu cho triết lý DeFi. Vì để được coi là 'swap', bạn cần một entity tập trung (như Kalshi) đăng ký với CFTC. Polymarket cũng phải dựa vào Polygon và các relayer. Nói cách khác, tòa án vừa ra tín hiệu: prediction markets chỉ hợp pháp nếu bạn có một layer tập trung chịu trách nhiệm. Điều này trái ngược hoàn toàn với khái niệm 'code is law'. Nếu bạn là một builder đang xây dựng event contract hoàn toàn on-chain, không KYC, không DCM, bạn vẫn đối mặt với rủi ro bị coi là cờ bạc bất hợp pháp. Phán quyết này bảo vệ các ông lớn, không bảo vệ các kỹ sư độc lập.
Từ góc nhìn ISTP, tôi thấy một sự tương đồng với lỗi validateProof trong Arbitrum Nitro bridge mà tôi từng tìm ra: luật pháp, giống như smart contract, chỉ mạnh bằng điểm yếu nhất trong định nghĩa của nó. Ở đây, định nghĩa 'swap' là điểm yếu. Một lập trình viên tinh quái có thể tạo ra một contract 'swap' với logic khớp lệnh giả, oracle giả, để hợp thức hóa một sòng bài trá hình. Và CFTC sẽ không thể kiểm tra từng dòng code.
Takeaway
Khi tòa án gọi prediction market là swap, họ đã vô tình viết lại một dòng code trong luật. Nhưng code của bạn vẫn là code của bạn. Lần tới khi ai đó bảo 'dự án đã được pháp luật công nhận', hãy hỏi họ: 'Vậy bạn có để tôi audit smart contract của bạn không?' – câu trả lời thường là im lặng. Và đó là lúc bạn biết mình nên quay lưng.