Thuật toán Aviator: Phân tích sâu SHA-512 provably fair

Emma Rodriguez·Biên tập viên cờ bạc có trách nhiệm

Được xem xét bởiJames Mitchell

30 thg 12, 2024

9 phút đọc

Giải thích thuật toán Aviator: Hướng dẫn kỹ thuật đầy đủ

Một trong những tính năng quan trọng nhất của Aviator là thuật toán provably fair (công bằng có thể kiểm chứng) — một hệ thống mật mã cho phép bất kỳ người chơi nào tự kiểm chứng rằng điểm crash của một vòng được xác định công bằng và không bị can thiệp. Bài viết này giải thích cách thuật toán hoạt động, phần toán học phía sau và cách bạn tự kiểm chứng kết quả.

"Provably fair" là gì?

Các trò chơi sòng bạc truyền thống đòi hỏi bạn phải tin rằng nhà cái không can thiệp vào kết quả. Hệ thống provably fair loại bỏ yêu cầu phải tin tưởng này bằng cách dùng hàm băm mật mã khiến việc thay đổi kết quả sau khi đã cam kết là bất khả thi về mặt toán học.

Nguyên tắc cốt lõi:

Trước một vòng, máy chủ cam kết một kết quả bằng cách công bố giá trị băm của nó
Sau vòng chơi, máy chủ tiết lộ tiền ảnh (seed dùng để tạo ra giá trị băm)
Bạn có thể kiểm chứng rằng giá trị băm đã cam kết khớp với seed được tiết lộ
Nếu khớp, kết quả không bị can thiệp

Hàm băm SHA-512

SHA-512 (Secure Hash Algorithm 512-bit) là một hàm băm mật mã có hai tính chất then chốt đối với trò chơi provably fair:

Tính chất 1: Tính tất định

Cùng một đầu vào luôn cho cùng một đầu ra:

Đầu vào: "hello" → Đầu ra: 9b71d224bd62f3785d96d46ad3ea3d73319bfbc2890caadae2dff72519673ca72323c3d99ba5c11d7c7acc6e14b8c5da0c4663475c2e5c3adef46f73bcdec043

Tính chất 2: Chống tìm tiền ảnh

Với một giá trị băm cho trước, việc suy ngược ra đầu vào là bất khả thi về mặt tính toán. Dù có toàn bộ sức mạnh tính toán của thế giới, việc tìm đầu vào của một giá trị băm SHA-512 cũng sẽ mất nhiều thời gian hơn tuổi của vũ trụ.

Điều này có nghĩa là: nếu máy chủ công bố một giá trị băm trước vòng chơi, nó không thể đổi seed gốc sau đó mà không tạo ra một giá trị băm hoàn toàn khác — điều mà bạn sẽ phát hiện ngay lập tức.

Đầu vào: Server seed và ba client seed

Điểm crash của Aviator được tạo ra từ bốn đầu vào:

Server seed

Một chuỗi ngẫu nhiên do máy chủ tạo ra trước vòng chơi. Máy chủ công bố giá trị băm SHA-256 của seed này trước khi nhận cược và tiết lộ chính seed đó khi vòng chơi kết thúc.

Client seed

Client seed của ba người chơi đầu tiên đặt cược trong vòng được thu thập và hiển thị trong chi tiết vòng chơi. Vì các giá trị này đến từ những người chơi độc lập, nhà cái không thể biết trước đầu vào kết hợp.

Kết hợp các đầu vào

Server seed và ba client seed được nối lại và băm bằng SHA-512. Chuỗi thập lục phân 128 ký tự thu được sẽ quyết định điểm crash.

Cách tính điểm crash

Spribe không công bố phép tính chính xác biến giá trị băm SHA-512 thành hệ số nhân. Phần minh họa dưới đây dùng cấu trúc tham chiếu mở do Bustabit phổ biến (giá trị băm vòng HMAC-SHA256 kèm nonce) để cho thấy một giá trị băm trở thành hệ số nhân có phân phối thỏa mãn P(crash ≥ x) = 0.97/x như thế nào. Quy trình SHA-512 của Aviator theo cùng nguyên tắc: lấy các bit đầu của giá trị băm, ánh xạ sang hệ số nhân, rồi áp dụng lợi thế nhà cái.

Trong cấu trúc tham chiếu, điểm crash được suy ra qua một quy trình tất định:

Bước 1: Tạo giá trị băm của vòng

round_hash = HMAC-SHA256(server_seed, client_seed + ":" + nonce)

Bước này tạo ra một chuỗi thập lục phân 64 ký tự, ví dụ:

a7b3c8d2e9f14056789012345678901234567890abcdef1234567890abcdef12

Bước 2: Trích một số từ giá trị băm

Lấy 8 ký tự đầu tiên (32 bit) của giá trị băm và đổi từ thập lục phân sang thập phân:

h = parseInt(hash.substring(0, 8), 16)
// Example: "a7b3c8d2" → 2,813,000,914

Giá trị tối đa có thể có của h là 2^32 − 1 = 4,294,967,295.

Bước 3: Áp dụng công thức điểm crash

crash_point = floor((1 − houseEdge) × 2^32 / (2^32 − h)) / 100

Trong đó houseEdge = 0.03 (3%).

Rút gọn:

crash_point = floor(0.97 × 4,294,967,296 / (4,294,967,296 − h)) / 100

Trường hợp đặc biệt: Crash tức thì

Một điều kiện riêng xử lý trực tiếp lợi thế nhà cái. Nếu:

h mod 33 === 0

...vòng chơi crash ngay tại 1.00× bất kể kết quả của công thức. Điều này xảy ra với xác suất 1/33 ≈ 3.03%, nhằm áp đặt lợi thế nhà cái.

Một ví dụ cụ thể từng bước

Giả sử 8 ký tự hex đầu tiên của giá trị băm một vòng là 4f2a1b3c:

h = 0x4f2a1b3c = 1,328,284,988
2^32 = 4,294,967,296

Kiểm tra: 1,328,284,988 mod 33 === 0 có đúng không? Không → chuyển sang công thức.

crash_point = floor(0.97 × 4,294,967,296 / (4,294,967,296 − 1,328,284,988)) / 100
= floor(4,166,117,577 / 2,966,682,308) / 100
= floor(1.4043...) / 100
= 140 / 100
= 1.40×

Điểm crash của vòng này sẽ là 1.40×.

Vì sao công thức này cho ra phân phối đúng

Công thức P(crash ≥ x) = 0.97 / x xuất hiện một cách toán học từ cấu trúc này:

Để điểm crash ít nhất bằng x, giá trị h suy ra từ giá trị băm phải thỏa mãn:

0.97 × 2^32 / (2^32 − h) ≥ x
→ 2^32 − h ≤ 0.97 × 2^32 / x
→ h ≥ 2^32 × (1 − 0.97/x)

Xác suất để một h ngẫu nhiên đều thỏa mãn điều này là:

P(h ≥ 2^32 × (1 − 0.97/x)) = 1 − (1 − 0.97/x) = 0.97/x

Điều này cho ra đúng P(crash ≥ x) = 0.97/x — công thức lợi thế nhà cái được gắn sẵn về mặt toán học vào cách suy ra điểm crash.

Cách tự kiểm chứng kết quả

Bước 1: Ghi lại dữ liệu của vòng

Sau bất kỳ vòng nào, hãy ghi lại:

Giá trị băm của server seed (hiển thị trước vòng chơi)
Server seed (được tiết lộ sau vòng chơi)
Client seed của ba người đặt cược đầu tiên

Bước 2: Kiểm chứng cam kết băm

Tính SHA-256(server_seed) và xác nhận nó khớp với giá trị băm đã cam kết trước. Nếu khớp, server seed không bị thay đổi sau khi cam kết.

Bước 3: Tính lại điểm crash

Dùng công thức ở trên, tính lại điểm crash từ các seed. Nếu khớp với điểm crash đã công bố, vòng chơi là công bằng.

Dùng công cụ Provably Fair Checker của AviatorStats

Công cụ Provably Fair Checker của chúng tôi tại AviatorStats.com tự động hóa toàn bộ quy trình này:

Nhập server seed đã được tiết lộ và ba client seed hiển thị trong chi tiết vòng chơi
Công cụ tính tổ hợp SHA-512, trích h, áp dụng công thức crash và hiển thị điểm crash dự kiến
So sánh với kết quả mà trò chơi công bố — hai giá trị phải khớp chính xác

Cách này mang lại cho bạn sự chắc chắn về mặt mật mã đối với tính công bằng của vòng chơi mà không cần tính tay.

Provably fair đảm bảo và không đảm bảo điều gì

Nó đảm bảo:

Điểm crash không bị thay đổi sau khi cam kết
Kết quả được xác định về mặt toán học bởi các seed
Lợi thế nhà cái đúng bằng 3% như đã nêu
Bất kỳ ai cũng có thể tự kiểm chứng độc lập mọi vòng trong quá khứ

Nó không đảm bảo:

Rằng bạn sẽ thắng bất kỳ vòng cụ thể nào
Rằng chuỗi kết quả là "công bằng" với từng người chơi riêng lẻ
Rằng các chiến lược có thể vượt qua lợi thế nhà cái vốn có
Rằng kết quả trong quá khứ dự đoán được kết quả tương lai (không thể)

Hệ thống provably fair là một cơ chế minh bạch, không phải công cụ để thắng. Nó đảm bảo trò chơi vận hành đúng như quảng cáo — điều này tự nó có giá trị, nhưng tách biệt với toán học về giá trị kỳ vọng dài hạn.

Dùng các công cụ phân tích Aviator của chúng tôi

Hãy phân tích dữ liệu Aviator bằng thống kê trực tiếp, phân tích phân bố, biểu đồ xu hướng và công cụ xác minh provably fair của chúng tôi. Tất cả công cụ đều miễn phí và không cần đăng ký.

Hướng dẫn liên quan

Hướng dẫn trò chơi:

Chiến lược & phân tích:

Cảnh báo lừa đảo:

Hướng dẫn nền tảng:

Tuyên bố miễn trừ trách nhiệm: Phần giải thích kỹ thuật này chỉ nhằm mục đích giáo dục. Hiểu thuật toán không mang lại bất kỳ lợi thế nào trong việc dự đoán kết quả. Kết quả Aviator không thể dự đoán về mặt mật mã trước mỗi vòng. Hãy luôn chơi có trách nhiệm.

Emma RodriguezTác giả

Biên tập viên cờ bạc có trách nhiệm. Sản xuất nội dung chuyên môn về trò chơi crash, phân tích RTP và cờ bạc có trách nhiệm cho đội ngũ Aviator Tracker.

Câu hỏi thường gặp

Provably fair nghĩa là điểm crash của mỗi vòng được cam kết bằng mật mã trước khi vòng bắt đầu (thông qua giá trị băm server seed được công bố). Sau vòng chơi, máy chủ tiết lộ seed gốc và bạn có thể kiểm chứng rằng nó khớp với giá trị băm đã cam kết trước. Nếu khớp, kết quả không bị can thiệp.

Trong cấu trúc tham chiếu được dùng trong hướng dẫn này: crash_point = floor((1 − 0.03) × 2^32 / (2^32 − h)) / 100, trong đó h là số nguyên 32 bit suy ra từ 8 ký tự thập lục phân đầu tiên của giá trị băm vòng, và h mod 33 = 0 khiến vòng crash ngay tại 1.00×. Cách triển khai riêng của Spribe băm server seed cùng ba client seed bằng SHA-512 và không công bố phép tính chính xác.

Không. Giá trị băm của server seed được công bố trước khi vòng chơi diễn ra. Thay đổi server seed sau khi cam kết sẽ tạo ra một giá trị băm khác, và người chơi có thể phát hiện ngay lập tức. Cam kết mật mã khiến việc can thiệp sau đó là bất khả thi về mặt toán học.

Lợi thế nhà cái xuất hiện ở hai chỗ: (1) hệ số 0.97 trong công thức crash làm giảm mọi điểm crash theo tỷ lệ, và (2) khi h mod 33 = 0 (xác suất ≈ 3.03%), vòng chơi crash ngay tại 1.00×. Kết hợp lại, chúng cho ra đúng P(crash ≥ x) = 0.97/x.

Dùng công cụ AviatorStats Provably Fair Checker: nhập server seed (được tiết lộ sau phiên), giá trị băm server seed, client seed và nonce của vòng. Công cụ tính lại HMAC-SHA256, suy ra điểm crash bằng công thức và so sánh với kết quả đã công bố. Nếu khớp thì xác nhận tính công bằng.