We study efficiency in a proof-of-work blockchain with non-zero latencies, focusing in particular on the (inequality in) individual miners' efficiencies. Prior work attributed differences in miners' efficiencies mostly to attacks, but we pursue a different question: Can inequality in miners' efficiencies be explained by delays, even when all miners are honest? Traditionally, such efficiency-related questions were tackled only at the level of the overall system, and in a peer-to-peer (P2P) setting where miners directly connect to one another. Despite it being common today for miners to pool compute capacities in a mining pool managed by a centralized coordinator, efficiency in such a coordinated setting has barely been studied. In this paper, we propose a simple model of a proof-of-work blockchain with latencies for both the P2P and the coordinated settings. We derive a closed-form expression for the efficiency in the coordinated setting with an arbitrary number of miners and arbitrary latencies, both for the overall system and for each individual miner. We leverage this result to show that inequalities arise from variability in the delays, but that if all miners are equidistant from the coordinator, they have equal efficiency irrespective of their compute capacities. We then prove that, under a natural consistency condition, the overall system efficiency in the P2P setting is higher than that in the coordinated setting. Finally, we perform a simulation-based study to demonstrate that even in the P2P setting delays between miners introduce inequalities, and that there is a more complex interplay between delays and compute capacities.
翻译:以往的工作把矿工效率的差别主要归咎于攻击,但我们追求一个不同的问题:即使所有矿工都诚实,矿工效率的不平等能否通过延误来解释?传统上,这种效率相关问题只在整个系统一级,在矿工直接相互联系的同侪(P2P)环境中,在矿工直接相互联系的同侪(P2P)环境中解决。尽管今天矿工通常在中央协调员管理的采矿池中集中计算能力,但这种协调环境中的效率几乎没有研究。在本文件中,我们提出了一个简单的工作链证明模式,对P2P和协调环境中的延误都有解释;我们以封闭的形式表达了协调环境的效率,对矿工和矿工来说都是任意的,对整个系统和每个矿工来说都是任意的。我们利用这一结果来表明,在拖延中存在着不平等,但是,如果所有矿工在这种协调环境下的效率都比总体协调员的能力要低,那么在进行这种模拟时,我们就能证明他们的效率是平等的。