1. はじめに
本論文は、分散型ブロックチェーンネットワーク、特にProof-of-Work (PoW) マイニングプールにおける根本的な経済問題を取り扱う。ブロックチェーン技術は信頼不要の合意形成を可能にするが、報酬を得るための暗号パズルを解くマイニングプロセス自体は高度に確率的である。ネットワーク全体の膨大な計算能力により、個々のマイナーは収入の著しい変動に直面する。この変動は、 マイニングプールの形成を促す。参加者は計算リソース（ハッシュパワー）を結合し、報酬を平準化する。中核的な課題は、プールのブロック報酬を貢献者間で公平かつ効率的に分配する 報酬分配スキーム を設計することとなる。本論文は、そのようなスキームの公平性を分析するための新たな概念的枠組みを提案する。
1.1. コンセンサス・プロトコルとプール
マイニングプールは、BitcoinのようなPoWブロックチェーンにおける経済的インセンティブの直接的な帰結である。単一のマイナーが有効なブロック（「完全解」）を見つける確率は、ネットワーク全体のハッシュレートに占める彼らのシェアに比例する。小規模マイナーにとって、この確率は無視できるほど低く、報酬を得られない期間が長くなる可能性がある。プールはハッシュパワーを集約し、ブロック発見の頻度を高める。プールが成功した場合、報酬は分配されなければならない。共有スキームの選択がマイナーの参加、プールの安定性、そしてブロックチェーンネットワーク全体のセキュリティと分散性に直接影響するため、本論文の分析は極めて重要である。
2. 概念的枠組みと公平性基準
著者らは分析の焦点を個々のマイナーから、 報告されたシェアへと移す。シェアとは、暗号パズルに対する部分解であり、作業証明を示すが、それ自体は有効なブロックを構成しない。報酬ラウンド内におけるこれらのシェアの順序とタイミングが、分配の基礎を形成する。
本論文は二つの革新的な公平性公理を導入する：
2.1. 絶対的再分配公平性
この基準は、新しいシェアがプールに提出された際に、それ以前に提出された全てのシェアの報酬権利に同じ絶対額の影響を与えることを要求する。 絶対額形式的には、シェア$j$の提出によりシェア$i$の報酬が$\Delta R_i$変化する場合、他の任意のシェア$k$について$\Delta R_k = \Delta R_i$が成り立つ。これは報酬関数に強い加法性と経路独立性を課す。
2.2. 相対的再分配公平性
この基準は、新しいシェアが提出された際に、それ以前の全てのシェアの報酬権利に同じ相対比率で影響を与えることを要求する。 相対比率形式的には、新しいシェア$j$以前に存在する全てのシェア$i, k$について、$\frac{R_i^{new}}{R_i^{old}} = \frac{R_k^{new}}{R_k^{old}}$が成り立つ。これはプールの進化に伴い、シェア間の比例関係を維持することに焦点を当てている。
3. 報酬共有スキームの特性評価
主な理論的貢献は、各公平性基準を満たす報酬スキームのクラスを特徴付けることである。
3.1. 絶対的公平性を満たすスキーム
絶対的再分配公平性を満たすスキームのクラスは、シェアに対する報酬が依存するものとして特徴付けられる。 それは提出された後に提出されたシェアの数のみに依存する。 ブロックが見つかるまで。典型的な例は、 Pay-Per-Last-N-Shares (PPLNS) スキームであり、報酬はブロック発見前の最後のNシェアに分配される。新しいシェアが到着すると、単に有効なシェアの「ウィンドウ」がシフトし、絶対的な意味ですべての以前のシェアに均等に影響を与える（それらはすべてウィンドウから外れるのに一歩近づく）。
3.2. 相対的公平性を満たすスキーム
相対的再分配公平性を満たすスキームのクラスは、シェアに対する報酬が、そのシェアより前に提出されたシェアの数にのみ依存する関数に比例するものとして特徴付けられる。 そのシェアより前に提出されたシェアの数にのみ依存する。最も有名な例は、 比例配分（PROP） スキームである。このスキームでは、各シェアはそのラウンドで提出された全シェア数に比例した報酬を受け取る。新しいシェアが到着すると、既存の全シェアの報酬が同じ相対的な係数で希釈される。
3.3. 交差と比例スキーム
絶対的公平性と相対的公平性の両方を満たすスキームという二つのクラスの交差は、比例スキームの一パラメータ一般化であることが示される。この結果の系として、古典的な比例スキーム自体に対する新しい公理的特徴付けが得られる：それは、 唯一の 自然な正規化条件の下で両方の公平性基準を同時に満たすスキーム。これにより、プールホッピングに対する脆弱性が知られているにもかかわらず、PROPの広範な使用に対する強固な理論的正当性が提供される。
4. 技術的詳細と数学的定式化
ラウンドで提出されたシェアのシーケンスを $S = (s_1, s_2, ..., s_n)$ とし、シェア $s_n$ で完全解（ブロック）が得られてラウンドが終了するとする。報酬分配スキームは、シェア $s_i$ に報酬を割り当てる関数 $R(i, S)$ である。
絶対的再分配公平性 (ARF): For any sequences $S$ そして $S'$ where $S'$ is $S$ with an additional share inserted at position $j$, そして for any $i, k < j$, we have: $$R(i, S') - R(i, S) = R(k, S') - R(k, S)$$
相対的再分配公平性 (RRF): 上記と同じ $S, S', i, k$ について：
本論文は、ARFが$R(i, S) = f(n-i)$を意味することを証明している。ここで$f$はある関数であり、$(n-i)$は$s_i$以降のシェア数である。RRFは$R(i, S) = g(i) \cdot B$を意味し、ここで$g(i)$はシェアの位置に依存し、$B$は総ブロック報酬である。両者の共通部分から、定数$c, \alpha$に対して$R(i, S) = \frac{c \cdot B}{i^{\alpha}}$が導かれ、$\alpha=0$の場合は比例配分方式となる。
5. Analytical Framework: Core Insight & Critique
中核的洞察： 本論文は単なるマイニングプールの研究ではなく、公理的資源配分理論（MoulinやYoungの公平性に関する先駆的研究を想起せよ）を混沌とした現実の暗号経済システムに適用するための模範的教程である。著者の卓見は、「マイナーにどう支払うか」という問題を「公平な支払い順序の内在的特性とは何か？」という問いに再構築した点にある。分析の焦点を シェア ではなく マイナーそれらは行動に関する仮定を取り除き、分配の純粋な論理を切り離す。結果として得られる特性定理は優雅で強力であり、PPLNSやPROPのような既知のスキームに対する形式的な分類体系を提供する。
論理の流れ： 議論は完璧に構造化されている：(1)貢献の核心単位（シェア）を特定する。(2)新しい情報（新しいシェア）が既存の権利をどのように更新するかに基づいて、二つの自然で相互に排他的な公平性原理を定義する。(3)各原理を満たす全てのスキームの数学的形式を導出する。(4)両方の公平性概念に対して頑健なスキームを見つけるために、その交わりを検討する。これは、望ましい特性が可能な解の特徴付けへと導く、合意アルゴリズム（例：FLP不可能性結果）を定義するような、計算機科学の基礎的な論文における公理的手法を彷彿とさせる。
Strengths & Flaws: 主な長所は、この枠組みの一般性と理論的厳密性である。あらゆる報酬スキームを比較するための共通言語を創出する。しかし、実用的なメカニズムデザインの観点からは、分析には重大な盲点がある。それは完全に抽象化しており、 戦略的なマイナーの行動、例えばプールホッピング（スキームの弱点を利用するためにプールを切り替える行為）といったものを考慮していない。これはPROPのような単純なスキームの悩みの種である。ケンブリッジ・センター・フォー・オルタナティブ・ファイナンスなどの機関による実証研究で指摘されているように、プールホッピングはマイナーの収益性とプールの安定性に大きな影響を与える。この枠組みはまた、 運用コスト そして 情報遅延これはリアルタイムのグローバルプール運用において極めて重要である。従来のオークション理論におけるインセンティブ両立性メカニズムの設計（例：マイヤーソンの研究）と比較すると、本論文は「公平性」を真空状態で定義しており、ゲーム理論における「インセンティブ両立性」ではない。
実践的示唆： ブロックチェーンプロトコル設計者およびプール運営者にとって、本論文は報酬スキームの公平性を監査する上で必読の参考文献である。結論は明らかだ：絶対的公平性と相対的公平性のいずれかを選択しなければならない；基本的なProportionalスキームに頼らずに両方を完全に実現することはできない。新規プールを構築する際、安定性とシンプルさが最優先であれば、PROPの公理的純粋性は正当化される。戦略的操作の緩和が重要であれば、PPLNSクラス（絶対的公平性を満たす）は報酬が将来の事象に依存するため、理論的には特定の攻撃に対してより堅牢である。本論文が真に切り開く研究方向は、 統合 この公平性分析とマイナーの行動に関するゲーム理論モデルとの統合である。次のブレークスルーは、説得力のある公平性公理を満たしつつ、ベイジアン・ナッシュ均衡の意味で戦略耐性が証明可能なスキームとなるだろう。
6. 応用の展望と将来の方向性
このフレームワークはビットコインマイニングを超えて拡張可能である。タスクが分散され、貢献が検証可能だが確率的であり、共通の報酬を分配しなければならないあらゆる分散型ネットワークに直接適用できる。主な将来の方向性は以下の通りである：
- Proof-of-Stake (PoS) and Delegation: PoSネットワーク（例：Ethereum 2.0、Cardano）のバリデータープールは、ステークホルダーがトークンを委任する際に類似した報酬分配問題に直面する。「シェア」はステーク委任イベントとなる。これらの公平性基準を適用することで、より透明で公平なステーキングプールの設計が可能となる。
- Decentralized Physical Infrastructure Networks (DePIN): Filecoin（ストレージ）やHelium（無線カバレッジ）のようなネットワークは、現実世界のリソースを提供する参加者に報酬を与える。このフレームワークは、動的なネットワークにおける初期および後期の貢献者に対して公平な報酬スキームの設計に役立つ。
- Decentralized AI & Compute Markets: MLトレーニングタスクを分散するプラットフォーム（例：Gensyn、Render Network）では、部分的な計算作業に対する支払いの公平性が極めて重要である。シェアベースの分析は非常に関連性が高い。
- Game-Theoretic Integration: 最も重要な次のステップは、この公理的公平性アプローチと戦略的マイナーの行動モデルを統合することです。これには、定義と特性の明確化が含まれます。 インセンティブ両立的公平性 基準を確立し、分配において公平であり、かつ操作に対して頑健なスキームを導くことです。
- 動的プールサイズ分析： 現在のモデルは、ラウンドごとのシェア数を固定と仮定しています。今後の研究では、より現実的なシナリオである、動的に参加・退出するマイナーがいるプールにおける公平性を分析することが考えられます。
7. References
- Nakamoto, S. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System.
- Moulin, H. (2004). Fair Division and Collective Welfare. MIT Press. （基礎的な公理的公平性理論のため）
- Lewenberg, Y., Bachrach, Y., Sompolinsky, Y., Zohar, A., & Rosenschein, J. S. (2015). Bitcoin マイニングプール: A cooperative game theoretic analysis. Proceedings of the 2015 International Conference on Autonomous Agents そして Multiagent Systems. （マイニングプールのゲーム理論的分析のため）
- Cambridge Centre for Alternative Finance. (2020). 2nd Global Cryptoasset Benchmarking Study. （マイニングプールの経済と行動に関する実証データのため）
- Myerson, R. B. (1981). Optimal auction design. Mathematics of operations research, 6(1), 58-73. （インセンティブ両立的メカニズム設計の標準的理論のため）
- Fischer, M. J., Lynch, N. A., & Paterson, M. S. (1985). Impossibility of distributed consensus with one faulty process. Journal of the ACM (JACM), 32(2), 374-382. （分散システムにおける先駆的な公理的特性付けの例として）
- Eyal, I. (2015). The miner's dilemma. 2015 IEEE Symposium on Security and Privacy. （プールホッピングを含む戦略的行動の分析として）