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$时即得到比例分配方案。
5. Analytical Framework: Core Insight & Critique
核心见解： 本文不仅关乎矿池；它更是将公理化资源分配理论（例如Moulin或Young关于公平性的开创性工作）应用于混乱的现实世界加密经济系统的一次大师级示范。作者的巧妙之处在于将问题从“如何支付矿工”重新定义为“公平支付序列的内在属性是什么？”。通过将分析核心置于 份额 而非 矿工它们剥离了行为假设，并分离出分配机制的纯粹逻辑。由此得出的特征定理既优雅又强大，为已知方案（如PPLNS和PROP）提供了一个形式化的分类体系。
逻辑脉络： 论证结构无懈可击：(1) 确定贡献的核心单元（份额）。(2) 基于新信息（一个新份额）如何更新现有权益，定义两条自然且互斥的公平原则。(3) 推导出满足每条原则的所有方案的数学形式。(4) 审视其交集，以找到对两种公平概念都稳健的方案。这让人联想到计算机科学基础论文中的公理化方法，例如定义共识算法（如FLP不可能性结果）的那些工作，其中期望的属性引出了对可能解决方案的特征描述。
Strengths & Flaws: 其主要优势在于框架的普适性和理论严谨性。它创造了一种通用语言来比较任何奖励方案。然而，从实际的机制设计角度来看，该分析存在显著的盲点。它完全抽象掉了 矿工的策略性行为，例如矿池跳转（切换矿池以利用方案弱点），这正是PROP等简单方案的致命缺陷。正如剑桥大学另类金融中心等机构的实证研究所指出的，矿池跳转显著影响矿工的盈利能力和矿池的稳定性。该框架也忽略了 运营成本 和 信息延迟，这对于实时全球矿池运营至关重要。与传统拍卖理论中激励相容机制的设计（例如Myerson的工作）相比，本文在真空中定义了“公平性”，而非博弈中的“激励相容性”。
可操作的见解： 对于区块链协议设计者和矿池运营商而言，本文是审计其奖励方案公平性的必读参考文献。结论很明确：你必须在绝对公平与相对公平之间做出选择；若不诉诸基本的比例分配方案，你无法同时完全拥有两者。对于构建新矿池，如果稳定性和简单性至关重要，那么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: 在分发机器学习训练任务的平台（如Gensyn、Render Network）中，为部分计算工作支付报酬的公平性至关重要。基于份额的分析方法高度相关。
- Game-Theoretic Integration: 最关键的下一个步骤是将这一公理化公平性方法与矿工策略行为模型相结合。这将涉及定义和刻画 激励相容的公平性 标准，从而设计出既在分配上公平，又能抗操纵的方案。
- 动态矿池规模分析： 当前模型假设每轮有一个固定的份额集合。未来的工作可以分析矿工动态加入和退出的矿池中的公平性问题，这是一种更现实的场景。
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. （用于分析策略性行为，包括矿池跳转）