Aviatorのラウンドが公正か検証する手順

多くのクラッシュゲームは単純なプロバブリーフェア方式を採る。サーバーシード1つ、クライアントシード1つ、SHA-256、以上だ。Aviatorはその「多くのクラッシュゲーム」ではない。構成が独特で、標準的なクラッシュタイトルと同じ手順で検証しようとすると誤った答えが出て、ゲームが不正をしたと思い込むことになる。以下ではAviatorの実際の仕組みを追いながら、自分でラウンドを検証できるようにし、その検証が何を証明し何を証明しないのかまで整理する。

Aviatorの公正性モデルの仕組み

Aviatorは各ラウンドのクラッシュ倍率を、サーバー側のシードと3つのクライアントシードの組み合わせから生成する。この3つのクライアントシードはあなたのものではない。そのラウンドで最初にベットした3人のプレイヤーから取られる。そして結合した入力をSHA-512でハッシュする。単一シード型のクラッシュゲームが使うSHA-256ではない。

この設計には優れた性質がある。単独の当事者が結果を支配できないのだ。サーバーは、どの3人が先にベットするか、そのシードが何かを事前に知らないため、結果を単独で選べない。プレイヤー側も細工できない。サーバーシードは誰かがベットする前にコミットされているからだ。結果は4つの入力すべてを混ぜたところから生まれる。

検証する側にとっての難所は、必要な材料を正しい順序で集めなければならないこと、そしてそのうち1つ（サーバーシード）はラウンド終了後にしか開示されないことである。

手順1：ベットする前にハッシュを控える

ラウンドが始まる前、Aviatorはハッシュ化されたサーバーシードを公開する。これから使うサーバーシードのSHA-512ハッシュとして表示されることもある。これが検証の錨になる。ラウンドが走り出す前にコピーして、どこかに保存しておく。

なぜ重要か。公開されたハッシュはコミットメントだからだ。いったん外に出た以上、サーバーは別のハッシュを生じさせずにサーバーシードを変更できず、こちらは元の値をすでに握っている。後から開示されたシードをハッシュしてこの値に戻らなければ、そのラウンドは改ざんされている。ハッシュを先に控えることが検証全体の土台になる。ここを飛ばせば、ただ相手を信用しているだけだ。

手順2：ラウンドを走らせ、倍率を記録する

ラウンドを見届ける。実際に出たクラッシュ倍率を、たとえば2.47xのように正確に控える。この数値がシードから数学的に導かれるものだと後で確認するので、寸分違わず書き留めておくこと。

手順3：開示されたシードとノンスを集める

ラウンドが終わると、Aviatorの公正性パネルに必要な材料が開示される。

• サーバーシード（ハッシュ前の値）。手順1のコミットメントに戻るはずの値である。
• そのラウンドで最初にベットした3人のクライアントシード。
• ラウンド識別子またはノンス（実装が使用している場合）。

これらはゲームのプロバブリーフェア画面かラウンド履歴メニューにある。ラウンドごとに独自の組が保存されているので、倍率を記録したまさにそのラウンドのシードを引いていることを確認したい。1つ前でも1つ後でもいけない。

手順4：サーバーシードがコミットメントと一致するか確認する

何よりも先に、開示されたサーバーシードをSHA-512でハッシュし、手順1で控えたハッシュと突き合わせる。無料のSHA-512ツールがオンラインにあるし、手元で実行してもよい。2つのハッシュが一致すれば、サーバーはコミットしたシードをそのまま使った。一致しなければそこで終了だ。そのラウンドは公正ではなく、以降の計算は不要である。

この1回の比較が最も重要な検証になる。ベットを見てからサーバーがシードを差し替えていないことを証明するからだ。

手順5：結合し、ハッシュし、結果を導く

いよいよ倍率を再現する。ゲームが指定する順序と書式のとおりに入力を結合する。通常はサーバーシードに続けて3つのクライアントシード（使用していればノンスも）を並べ、1本の文字列にする。その結合文字列をSHA-512でハッシュする。

ゲームはそのハッシュの一部、たいていは先頭の数文字分の16進数を数値へ変換し、公開されている計算式を当てはめてクラッシュ倍率にする。正確な式と使用文字数はゲームの公正性セクションに記載されているので、そのとおりに従う。変換を実行して得られた数値は、手順2で記録した倍率と一致するはずだ。

一致すれば、そのラウンドはプロバブリーフェアだった。結果は判明前にコミットされたシードで固定されており、誰も手を加えていない。書式どおりに実行してなお一致しないなら、それは本物の危険信号であり、問い合わせて追及する価値がある。

この検証が本当に証明すること（そして決してできないこと）

ここが誤解されやすく、しかも肝心な部分だ。検証が証明するのは過去のラウンドが公正だったことである。結果がコミット済みのシードで固定され、事後に変更されていないと確認できる。これは実際に価値があり、プロバブリーフェアが存在する理由そのものだ。

一方で決してできないのが、次のラウンドの予測である。各ラウンドは新しいサーバーシードと、そのラウンドで先にベットした誰かの新しいクライアントシードを使う。持ち越しもパターンもなく、過去の値から次の倍率を計算する方法は存在しない。プロバブリーフェアのデータを根拠にAviatorの予測ツールやシグナルを売る者は、例外なく詐欺を働いている。事後に検証可能にしている数学こそが、事前に予測不能にしている数学なのだ。

だから検証は誠実さの確認のために行う。予測を期待して検証してはいけない。そして検証結果がどうであれ、Aviatorには依然として3%前後のハウスエッジがあるので、娯楽として予算を組み、18歳以上のみでプレイし、負けを追わないこと。