1. 引言
本文探討去中心化區塊鏈網絡中的一個基本經濟問題，特別是在工作量證明（PoW）礦池中。雖然區塊鏈技術實現了無需信任的共識，但挖礦過程本身——即解決加密難題以獲取獎勵——具有高度隨機性。由於整個網絡的龐大計算能力，個別礦工面臨顯著的收入波動。這種波動性促使了 礦池的形成，參與者在此結合其計算資源（算力）以平穩化獎勵。隨之而來的核心挑戰在於設計一個 獎勵分配方案 ，以公平且有效地將礦池的區塊獎勵分配給貢獻者。本文提出了一個新穎的概念框架來分析此類方案的公平性。
1.1. 共識協議與礦池
礦池是比特幣等PoW區塊鏈中經濟激勵的直接產物。單一礦工找到有效區塊（「完整解」）的機率，與其佔全網哈希算力的比例成正比。對小型礦工而言，此機率微乎其微，可能導致長時間無法獲得獎勵。礦池匯聚哈希算力，從而提高發現區塊的頻率。當礦池成功出塊時，獎勵必須進行分配。本文的分析至關重要，因為獎勵分配方案的選擇直接影響礦工參與度、礦池穩定性，以及區塊鏈網絡的整體安全與去中心化程度。
2. 概念框架與公平性標準
作者將分析焦點從個別礦工轉移至 已提交的份額。「份額」是密碼學難題的部分解，它證明了工作量但本身不構成有效區塊。這些份額在一個獎勵輪次中的順序與時間點，構成了分配獎勵的基礎。
本文提出了兩項創新的公平性公理：
2.1. 絕對再分配公平性
此標準要求，當一個新份額被提交至礦池時，它對所有先前提交的份額之獎勵權益的影響程度必須相同。 絕對數量形式上，若份額 $i$ 的獎勵在份額 $j$ 提交時變化量為 $\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$ 處找到完整解（區塊）而結束。獎勵分配方案是一個函數 $R(i, S)$，它將獎勵分配給股份 $s_i$。
絕對再分配公平性 (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意味著對於某個函數 $f$，有 $R(i, S) = f(n-i)$，其中 $(n-i)$ 是 $s_i$ 之後的份額數量。RRF意味著 $R(i, S) = g(i) \cdot B$，其中 $g(i)$ 取決於份額的位置，而 $B$ 是總區塊獎勵。兩者的交集導致 $R(i, S) = \frac{c \cdot B}{i^{\alpha}}$，其中 $c, \alpha$ 為常數，當 $\alpha=0$ 時即得到 Proportional 方案。
5. Analytical Framework: Core Insight & Critique
核心見解： 這篇論文不僅僅是關於礦池；它是一門將公理化資源分配理論（想想 Moulin 或 Young 關於公平性的開創性工作）應用於混亂、真實世界的加密經濟系統的大師級課程。作者的天才之舉在於將問題從「如何支付礦工」重新定義為「公平支付序列的固有屬性是甚麼？」通過將分析核心置於 份額 而非 礦工它們摒除了行為假設，並隔離出分配邏輯的純粹本質。由此得出的特徵定理既優雅又強大，為已知方案（如PPLNS和PROP）提供了形式化的分類體系。
邏輯流程： 論證結構無懈可擊：(1) 識別貢獻的核心單位（份額）。(2) 根據新資訊（新份額）如何更新現有權益，定義兩條自然且互斥的公平原則。(3) 推導出滿足每條原則的所有方案的數學形式。(4) 檢視交集以找出對兩種公平概念皆具穩健性的方案。這讓人聯想到基礎計算機科學論文中的公理化方法，例如定義共識演算法（如FLP不可能性結果）的那些研究，其中期望的屬性引領出對可能解決方案的特徵描述。
Strengths & Flaws: 主要優點在於該框架的普遍性與理論嚴謹性。它創造了一種通用語言來比較任何獎勵方案。然而，從實用機制設計的角度來看，此分析存在顯著的盲點。它完全抽離了 礦工的策略性行為，例如礦池跳躍（切換礦池以利用方案弱點），這正是像PROP這類簡單方案的致命傷。正如劍橋另類金融中心等機構的實證研究所指出的，礦池跳躍顯著影響礦工的獲利能力和礦池的穩定性。該框架也忽略了 營運成本 和 資訊延遲，這在即時全球礦池運作中至關重要。與傳統拍賣理論中激勵相容機制的設計（例如 Myerson 的研究）相比，本文在真空狀態下定義了「公平性」，而非博弈中的「激勵相容性」。
可行洞見： 對於區塊鏈協議設計者和礦池營運者而言，本文是審計其獎勵方案公平性的必讀參考。其結論很明確：你必須在絕對公平或相對公平之間做出選擇；若不訴諸基本的 Proportional 方案，你無法同時完全擁有兩者。對於建立一個新礦池，若穩定性和簡潔性至關重要，則 PROP 的公理化純粹性是合理的。若減輕策略性操縱是關鍵，則 PPLNS 類（滿足絕對公平）在理論上對某些攻擊更具韌性，因為其獎勵取決於未來事件。本文真正開啟的研究方向是 綜合 此公平性分析與礦工行為的博弈論模型。下一個突破將是設計出一種方案，既能滿足一個具說服力的公平性公理，同時也能在貝氏-納什均衡的意義上被證明是策略防禦的。
6. 應用前景與未來方向
此框架的應用範圍超越比特幣挖礦。它直接適用於任何任務分散、貢獻可驗證但具隨機性，且需共享共同獎勵的去中心化網絡。關鍵的未來研究方向包括：
- 權益證明（PoS）與委託： 在PoS網絡（如以太坊2.0、Cardano）中，當持幣者委託其代幣時，驗證者池面臨類似的獎勵分配問題。「份額」在此成為權益委託事件。應用這些公平性標準，可促使權益池設計更加透明與公平。
- 去中心化實體基礎設施網絡（DePIN）： 如Filecoin（儲存）或Helium（無線覆蓋）等網絡會獎勵提供現實世界資源的參與者。此框架有助於設計在動態網絡中對早期與晚期貢獻者皆公平的獎勵方案。
- Decentralized AI & Compute Markets: 在分發機器學習訓練任務的平台（如Gensyn、Render Network）中，為部分計算工作支付報酬的公平性至關重要。基於份額的分析方法高度相關。
- 賽局理論整合： 最關鍵的下一步是將此公理化公平性方法與礦工策略行為模型相結合。這將涉及定義並描述 激勵相容公平性 準則，從而設計出既分配公平又能抵禦操縱的方案。
- 動態礦池規模分析： 當前模型假設每輪的份額數量固定。未來研究可分析礦工動態加入與退出的礦池中的公平性，此為更貼近現實的情境。
7. 參考文獻
- 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. （用於分析策略行為，包括礦池跳躍）