A Composable Security Treatment of the Lightning Network
A Composable Security Treatment of the Lightning Network
复制标题
闪电网络的可组合安全处理
DOI：
10.1109/csf49147.2020.00031
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
O. Litos
中科院分区：
文献类型：
--
作者：
A. Kiayias;O. Litos
区块链协议的高延迟和低吞吐量是其广泛采用的基本障碍之一。覆盖协议，特别是闪电网络，已经被吹捧为在实践中纠正这一问题的最可行的方向。在这项工作中，我们首次在（全球）通用组合设置中对闪电网络进行了完整的形式化和安全性分析，该设置利用了全球分类账功能，比特币区块链协议的可实现性已在之前的工作中得到证明[Badertscher等人，Crypto ' 17]。因此，我们的处理方法准确地描述了协议的安全保证如何依赖于底层分类账的属性和协议参与者的频繁可用性。此外，我们提供了闪电协议核心的完整和模块化描述，精确地强调了它对底层基本加密原语的依赖，如数字签名、伪随机函数、基于身份的签名和不太常见的两方原语，我们称之为组合数字签名，最初隐藏在闪电协议的实现中。
The high latency and low throughput of blockchain protocols constitute one of the fundamental barriers for their wider adoption. Overlay protocols, notably the lightning network, have been touted as the most viable direction for rectifying this in practice. In this work we present for the first time a full formalisation and security analysis of the lightning network in the (global) universal composition setting that leverages a global ledger functionality, for which realisability by the Bitcoin blockchain protocol has been demonstrated in previous work [Badertscher et al., Crypto’17]. As a result, our treatment delineates exactly how the security guarantees of the protocol depend on the properties of the underlying ledger and the frequent availability of the protocol participants. Moreover, we provide a complete and modular description of the core of the lightning protocol that highlights precisely its dependency to underlying basic cryptographic primitives such as igital signatures, pseudorandom functions, identity-based signatures and a less common two-party primitive, which we term a combined digital signature, that were originally hidden within the lightning protocol’s implementation.
DOI：
10.14722/ndss.2019.23330
发表时间：
2019
期刊：
Proceedings 2019 Network and Distributed System Security Symposium
影响因子：
--
作者：
Giulio Malavolta;Pedro A. Moreno-Sánchez;Clara Schneidewind;Aniket Kate;Matteo Maffei
通讯作者：
Giulio Malavolta;Pedro A. Moreno-Sánchez;Clara Schneidewind;Aniket Kate;Matteo Maffei