关于HashGraph协议的思考：其安全性与局限性
密码学与安全
2022-10-26 v1
摘要
HashGraph协议是一种拜占庭容错原子广播协议。其对本地存储元数据的创新使用使得各参与方仅通过检查本地数据即可恢复其日志的一致顺序，从而免除了投票协议的需要。本文的第一个贡献是给出了HashGraph协议安全性的重写证明，该证明遵循原子广播文献中使用的一致性（consistency）与活性（liveness）范式。在第二个贡献中，我们展示了一种新颖的对抗策略，可使协议在期望指数轮数内停滞于将数据提交至日志。这证明了原论文中猜想的指数上界是紧的。我们相信我们的安全性证明将便于将HashGraph与其他原子广播协议进行比较，并将其思想纳入新的构造中。我们也相信我们的攻击可能启发针对其他基于DAG的原子广播协议的类似攻击研究。
引用
@article{arxiv.2210.13682,
title = {Musings on the HashGraph Protocol: Its Security and Its Limitations},
author = {Vinesh Sridhar and Erica Blum and Jonathan Katz},
journal= {arXiv preprint arXiv:2210.13682},
year = {2022}
}
备注
30 pages, 16 figures