比特币及其他工作量证明共识协议的模型检测
密码学与安全
2020-07-20 v1
摘要
比特币骨干协议[GKL15]是比特币工作量证明共识协议的抽象。我们使用模型检测工具（UPPAAL SMC）通过变化协议参数并采用利用了[GKL15]中引入的自私挖矿策略的敌手，来检验工作量证明共识的具体安全性。我们提供了关于建模工作量证明协议的见解，并展示了运行参数之间的权衡。将该方法应用于协议设计选项，我们表明[ES18]中的均匀打破平局规则降低了链质量属性的失败率，但提高了公共前缀属性的失败率。这一权衡说明了在设计决策如何影响协议属性，在一组具体运行条件下，以先验渐近分析所不显见的方式。
引用
@article{arxiv.2007.08644,
title = {Model Checking Bitcoin and other Proof-of-Work Consensus Protocols},
author = {Max DiGiacomo-Castillo and Yiyun Liang and Advay Pal and John C. Mitchell},
journal= {arXiv preprint arXiv:2007.08644},
year = {2020}
}