1. 引言
本文探討去中心化區塊鏈網絡中一個根本的經濟問題，特別是在工作量證明（PoW）礦池內。雖然區塊鏈技術實現了無需信任的共識，但挖礦過程本身——即解決加密難題以獲取獎勵——具有高度隨機性。由於整個網絡的計算能力龐大，個別礦工面臨顯著的收入波動。這種波動性促使了 礦池的形成，參與者在此匯集他們的計算資源（算力）以平穩獎勵。隨之而來的核心挑戰在於設計一個 獎勵分享方案 ，以公平且高效地將礦池的區塊獎勵分配給貢獻者。本文提出了一個新穎的概念框架來分析此類方案的公平性。
1.1. 共識協議與礦池
礦池係PoW區塊鏈（例如Bitcoin）中經濟誘因嘅直接結果。單一礦工搵到有效區塊（一個「完整解」）嘅概率，同佢佔全網哈希率嘅比例成正比。對於小型礦工嚟講，呢個概率微乎其微，導致可能好長時間都冇回報。礦池匯聚哈希算力，增加搵到區塊嘅頻率。當礦池成功時，獎勵必須被分配。本文嘅分析至關重要，因為分享方案嘅選擇直接影響礦工參與度、礦池穩定性，以及區塊鏈網絡嘅整體安全同去中心化程度。
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$時即得出比例分配方案。
5. Analytical Framework: Core Insight & Critique
核心洞察： 這篇論文不僅僅是關於礦池；它是一門將公理資源分配理論（想想Moulin或Young關於公平性的開創性研究）應用於混亂的真實世界加密經濟系統的大師級課程。作者的天才之舉在於將問題從「如何支付礦工」重新定義為「公平支付序列的固有屬性是甚麼？」通過將分析核心放在 股份 而非 礦工它們摒棄行為假設，並隔離出純粹的分配邏輯。由此得出的特徵定理既優雅又強而有力，為已知方案（如PPLNS和PROP）提供了正式的分類體系。
邏輯流程： 論證結構無懈可擊：(1) 識別貢獻的核心單位（份額）。(2) 根據新資訊（新份額）如何更新現有權益，定義兩個自然且互斥的公平原則。(3) 推導出滿足每個原則的所有方案的數學形式。(4) 審視交集以找出對兩種公平概念皆穩健的方案。這讓人聯想到基礎計算機科學論文中的公理化方法，例如定義共識算法（如FLP不可能結果）的論文，其中期望的屬性導致了對可能解決方案的特徵描述。
Strengths & Flaws: 其主要優點在於框架的普遍性和理論嚴謹性。它創造了一種通用語言來比較任何獎勵方案。然而，從實際機制設計的角度來看，該分析存在顯著的盲點。它完全抽離了 strategic miner behavior，例如礦池跳躍（切換礦池以利用方案弱點），這是像PROP這類簡單方案的致命傷。正如劍橋另類金融中心等機構的實證研究所指出的，礦池跳躍顯著影響礦工的盈利能力和礦池的穩定性。該框架亦忽略了 operational costs 及 資訊延遲，這在實時全球礦池運作中至關重要。與傳統拍賣理論中激勵相容機制的設計（例如 Myerson 的研究）相比，本文在真空狀態下定義了「公平性」，而非博弈中的「激勵相容性」。
可行建議： 對於區塊鏈協議設計者與礦池營運商而言，本文是審核其獎勵方案公平性的必讀參考。結論清晰：你必須在絕對公平與相對公平之間作出選擇；若不採用基礎的 Proportional 方案，你無法完全兼得兩者。若要建立新礦池，若穩定性與簡潔性至關重要，則 PROP 的公理純粹性是合理的。若減輕策略性操控是關鍵，則 PPLNS 類別（滿足絕對公平）在理論上對某些攻擊更具韌性，因為其獎勵取決於未來事件。本文真正開啟的研究方向是 綜合 此公平性分析與礦工行為的博弈論模型。下一個突破將是設計出一個既滿足具說服力的公平性公理，同時在貝氏-納什均衡意義上可證明是策略防禦的方案。
6. 應用前景與未來方向
此框架嘅應用範圍超越比特幣挖礦。佢直接適用於任何任務分佈、貢獻可驗證但具隨機性，且需要共享共同獎勵嘅去中心化網絡。未來主要發展方向包括：
- Proof-of-Stake (PoS) 與委託： 權益證明網絡（例如 Ethereum 2.0、Cardano）中嘅驗證者池，當持份者委託其代幣時，會面臨類似嘅獎勵分配問題。「份額」即成為權益委託事件。應用呢啲公平準則，可以引致更透明同公平嘅質押池設計。
- Decentralized Physical Infrastructure Networks (DePIN)： 好似 Filecoin（儲存）或 Helium（無線網絡覆蓋）呢類網絡，會獎勵提供現實世界資源嘅參與者。此框架有助設計公平對待動態網絡中早期與後期貢獻者嘅獎勵方案。
- Decentralized AI & Compute Markets: 喺分佈機器學習訓練任務嘅平台（例如 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. （用於分析策略行為，包括礦池跳躍）