Stake.com bỏ giải Esports: Khi bytecode không cứu nổi một kẻ bỏ cuộc

Một vụ bỏ cuộc đã làm rung chuyển một thị trường dự đoán. Không ai viết smart contract cho kịch bản này. Đêm đó, tôi nhận được tin nhắn từ một người bạn đang vận hành một bot thanh khoản trên Azuro. Anh ấy viết: "Có một đội không đến thi đấu. Market đang sập." Tôi mở terminal, chạy một vài lệnh để kiểm tra trạng thái của các hợp đồng trên mạng, và nhận ra rằng ví của bot đã bị thanh lý hơn 40% giá trị. Lý do? Không phải vì một lỗi mã, mà vì một sự kiện trong thế giới thực không nằm trong bất kỳ nhánh kết quả nào mà các nhà phát triển đã định nghĩa. Bytecode không bao giờ nói dối, nhưng nó cũng không bao giờ tự ngẫm nghĩ về một kịch bản "người chơi không xuất hiện." Sự kiện này là gì? Đó là giải đấu esports đầu tiên của Stake.com – một trong những sòng bạc tiền điện tử lớn nhất hành tinh. Họ tổ chức một giải đấu, mời các đội tuyển tham gia, thiết lập một hệ thống cá cược. Nhưng rồi một đội tuyên bố bỏ cuộc (forfeit). Kết quả là không chỉ những người đặt cược trên chính nền tảng Stake bị ảnh hưởng, mà các thị trường dự đoán phi tập trung bên ngoài – nơi người dùng mua bán cổ phần dựa trên kết quả trận đấu – cũng rơi vào hỗn loạn. Các hợp đồng thông minh của những thị trường này không biết phải xử lý ra sao khi cả hai bên đều không có chiến thắng. "Reentrancy vẫn là kẻ thù số một," tôi vẫn thường nói với các bạn đồng nghiệp khi họ hỏi về rủi ro bảo mật. Nhưng lần này, kẻ thù không phải là một hàm gọi đệ quy. Kẻ thù là sự thiếu vắng một trạng thái trong bộ dữ liệu on-chain dành cho một kết quả bất thường. Bối cảnh cần phải làm rõ. Stake.com không phải là một giao thức phi tập trung. Đó là một sòng bạc tập trung, có giấy phép tại Curaçao, do công ty tư nhân Medium Rare N.V. điều hành. Họ chấp nhận tiền điện tử, cho phép người chơi gửi Bitcoin, Ethereum và hàng chục loại coin khác để đặt cược. Nhưng toàn bộ sổ cái, kết quả, và quyết định thanh toán đều nằm trong tay đội ngũ vận hành. Không có một dòng mã nào trên blockchain của họ đảm bảo rằng tiền sẽ được trả nếu kết quả là một cú lừa. Vào năm 2024, khi tôi tham gia thử nghiệm mạng Holesky cho EIP-4844, tôi đã thấy rất nhiều nhóm phát triển layer 2 đổ xô vào việc tối ưu hóa blob gas. Nhưng không một ai trong số họ để ý đến một vấn đề đơn giản hơn: làm thế nào để một sự kiện thể thao ngoài đời thực được ghi nhận một cách tin cậy lên blockchain. Oracle có thể đưa vào một kết quả số, nhưng ai là người định nghĩa "kết quả"? Một trận đấu có thể kết thúc với tỷ số 1-0, và mọi thứ đều rõ ràng. Nhưng nếu một đội không đến, thì tỷ số là gì? Có phải là đội kia được xử thắng? Hay là trận đấu bị hủy? Hay là cả hai đều thua? Các thị trường dự đoán lao vào hỗn loạn không phải vì chúng yếu, mà vì chúng được thiết kế cho một thế giới chỉ có hai trạng thái: đúng hoặc sai. Đây là lý do tại sao tôi muốn đào sâu vào kỹ thuật một chút. Hãy tưởng tượng bạn viết một hợp đồng dự đoán đơn giản bằng Solidity: