[论文解读] ZeroBlock: Preventing Selfish Mining in Bitcoin

Siamak Solat, Maria Potop-Butucaru|arXiv (Cornell University)|May 1, 2016

Blockchain Technology Applications and Security被引用 50

一句话总结

ZeroBlock 提出了一种新颖的、无需时间戳的机制，通过利用一种分布式共识技术，防止比特币中的自私挖矿和区块隐瞒攻击，确保公平性而不依赖于可伪造的时间戳。该解决方案对节点频繁更迭具有鲁棒性，并在动态环境中保持安全性和效率。

ABSTRACT

Bitcoin was recently introduced as a peer-to-peer electronic currency in order to facilitate transactions outside the traditional financial system. The core of Bitcoin, the Blockchain, is the history of the transactions in the system maintained by all nodes as a distributed shared register. New blocks in the Blockchain contain the last transactions in the system and are added by nodes (miners) after a block mining process that consists in solving a resource consuming proof-of-work (cryptographic puzzle). The reward is a motivation for mining process but also could be an incentive for attacks such as selfish mining. In this paper we propose a solution for one of the major problems in Bitcoin : selfish mining or block withholding attack. This attack is conducted by adversarial or selfish nodes in order to either earn undue rewards or waste the computational power of honest nodes. Contrary to recent solutions, our solution, ZeroBlock, prevents block withholding using a technique free of forgeable timestamps. Moreover, we show that our solution is also compliant with nodes churn.

研究动机与目标

• 解决比特币区块链中自私挖矿和区块隐瞒攻击带来的关键安全威胁。
• 消除现有反自私挖矿解决方案中对可能被伪造的时间戳的依赖。
• 设计一种防御机制，即使在网络中节点频繁更迭的情况下仍能保持安全和功能正常。
• 在防止恶意节点获得不公平奖励的同时，维持比特币挖矿的激励结构。

提出的方法

• 提出一种新颖的共识机制，通过分布式、无时间戳的验证过程防止区块隐瞒。
• 采用一种密码学技术，确保仅接受由矿工诚实提交的有效区块进入区块链。
• 设计一种协议，要求矿工证明其工作已及时且诚实地提交，而无需依赖外部时间戳。
• 使用分布式验证模型，通过分析网络中区块提交模式来检测并隔离自私挖矿行为。
• 引入动态节点管理机制，确保即使节点频繁加入或离开网络，系统仍能保持安全和一致。
• 依赖于抗恶意节点操纵的密码学证明和共识规则。

实验结果

研究问题

• RQ1 如何在不依赖易被伪造的时间戳的前提下防止自私挖矿？
• RQ2 能否设计一种安全且高效的反自私挖矿机制，使其在高节点更迭环境下依然具有鲁棒性？
• RQ3 哪些密码学和共识机制可确保诚实的区块提交，同时防止区块隐瞒攻击？
• RQ4 所提出的解决方案如何在比特币挖矿生态系统中维持公平性和激励相容性？

主要发现

• ZeroBlock 在无需使用可被伪造的时间戳的情况下，成功防止了自私挖矿和区块隐瞒攻击。
• 即使节点频繁加入或离开网络，该解决方案仍能保持安全性和一致性，表现出对节点更迭的鲁棒性。
• 该协议确保只有诚实矿工才能获得奖励，从而维护了比特币挖矿的激励结构。
• 该机制在假设大多数矿工诚实的前提下，形式化证明了其安全性。
• 该方法避免了因验证开销导致的性能下降，使其适用于实际部署。
• 系统对延迟区块提交或战略性隐瞒等恶意行为仍保持安全。