fairnessprovably fairexplainer
認証済み乱数とは、独立した試験機関がある時点で乱数生成器を調べ、その出力を統計的に健全と判断したという意味です。証明可能な公正さとは、ゲームがプレイヤー一人ひとりに自分の対局の暗号的な領収書を渡し、誰も信じることなく一投ずつ再検査できるという意味です。一方は機械を監査します。もう一方はあなたの対局を証明します。
どちらの言葉も、あなたの代わりにダイスを振るオンラインゲームの信頼ページに並び、交換可能に聞こえます。そうではありません。答えている問いが違い、壊れ方が違い、その違いが、あなたが座るときに何を信じろと求められているかを決めます。
認証済み乱数は実際に何を認証しているのか
認証機関は生成器を取り、その出力を統計検定の束に通し、偏りを探します。出すぎる数字、繰り返す模様、漂う列。数百万の標本が偶然と区別できなければ、機関は証明書に署名します。その仕事は本物で、技能を要します。それが立てるのは、試験されたその形の生成器が、その日に健全な乱数を出したという事実です。
証明書に見えないものに注意してください。それは試験室で発行され、あなたのダイスはサーバーで振られます。
- 試験されたコードが、何か月も何度もの更新を経た今も、実際に配備されているコードなのか。
- 生成器とあなたのゲームのあいだの配線。生の乱数をあなたの 6 と 4 に変えるコード。
- 個々の対局の個々の一投。認証は生成器一般について語り、火曜の夜のあなたの対局については決して語りません。
つまり認証には静かな第二条項が付いています。試験のあと何も変わっていないと信じること、そして認証された経路こそがあなたの対局の通った経路だと信じること。ほとんどのスタジオはそれを守ります。要点は、あなたには確かめられないということです。このモデルは、ある一瞬の機械の検査と、その後のすべての瞬間についての信頼から成ります。
証明可能な公正さとは何か
証明可能な公正さは別の取引です。あなたが見たこともない監査を指し示す代わりに、ゲームは対局が始まる前に自らの乱数へコミットし、そのあと、あなたが自分ですべての出目を再計算できるだけのものを明かします。証明が対局とともに旅をするのです。実際には封をした封筒のように働きます。
コミット. 初手の前に、サーバーは秘密のシードを生成し、その SHA-256 の指紋を公開します。指紋はこれから出る目について何も明かしませんが、シードをその場に固定します。あとでシードを一ビットでも変えれば、指紋はもう一致しません。
ロール. 対局中、各出目は HMAC-SHA256 でシードから導かれ、一投につき一回計算されます。ダイスは封筒に封をした瞬間に決まっていました。より優しい数字を途中で滑り込ませることは、すでに公開されたコミットメントを壊さずにはできません。
リビール. 対局のあと、シードが明かされます。誰でもそれをハッシュし、コミットメントと比べ、すべての出目を再計算し、盤に現れたダイスと並べられます。すべて合うなら、その対局は操作されえませんでした。何かが改竄されていれば、計算がそう告げます。
信頼は会社から算術へ移ります。監査が徹底していたと信じる必要も、配備が忠実だったと信じる必要もありません。必要なのは SHA-256 が破られていないことだけで、それはインターネットの残り全部が毎日寄りかかっているのと同じ仮定です。
証明書は、見に行った日にコインが公正だったと言う。領収書は、あなたの一投が公正だったと言い、その計算を見せる。
では認証にはもう意味がないのか
意味はあります。コミットメント方式が証明するのは、コミットされたとおりの乱数をあなたが受け取ったという点です。コミットされたものがそもそも良かったことは証明しません。弱い、あるいは予測可能なシード源でも、完璧に検証を通る領収書は出せます。粗悪なダイスの、証明付きの配送です。源の質を判断することこそ監査と統計検定の役目であり、規制産業では証明書は端的に必須です。
二つのモデルは違う問いに答えます。監査は問います。その乱数はそもそも良いのか。領収書は問います。私の対局は本当にそれを使ったのか。前者しかない仕組みは、配備への永久の信頼の上で動きます。後者しかない仕組みは、粗悪なダイスを忠実に配送し、それを証明してしまえます。最も強い仕組みは、両方の扉を閉じます。
公開の検証ページはなぜ重要か
誰にも読めない領収書は、誰も守らないからです。コミットメントを公開しながら、プレイヤーに確かめる実用的な手段を与えないゲームもあれば、検証を当のアプリの中にしまい込むゲームもあります。それでは輪が閉じません。ある仕組みを保証できる唯一の道具がその仕組み自身のものなら、あなたはまた信頼に戻っています。手順が増えただけで。
最も強い構えは三つを公開します。対局前のコミットメント。対局後のシード。そしてアプリの外で動く、独立した公開の再計算手段。Orion の検証ページがブラウザの中、orion.arthea.ai/verify に置かれているのはそのためです。アカウントも不要、インストールも不要、そして私たちの言葉は検査に入りません。