Provably fair: công bằng có thể kiểm chứng

Cách dond.win chứng minh không ván Deal or No Deal nào bị dàn xếp: mã băm SHA-256 được công bố trước khi bạn chọn, seed phía bạn được trộn vào việc xáo, cả hai seed được tiết lộ khi ván kết thúc, và một trang xác minh tính lại toàn bộ 25 vali.

Vấn đề mà provably fair giải quyết

Trong một trò chơi trực tuyến thông thường, bạn buộc phải tin rằng nhà vận hành đã xáo trung thực và không dời giải lớn đi sau khi bạn chọn. Provably fair, tức công bằng có thể kiểm chứng, thay niềm tin đó bằng phép tính. Nhà vận hành cam kết với kết quả xáo trước khi bạn hành động, để bạn tác động vào việc xáo bằng dữ liệu của chính mình, rồi tiết lộ tất cả sau đó để bạn kiểm tra.

Điều gì diễn ra trong một ván

1. Cam kết. Trước khi bạn chọn vali, máy chủ tạo một seed máy chủ (server seed) bí mật và công bố mã băm SHA-256 của nó. Mã băm này hiển thị trong trò chơi dưới dạng cam kết. Máy chủ không thể đổi seed về sau mà mã băm không đổi theo.
2. Phần của bạn. Bạn có một seed phía bạn (client seed). Mặc định nó là ngẫu nhiên; bạn có thể tự nhập seed riêng trong bảng đặt cược trước khi ván bắt đầu. Máy chủ không thể đoán trước nó.
3. Xáo. Thang 25 giải được xáo bằng thuật toán Fisher-Yates, dùng các byte ngẫu nhiên sinh ra từ HMAC-SHA256 với seed máy chủ làm khóa và seed phía bạn làm thông điệp. Không bên nào tự mình chọn được cách xếp.
4. Tiết lộ. Khi ván kết thúc, seed máy chủ được tiết lộ cùng với cam kết và seed phía bạn.
5. Xác minh. Băm seed máy chủ rồi so với cam kết. Chạy lại việc xáo với cả hai seed rồi so từng vali với những gì bạn đã thấy. Trang xác minh làm cả hai việc ngay trong trình duyệt của bạn; không có gì được gửi đi đâu cả.

Thuật toán chính xác

• commitment = SHA-256(utf8(serverSeed)), mã hóa hex.
• block[i] = HMAC-SHA256(key = serverSeed, msg = clientSeed + “:” + i), với i = 0, 1, 2 …
• Mỗi block cho tám số nguyên 32 bit big-endian; r = value / 2^32. Dùng hết một block thì lấy block kế tiếp.
• Fisher-Yates trên thang giải cố định: với i từ 24 xuống 1, j = floor(r × (i + 1)), hoán đổi ladder[i] và ladder[j]. Vali k nhận ladder[k].

Bất kỳ ai cũng có thể viết lại thuật toán này bằng vài dòng mã trong ngôn ngữ nào cũng được và ra đúng cùng một cách xếp.

Nó chứng minh được gì và không chứng minh được gì

Nó chứng minh cách xếp giải đã được cố định trước khi bạn chọn và không do máy chủ một mình quyết định. Nó chứng minh mọi đề nghị bạn thấy đều được tính từ bảng thật. Nó không thay đổi tỷ lệ: thang giải và phí vẫn là như vậy, và chúng cũng được công khai. Công bằng ở đây nghĩa là trò chơi bạn nhìn thấy chính là trò chơi đang diễn ra. Luật và cách tính đề nghị được giải thích ở trang cách chơi.

Kiểm tra một ván cũ

Các seed và cam kết hiển thị ở màn hình kết thúc ván và trong lịch sử của bạn. Bạn có thể dán chúng vào trang xác minh bất cứ lúc nào.