面向链下协议的博弈论安全分析

链下协议是解决区块链技术固有可扩展性问题的极有前景的方法之一。其核心思想是让各方仅在链上交易一次以建立彼此间的通道，随后利用所得通道路径在链下执行任意多的点对点交易。尽管链下协议的证明技术已取得显著进展，现有方法未能捕捉其设计核心的博弈论激励，导致过去忽视了如虫洞攻击等重要攻击向量。本工作中，我们朝链下协议的系统性博弈论安全分析迈出第一步，引入首个足以推理其安全性的博弈论模型。我们倡导使用扩展式博弈（EFG），并给出两个 EFG 实例以刻画闪电网络关闭与路由的安全属性。具体而言，我们建模了依赖惩罚机制以抑制各方将旧通道状态上传链上的关闭协议。此外，我们建模了路由协议，从而形式化刻画了虫洞攻击——一种破坏闪电网络基于费用的激励机制的漏洞。