用于惰性区块链的轻客户端

惰性区块链将共识与交易验证及执行解耦以提高吞吐量。尽管其结果可能包含无效交易（例如双花），但这些可被检查是否存在先前冲突交易的完整节点轻易过滤掉。然而，创建看不到完整交易历史的轻量（SPV）客户端成为一项挑战：链上交易的记录并不一定意味着交易确认。在本文中，我们设计了一种协议，能够为由惰性区块链创建高效的轻客户端。我们协议的交互轮数与通信复杂度在区块链执行时间上是对数级的。我们的构造基于一个二分博弈，该博弈遍历包含全部——有效或无效——交易账本的 Merkle 树。我们证明了我们的证明系统简洁、完备且可靠，并通过实验证明了我们方案的可行性。