The auditor was the attack: Ronald Harris and the slot machine he was paid to check

仕事

スロットマシンは検査できない確率についての主張です。リールは画像であり、結果はチップ上のコードによって決定されます。そしてプレイヤーはそのチップを読むことができたことはありません。そのため業界は証明の代わりに信頼の鎖を構築しました。メーカーがソフトウェアを書き、州の規制当局の技術スタッフがそれを検査し、認定されたプログラムをチップに書き込んでキャビネットに封印します。その後のすべてはその検査にかかっています。

Ronald Dale Harrisはその検査で働いていました。1990年代初頭にネバダ州ゲーミング管制委員会のコンピュータエンジニアで、コンピュータ化されたカジノゲームのソフトウェアの欠陥と不正デバイスを見つけることに責任がありました。ニュージャージー州の後の除外提出書類では、彼は単純にスロットマシンプレイで不正を行うために設計されたソフトウェアとデバイスの検出を専門とするエンジニアとして説明されています。彼は署名をする立場にある人物として、ソースコード、ツール、そして立場を持っていました。

共謀者Ronald D. Harrisはスロットマシンプレイで不正を行うために設計されたソフトウェアとデバイスの検出を専門とするエンジニアです。ニュージャージー州ゲーミング執行部門、Reid E. McNealの除外命令、ドケット95-0240-EL

2つのスキーム、そしてそのうち1つだけが改ざんでした

Harrisが実行したのは1つの詐欺ではなく2つでした。そして2番目のものは最初のものよりはるかに興味深いです。

最初のものはバックドアでした。ソースコードへのアクセスを使用して、彼は特定のマシンを変更して特定のシーケンスと数で硬貨を挿入することで大きなペイアウトをトリガーするようにしました。1993年から1995年にかけて、彼と共謀者はラスベガスのカジノから数千ドルを取りました。これはクリーンなインサイダー攻撃です。敵対的なコードをチェックしていた男がそれを追加していました。

2番目のスキームは何も触れませんでした。終盤に、Harrisはケノに目を向け、ゲームの疑似乱数生成器がどの数字を選択するかを事前に決定するプログラムを書きました。チップは変更されませんでした。シールは破られませんでした。マシンは認定されたコードを正確に実行し、そのコードが常に生成するはずだった数字を正確に生成しました。それが全体の問題でした。

同じ男、同じ信頼モデルの2つの異なる失敗

疑似乱数生成器は決定論的関数である。同じ初期状態を与えると、毎回同じシーケンスを生成し、プレイヤーにとっての予測不可能性は、その状態とアルゴリズムが未知であることの問題である。ハリスは両方とも知っていた。外からは、ゲームは手をつけられていなく正当だった。彼の立場からは、それは印刷されたリストだった。

アトランティックシティ、1995年1月

スキームはケージで終わった。1995年1月15日、ハリスとリード・E・マクニールは、大西洋シティのバリーズ・パークプレイス・カジノ/ホテルから$100,000のキノジャックポットを得ようとする試みで、詐欺による窃盗未遂、共謀、コンピュータ窃盗で起訴された。その起訴は注意深く読む価値がある：未遂。チケットは決して支払われなかった。

それを止めたのは技術的なコントロールではなかった。マクニールが当選チケットを提示したとき、カジノの幹部は彼の態度を疑わしいと感じ、ニュージャージー州のゲーム調査官を呼んだ。数学は破られていた。金を回収している男は、喜んでいることを演じるための稽古をしていなかった。

公開記録

ハリスは7年の懲役を言い渡され、2年服役後に釈放された。彼はネバダ州ゲーミングコントロール委員会のブラックブックに登録され、州内のカジノへの入場を禁止されている。

その事件が実際に証明するもの

ハリスから導かれる一般的な教訓は、規制当局がより優れた審査を必要とするということです。それは事実ですが、小さな点です。より大きな教訓は構造的なものであり、それ以来同じ方法で構築されたあらゆるゲーミングシステムに適用されます。

• 信頼できるリーダーは単一障害点です。保証が「専門家が検査した」というものであれば、その保証はその専門家と同じくらい強力であり、彼らが変わると完全かつ静かに失敗します。
• 秘密性はセキュリティ特性ではありません。キノ予測器はまったく改ざんを必要としません。その公正性が誰もそれがどのように機能するかを学ばないことに依存しているシステムは、既に学んだ人に負けています。規制されている業界では、これには従業員、検査官、請負業者の交代するキャストが含まれます。
• プレイヤーは証明の外側にいます。1990年代のモデルでは、プレイヤーは何も検証できませんでした。「これが公正だとどうやって知るのか？」という質問への最良の応答は証明書上の名前でしたが、それはここで失敗した答えです。

暗号化は既に19世紀に中間点に答えていました。Kerckhoffsの原則は、システムがその設計のすべてが公開されている場合でも安全に保つべきであり、秘密にできる唯一のものはキーであると述べています。その安全性がアルゴリズムが不明であることに基づくキノジェネレータは、作成された日にそのテストに失敗します。ハリスのような人が現れるまで、それは公的には失敗しません。

それを置き換えたモデル

コミット・リビール公正性は、ハリスが破った仮定を正確に削除するために存在します。ハウスがサーバーシードを生成してベットの前にそのハッシュを公開します。これはその後変更できない約束です。独自のクライアントシードが結果に混在しているため、結果はハウスが選択しなかった値に依存します。カウンターは各ラウンドを異なるものにします。シードペアをローテーションして古いサーバーシードが明らかになると、その時点ですべての過去のラウンドをマシンで再計算し、支払われたものと照らし合わせることができます。

これを上の2つのスキームと照らし合わせて読んでください。バックドアは、ベット前に行われたコミットによって結果が固定されているため失敗します。したがって、ベット後に異なる支払いを決定できるコードパスはありません。予測器は、アルゴリズムを知ることが何も購入しないため失敗します。サーバーシードがコミットされて非表示になり、クライアントシードはあなたのものであり、方法全体をそれを弱めることなく公開できます。それが要点です。アルゴリズムは公開されることを意図しています。全体ラウンドを検証するウォークスルーは約1分かかり、それは約束ではなく証明です。

これが何を買い、何を買わないかについて正確であることは価値があります。なぜなら、ここで主張しすぎること自体が不正直だからです。検証されたドローは、数字がステアリングされなかったことを証明しています。それはペイテーブルが寛大かどうかについて何も言いません。公正な値の半分を支払うゲームは完全に検証されます。これらは2つの別の質問であり、公開されたペイテーブルだけが2番目の質問に答えます。

また、コミット・リビールはそれ自体でオペレーターを正直にすることはありません。それは不正がどのように見えるかを狭くします。ハウスは依然としてゲームを悪く価格設定できますが、ベットを見た後にラウンドの結果を決定することはできなくなり、チェックできないことに頼ることもできなくなります。

ハリスは詐欺師として記憶されており、実際そうでした。彼は否定の証明として更に有用です。彼は、内部者の完全性と裁量に基づく信頼モデルが最終的に内部者に会うことを2度示しました。業界の答えは慎重な人を雇い続けることでした。より良い答えは彼らを必要とするのをやめることでした。

遊ベット前にコミットされたドローを伴うキノ
ボード、ペイアウトテーブル、その後チェックできるシードペアキノ →

FAQ

ロナルド・デール・ハリスとは誰ですか？

1990年代初頭にネバダゲーミングコントロール委員会に雇用されたコンピュータエンジニア。彼の仕事は、スロットマシンでのカンニングを目的とした複数のソフトウェアとデバイスを検出することでした。彼はそのアクセスを使用して、マシンを自分でいかさました。

ロナルド・ハリスはスロットマシンをどのようにカンニングしましたか？

彼は特定のマシンのソフトウェアを変更して、特定のシーケンスと数でコインを挿入すると、大量の支払いがトリガーされるようにしました。1993年から1995年の間に、彼と共犯者はラスベガスカジノから数千ドルを盗むために使用しました。

彼はどのように捕まりましたか？

技術的な管理ではありません。彼の共犯者Reid McNealは、アトランティックシティのBally's Park Placeで$100,000のキノジャックポットを集めようとしました。カジノエグゼクティブは彼の行動に疑いを持ち、ニュージャージーゲーミング調査官に警告しました。両者は1995年1月15日に起訴されました。

彼身に何が起こりましたか？

彼は7年の懲役判決を受け、2年服役後に釈放されました。ネバダゲーミング管制委員会のブラックブックに登録されており、州内のライセンス取得カジノへの入場が禁止されています。

Keno予測攻撃はprovably fairゲームに対して機能する可能性がありますか？

同じ方法ではありません。Harrisはアルゴリズムとその状態を知っている者にとって出力が予測可能なジェネレータを悪用しました。commit-reveal方式では、サーバーシードは賭けの前にハッシュでコミットされ、その後公開され、クライアントのクライアントシードが結果に入力されます。したがって、アルゴリズムを公開してもコストはなく、賭けが行われた後に結果を変更することはできません。

ソースと参考資料

• ニュージャージー州ゲーミング執行部 - Reid E. McNeal除外命令、docket 95-0240-EL（1995年1月15日の告発、$100,000 Bally's Park Place kenoの試み、Harrisの役割）
• Ronald Dale Harris - 雇用、コイン配列の変更、kenoプログラム、逮捕と判決
• ネバダゲーミング管制委員会 - 除外者リスト
• Auguste Kerckhoffs、「La cryptographie militaire」（1883年）- 鍵以外のすべてが公開されている状態でシステムが安全に保つ必要があるという原則

この記事でのゲーム

Keno — ルール＆無料プレイ →