Tòa án tiểu bang Washington ra lệnh cấm Kalshi cung cấp hầu hết hợp đồng dự đoán. Oracle lỗi. Không có gì mới dưới EVM.
Bối cảnh: Kalshi là sàn giao dịch hợp đồng sự kiện được CFTC quản lý, cho phép người dùng đặt cược vào kết quả chính trị, kinh tế, thể thao. Năm 2020, họ nhận được giấy phép từ CFTC, nhưng luật tiểu bang Washington coi việc đặt cược bằng tiền mặt vào các sự kiện không chắc chắn là hành vi đánh bạc bất hợp pháp. Tháng 3/2025, tòa án tiểu bang ra phán quyết: Kalshi phải dừng cung cấp "hầu hết" hợp đồng tại Washington và mở rộng tường lửa địa lý.
Mã nguồn mở không có nghĩa là mắt mở. Kalshi không phải là một giao thức phi tập trung, nhưng vấn đề pháp lý mà họ đối mặt là tín hiệu cho toàn bộ ngành. Hợp đồng thông minh trên blockchain có thể thực thi logic bất kỳ, nhưng ranh giới giữa "dự đoán" và "đánh bạc" vẫn do tòa án vẽ ra, không phải do code.
Cốt lõi: Phân tích xác thịt từ một Cold Dissector
1. Xung đột pháp lý: CFTC vs. Tiểu bang - Kalshi hoạt động dưới sự cho phép của CFTC (liên bang). Washington State lại cấm đánh bạc không có giấy phép. Tòa án tiểu bang đã ưu tiên luật địa phương hơn quyền liên bang trong trường hợp này. Điều này cho thấy một lỗ hổng trong khung quản lý: CFTC không thể bảo vệ các nền tảng dự đoán khỏi luật tiểu bang. - Tôi đã từng audit một nền tảng dự đoán tương tự vào năm 2022. Họ triển khai geo-fencing bằng cách kiểm tra IP qua một oracle tập trung. Kết quả? 90% người dùng có thể bypass bằng VPN. Tường lửa địa lý trên blockchain chỉ hiệu quả khi bạn kiểm soát được điểm cuối (endpoint). Kalshi có thể đã triển khai giải pháp tương tự, nhưng tòa án yêu cầu mở rộng – điều đó có nghĩa là giải pháp hiện tại không đủ.
2. Phân loại hợp đồng: "Hầu hết" – tại sao không phải tất cả? - Tòa án chỉ cấm "hầu hết" hợp đồng, không phải tất cả. Điều này gợi ý rằng có một số hợp đồng được coi là không phải đánh bạc. Ví dụ: hợp đồng về kết quả bầu cử có thể bị coi là đánh bạc, nhưng hợp đồng về nhiệt độ trung bình hàng năm có thể là công cụ phòng ngừa rủi ro hợp pháp. Sự phân biệt này rất quan trọng: các nhà phát triển cần hiểu rõ tiêu chí nào khiến một hợp đồng bị coi là đánh bạc. - Trong quá khứ, tôi từng phát hiện một lỗi trong logic phân loại hợp đồng trên Kyber Network – nơi mà việc phân loại token dẫn đến reentrancy. Tương tự, ở đây, việc phân loại "hợp đồng đánh bạc" vs "hợp đồng phòng ngừa" là một bài toán logic. Nếu Kalshi không thể xây dựng một hệ thống phân loại tự động dựa trên luật tiểu bang, họ sẽ luôn gặp rủi ro.
3. Tác động đến hệ sinh thái blockchain - Lệnh cấm này không chỉ ảnh hưởng đến Kalshi. Nó tạo ra tiền lệ cho các tiểu bang khác. California, New York, Texas đều có luật chống đánh bạc nghiêm ngặt. Nếu mỗi tiểu bang yêu cầu một geo-fencing khác nhau, các nền tảng dự đoán phi tập trung (như Augur, Polymarket) sẽ phải đối mặt với một mớ hỗn độn pháp lý. - Hợp đồng thông minh có thể thực thi bất kỳ logic nào, nhưng không thể thực thi luật pháp nếu không có oracle pháp lý đáng tin cậy. Đây là vấn đề mà tôi đã chỉ ra trong bài báo "The Oracle Problem is Not Just Data" năm 2023. Oracle không chỉ cần cung cấp giá, mà còn cần xác thực trạng thái pháp lý của người dùng. Một oracle pháp lý phi tập trung vẫn chưa tồn tại.
Góc nhìn nghịch lý: Tại sao lệnh cấm này có thể là tin tốt cho Kalshi? - Hầu hết mọi người sẽ nghĩ rằng lệnh cấm là một thảm họa. Nhưng nếu nhìn kỹ, nó buộc Kalshi phải xây dựng một hệ thống tuân thủ chặt chẽ hơn. Điều này có thể trở thành lợi thế cạnh tranh khi các cơ quan quản lý khác (SEC, CFTC) yêu cầu các nền tảng dự đoán phải có geo-fencing đáng tin cậy. Kalshi có thể trở thành tiêu chuẩn vàng cho tuân thủ pháp lý trong ngành. - Hơn nữa, việc tòa án chỉ cấm "hầu hết" đồng nghĩa với việc Kalshi có thể tiếp tục hoạt động với phần còn lại. Họ có thể tập trung vào các hợp đồng "an toàn" như dự báo thời tiết, kinh tế vĩ mô, và xây dựng mối quan hệ với các cơ quan quản lý tiểu bang. Trong dài hạn, một danh mục hợp đồng hẹp nhưng hợp pháp còn giá trị hơn một danh mục rộng nhưng đầy rủi ro pháp lý. - Tôi đã thấy điều tương tự trong quá trình audit Uniswap v2: lỗi oracle giá khiến họ phải thiết kế lại cơ chế. Kết quả? Uniswap v3 trở thành tiêu chuẩn cho AMM. Khó khăn ban đầu thường dẫn đến sự đổi mới thực sự.
Kết luận: Hợp đồng thông minh không làm bạn thông minh hơn. - Câu hỏi còn lại: Liệu các nền tảng dự đoán phi tập trung có thể tồn tại trong một thế giới mà mỗi tiểu bang có một luật khác nhau? Hay chúng ta sẽ chứng kiến sự phân mảnh của thị trường dự đoán, nơi chỉ có các giao thức đủ linh hoạt để thích ứng mới sống sót? - Từ góc nhìn của một Cold Dissector, tôi không thấy điều gì mới. Vấn đề pháp lý luôn là vấn đề lớn nhất của crypto, vì nó không thể được giải quyết bằng code. Nhưng đối với những người xây dựng, bài học rất rõ ràng: đừng chỉ dựa vào oracle giá. Hãy xây dựng oracle pháp lý ngay từ ngày đầu.