fairnessprovably fairexplainer
RNG được chứng nhận nghĩa là một phòng thí nghiệm độc lập đã khảo sát một bộ sinh số ngẫu nhiên tại một thời điểm và đánh giá đầu ra của nó vững về mặt thống kê. Công bằng chứng minh được nghĩa là trò chơi trao cho từng người chơi một biên nhận mật mã cho chính ván của họ, để mỗi cú gieo đều có thể kiểm lại mà không cần tin ai. Một mô hình kiểm toán cỗ máy. Mô hình kia chứng minh ván của bạn.
Cả hai cụm từ đều xuất hiện trên trang cam kết tin cậy của những trò chơi trực tuyến gieo xúc xắc thay bạn, và chúng nghe như thay thế được cho nhau. Không phải vậy. Chúng trả lời những câu hỏi khác nhau, hỏng theo những cách khác nhau, và khác biệt ấy quyết định bạn được đề nghị tin vào điều gì khi ngồi xuống chơi.
RNG được chứng nhận thật ra chứng nhận điều gì?
Một phòng chứng nhận lấy bộ sinh số, cho đầu ra chạy qua các bộ kiểm định thống kê, và săn tìm sai lệch: những con số đến quá thường xuyên, những mẫu lặp lại, những dãy trôi dạt. Nếu hàng triệu mẫu trông không phân biệt được với ngẫu nhiên, phòng thí nghiệm ký chứng nhận. Công việc ấy là thật và đòi hỏi tay nghề. Nó xác lập rằng bộ sinh số đó, đúng như đã được kiểm, vào ngày hôm ấy, tạo ra tính ngẫu nhiên vững chắc.
Hãy để ý điều mà chứng nhận không thể thấy. Nó được cấp trong phòng thí nghiệm, còn xúc xắc của bạn được gieo trên một máy chủ.
- Mã đã kiểm có phải là mã đang chạy hay không, sau nhiều tháng và nhiều lần cập nhật.
- Đường dây giữa bộ sinh số và ván của bạn: đoạn mã biến một con số ngẫu nhiên thô thành cú 6 và 4 của bạn.
- Bất kỳ cú gieo riêng lẻ nào trong bất kỳ trận riêng lẻ nào. Chứng nhận nói về bộ sinh số nói chung, chưa bao giờ nói về ván tối thứ Ba của bạn.
Vậy nên chứng nhận mang theo một điều khoản thứ hai lặng lẽ: hãy tin rằng không có gì thay đổi từ lúc kiểm, và hãy tin rằng đường đã chứng nhận chính là đường ván của bạn thực sự đi qua. Phần lớn các studio tôn trọng điều đó. Vấn đề là bạn không kiểm được. Mô hình này là một cuộc kiểm tra cỗ máy tại một thời điểm, rồi đến niềm tin vào việc triển khai ở mọi thời điểm sau đó.
Công bằng chứng minh được nghĩa là gì?
Công bằng chứng minh được là một thỏa thuận khác. Thay vì chỉ vào một cuộc kiểm toán bạn chưa từng thấy, trò chơi cam kết về tính ngẫu nhiên của mình trước khi chơi, rồi sau đó công bố đủ để bạn tự tính lại từng cú gieo. Bằng chứng đi cùng ván đấu. Trên thực tế nó vận hành như một phong bì dán kín.
Cam kết. Trước nước đi đầu tiên, máy chủ tạo một hạt giống bí mật và công bố dấu vân tay SHA-256 của nó. Dấu vân tay không hé lộ gì về những cú gieo sắp tới, nhưng nó ghim hạt giống tại chỗ. Đổi một bit của hạt giống về sau và dấu vân tay không còn khớp.
Gieo. Trong lúc chơi, mỗi cú gieo được suy ra từ hạt giống bằng HMAC-SHA256, mỗi cú một phép tính. Xúc xắc đã được định đoạt ngay khi phong bì được dán. Một con số dễ chịu hơn không thể luồn vào giữa ván mà không phá vỡ cam kết đã công bố.
Công bố. Sau ván, hạt giống được công bố. Ai cũng có thể băm nó, so với cam kết, tính lại từng cú gieo, và đặt kết quả cạnh những con xúc xắc đã hiện trên bàn. Nếu mọi thứ trùng khớp, ván đó không thể bị điều khiển. Nếu có gì bị can thiệp, phép toán sẽ nói ra.
Niềm tin chuyển từ công ty sang số học. Bạn không còn cần tin rằng cuộc kiểm toán kỹ lưỡng hay việc triển khai trung thành. Bạn cần SHA-256 đứng vững, và đó cũng chính là giả định mà cả phần còn lại của internet dựa vào mỗi ngày.
Chứng nhận nói đồng xu công bằng vào ngày chúng tôi ngó qua. Biên nhận nói cú tung của bạn công bằng, và trình ra phép tính.
Vậy chứng nhận còn quan trọng không?
Còn. Commit-reveal chứng minh bạn nhận được đúng tính ngẫu nhiên đã được cam kết. Nó không chứng minh rằng thứ được cam kết vốn đã tốt. Một nguồn hạt giống yếu hoặc đoán được vẫn sẽ tạo ra những biên nhận vượt kiểm hoàn hảo: giao hàng chứng minh được cho xúc xắc kém. Đánh giá chất lượng nguồn chính là việc của kiểm toán và kiểm định thống kê, và trong các ngành được quản lý thì chứng nhận đơn giản là bắt buộc.
Hai mô hình trả lời hai câu hỏi khác nhau. Kiểm toán hỏi: tính ngẫu nhiên ấy có tốt không? Biên nhận hỏi: ván của tôi có thật sự dùng nó không? Một hệ thống chỉ có cái đầu sống bằng niềm tin vĩnh viễn vào việc triển khai. Một hệ thống chỉ có cái sau có thể trung thành giao xúc xắc kém và chứng minh điều đó. Những hệ thống chắc chắn nhất đóng cả hai cánh cửa.
Vì sao một trang kiểm chứng công khai lại quan trọng?
Vì một biên nhận không ai đọc được thì không bảo vệ được ai. Một số trò công bố cam kết nhưng không cho người chơi cách kiểm thực tế, hoặc nhét phần kiểm chứng vào bên trong chính ứng dụng đang bị hỏi. Như thế chẳng khép được vòng nào. Nếu công cụ duy nhất có thể bảo chứng cho một hệ thống lại thuộc về chính hệ thống đó, bạn quay về với niềm tin, chỉ thêm vài bước.
Những thiết kế chắc chắn nhất công bố ba thứ. Cam kết, trước ván. Hạt giống, sau ván. Và một cách công khai, độc lập để tính lại các cú gieo, chạy bên ngoài ứng dụng. Đó là lý do trang kiểm chứng của Orion sống trong trình duyệt, tại orion.arthea.ai/verify: không tài khoản, không cài đặt, và lời của chúng tôi không tham gia vào phép kiểm.