コントラクト：仕組みとその理由

スマートコントラクトは、プロジェクトのサーバーではなく、Solanaネットワークのノードが実行するプログラムです。コードは誰に対しても同じで、すべての操作は公開トランザクションです。FAIRDRUMのコントラクトはRustとAnchorライブラリで書かれており、ソースコードは公開されています。

サイトがコントラクトに接続されると、プログラムのアドレスがここに表示されます。

重要な帰結：fairdrum.toのサイトがなくなっても、プレイヤーの資金はコントラクトに残り、あなたのウォレットの署名を付けて出金コマンドを送れるプログラムであれば、どれを使っても出金できます。

• 保管庫。ラップドSOL建ての1つのアカウントで、動かせるのはプログラム自身だけです。プレイヤーの残高、賞金バンク、ジャックポット、準備金、管理者がまだ受け取っていない取り分のすべてがここにあります。
• ゲームの共通アカウント。保管庫の額がどう分かれているかの記録です。賞金バンク、ジャックポット、ミニジャックポット、スーパージャックポット、シード準備金、管理者の取り分、ジャックポットの初期額、ゲームごとのラウンドカウンター。
• プレイヤーアカウント。registerコマンドで作成され、サイトがこのコマンドを最初の入金と一緒に送信します。ウォレットのアドレスに紐づいており、ゲーム残高、最後の入金時刻、未完了のラウンド、ジャックポットの未払い分を記録します。
• セッションアカウント（「署名なしプレイ」が有効な場合）：一時キー、有効期限、ベット上限。

会計は、すべての残高とポットの合計が保管庫の額と等しくなるように作られています。テストでは、数万回のランダムな操作の1回ごとにこの等式を検査します。

1. ベット。spin_commitコマンドがラウンドの額をあなたの残高から差し引き、同じトランザクションの中でORAOオラクルに乱数の要求を作成します。要求のアドレスはあなたのウォレットとラウンド番号から計算されるため、他人の要求にすり替えることはできません。
2. 数値。ORAOの複数の独立したノードが乱数に署名し、ネットワークに記録します。記録されるまでは、あなたも、プロジェクトも、個々のノードも、誰もその数値を知りません。
3. 精算。spin_settleコマンドがオラクルの記録から数値を読み取り、それがまさにあなたのラウンドの要求であることを確認して、支払いを計算します。このコマンドはサイトが自動で送信します。ページが閉じられている場合は、プロジェクトの当番プログラムが送信するか、次回アクセスしたときにあなたが送信します。
4. 表示。カード、地雷、ロケット、宝石は、すでに計算された支払いを見せるための手段です。ゲーム内でどこを押しても支払いには影響しません。

結果を事前に知ることも偽造することもできない理由。ラウンドの最終的な数値は、オラクルの数値に、ベットが記録されたブロックのハッシュを混ぜ合わせたものです。ベットの時点ではこのハッシュはまだ存在せず、オラクルの数値はそのあとで第三者から届きます。そのため、結果を事前に計算することは誰にもできません。プレイヤーにも、プロジェクトにも、オラクル自身にもできません。ゲーム、ジャックポットの初期額、賞金の上限はベットの時点で記録され、計算式は公開されたコードの中にあります。遅れた精算が、期限内の精算より有利になることは決してありません。ルールを変えるにはプログラムのコードを置き換えるしかなく、それは全員に見えます（管理者についての節を参照）。

1ラウンドは0.01 SOLのベット1〜100回分です（ホイールでは最大1000回）。オラクルの数値はベットごとに独立したランダムな値に展開され、コントラクトはベット1回ごとに次の問いに順番に答えます。

1. スーパージャックポット、ジャックポット、ミニジャックポットか？各ポットの確率は、そのポットへのベットの拠出額をポットの初期額で割った値に等しくなります。ポットが抽選されるのは、中身が初期額の25%以上あるときだけです。
2. ゲームの賞金か？ゲームごとに、賞金の確率と、重み付きの6段階の表があります。たとえばホイールでは、ベットの10%で賞金が出ます。すべてのゲームの表は各ゲームのページに表示されています。
3. 「もう一度」か？11.6%の確率で、賞金バンクの負担によりベットが無料で繰り返されます。
4. どれでもなければ、賞金なしのベットです。配分はほかのベットと同じで、賞金バンク、ジャックポット、管理者の取り分に分かれます。

ゲームごとに表は異なりますが、表による期待支払いは同じです（100分の数パーセントの精度で。賞金バンクが40 SOL以上あり、賞金が上限に達しない場合）。通常の賞金でベットの約77.5%、「もう一度」の繰り返しを合わせると有料ベットの約88%です。この等しさはコンパイラが検査します。いずれかのゲームの期待値がホイールより高い場合、または0.5パーセントを超えて低い場合、プログラムはビルドできません。

• 1回の賞金は賞金バンクの4分の1まで。コントラクトは持っている以上の額を約束できず、1回の高額当選でほかのプレイヤーの分のバンクが空になることもありません。支払われなかった分はバンクに残ります。
• 出金は最後の入金から12時間後。このルールは全員に同じで、定数として書かれています。変更できるのはプログラムの新しいバージョンだけです。
• ジャックポットの初期額は24時間の遅延を経て変更されます。ラウンドの確率はベットの時点で固定されるため、「すでに行われたベットに合わせて」変更することはできません。
• 精算の期限は20分。オラクルが応答しなかった場合、ベットは全額プレイヤーに返還されます。数値が出るまでは誰も結果を知らないため、この方法で負けを取り消すことはできません。オラクルが応答したものの精算が遅れた場合、通常の賞金は支払われますが、そのラウンドではジャックポットの抽選は行われません。保管庫の保護。支払いの前と精算の後に毎回、コントラクトは、保管庫の額がプレイヤーとポットに対する債務を下回っていないことを確認します。下回っている場合、操作は拒否されます。ガーディアン。オラクルが応答しなくなると、新しいベットの受け付けが自動的に一時停止されます。精算と出金は引き続き動きます。
• ジャックポットは分割で支払われます。当選者が受け取るのはポットの95%で、そのうち20%はすぐに、その後は週に8%ずつです。未払い分は当選者のアカウントに記録されます。
• 未完了のラウンドはプレイヤー1人につき1つ。ラウンドが精算されるまで、新しいベットは受け付けられません。

• コントラクトのテスト：どのゲームでも管理者の取り分が10%であること、バンクが50 SOLのときに全ゲームの還元率が近いこと、バンクの4分の1ルールとベット時点での賞金の上限、出金ロック、初期額の遅延変更、遅れた精算が期限内の精算より有利にならないこと。
• 資金保存の検査：数万回のランダムな操作を行い、その都度、保管庫の額を残高とポットの合計と照合します。
• 長時間の実行：ゲームごとに200万回のベットを行い、プレイヤーにいくら支払われ、管理者がいくら受け取ったかを確かめます。
• ローカルのSolanaノードでの実際のトランザクション：入金、期限前の出金の拒否、準備金への拠出、初期額の変更。
• サイトのテスト：サイトはコントラクトと同じ計算式で確率を計算し、コントラクトが記録したサンプルと照合します。

検証されていないこと、行われていないことは、「なぜFAIRDRUMか」のページに飾らずに列挙しています。任意のラウンドを自分で検証する方法は、「ラウンドを検証」のページにあります。