支付并不蕴含共识（针对分布式支付系统）
分布式、并行与集群计算
2022-06-22 v2
摘要
诸如比特币之类的去中心化支付系统在过去几年中变得极为流行，然而在理解其形式化性质方面仍有大量工作待做。绝大多数去中心化支付系统通过达成网络状态共识来运作；因此一个自然的问题是这种共识是否必要。本文形式化定义了支付系统模型，并给出两个主要结果。在定理 1 中，我们表明尽管存在从支付系统到拜占庭广播的单步黑盒归约，但不存在任何其他方向上显著优于平凡归约的黑盒归约。在定理 2 中，我们展示了如何构造每笔交易仅需发送极少消息的支付系统。特别地，在该模型中，关于哪些交易已发生的全局共识对支付而言并非必要。随后我们展示了定理 2 中的构造与闪电网络之间的关系，将所给的形式化模型构造与加密货币社区提出的实用算法相联系。
引用
@article{arxiv.2105.11821,
title = {Payment Does Not Imply Consensus (For Distributed Payment Systems)},
author = {Thomas Orton},
journal= {arXiv preprint arXiv:2105.11821},
year = {2022}
}