面向基于DAG的工作量证明共识协议的自动自私矿工分析
密码学与安全
2025-06-24 v3 分布式、并行与集群计算
摘要
自私矿工是一种通过违反规则来最大化奖励的策略，在工作量证明协议中。Markov决策过程(MDP)是寻找比特币及类似线性链协议最优策略的首选工具。随着协议逐渐采用基于DAG的链结构，MDP分析变得更加复杂。迄今为止，研究人员为每个协议量身定制MDP。协议设计面临长时间的反馈循环，因为每次协议变更都需要手动处理MDP。为克服这一问题，我们提出了一个覆盖以太坊工作量证明、GhostDAG和并行工作量证明等广泛协议的通用攻击模型。我们的方案是模块化的：我们以简洁的程序指定每个协议，而我们的工具则自动派生并求解自私矿工MDP。
引用
@article{arxiv.2501.10888,
title = {Automated Selfish Mining Analysis for DAG-Based PoW Consensus Protocols},
author = {Patrik Keller},
journal= {arXiv preprint arXiv:2501.10888},
year = {2025}
}
备注
To be published in the proceedings of ACNS '25