[论文解读] Double-Spend Counterattacks: Threat of Retaliation in Proof-of-Work Systems
本文提出了一种在工作量证明区块链中的报复机制，受害者在遭受双花攻击后可通过获取相当的算力进行反击，将情境转化为消耗战博弈。该机制证明存在一个子博弈完美均衡，在此均衡中，即使攻击成本低廉，由于报复威胁具有可信性，攻击也不会发生，从而在无需提高挖矿成本或依赖外部信任的情况下确保了安全性。
Proof-of-Work mining is intended to provide blockchains with robustness against double-spend attacks. However, an economic analysis that follows from Budish (2018), which considers free entry conditions together with the ability to rent sufficient hashrate to conduct an attack, suggests that the resulting block rewards can make an attack cheap. We formalize a defense to double-spend attacks. We show that when the victim can counterattack in the same way as the attacker, this leads to a variation on the classic game-theoretic War of Attrition model. The threat of this kind of counterattack induces a subgame perfect equilibrium in which no attack occurs in the first place.
研究动机与目标
- 分析在自由进入和液态算力市场条件下，工作量证明区块链中51%双花攻击的经济可行性。
- 建立模型，说明受害者如何通过获取相当算力来可信地实施报复，从而威慑攻击。
- 形式化一个全新的博弈论模型——“报复博弈”——在Budish（2018）框架基础上，为攻击者和受害者均赋予对称的攻击能力。
- 通过分析历史双花攻击和算力交易所的市场流动性，对模型进行实证验证。
- 探讨液态衍生品市场和多受害者攻击对区块链未来安全的影响。
提出的方法
- 通过修改攻击持续时间以影响租赁成本和区块奖励累积，扩展Budish（2018）的经济模型。
- 引入一个双人动态博弈，其中攻击者和受害者均可租赁算力，将互动建模为具有对称能力的消耗战博弈。
- 应用子博弈完美均衡分析，表明报复威胁可导致均衡中不发生攻击，即使攻击成本很低。
- 引入受害者的声誉成本以及后续攻击的递增边际成本，以建模现实中的激励机制。
- 基于Crypto51和NiceHash的数据，实证分析算力可得性及不同区块链上攻击的可行性。
- 使用推论分析，定义在不同市场影响条件（κ(β)）下交易的安全阈值。
实验结果
研究问题
- RQ1在具有液态算力市场的PoW区块链中，双花攻击在何种条件下具有经济可行性？
- RQ2受害者能否可信地威胁以相当算力进行报复，这种威胁如何影响均衡结果？
- RQ3报复威胁是否能诱导出一个子博弈完美均衡，使得即使攻击成本低廉，攻击也不会发生？
- RQ4算力市场的流动性如何影响不同区块链上双花攻击的可行性与频率？
- RQ5现实世界区块链系统中，双花攻击和报复行为的实证证据有哪些？
主要发现
- 存在一个子博弈完美均衡，即使攻击成本低廉，双花攻击也不会发生，原因在于受害者报复威胁具有可信性。
- 模型表明，当攻击者和受害者均可租赁算力时，双花行为无利可图，因为长期冲突的风险会阻止攻击发起。
- 实证数据证实，双花攻击已在比特币黄金等低PoW链上发生，因其算力在NiceHash等市场易于租赁。
- 比特币和以太坊等高PoW链因市场影响（κ(β)）过高，算力获取成本过高，因而基本免疫。
- 比特币黄金的初步证据表明，报复行为可能已开始出现，暗示一种初步的威慑效应。
- 分析显示，在算力较低且算力可得性高的链上（如Expanse，其算力可达总量的70倍），攻击更可能发生，且往往近乎免费。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。