Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network

Ben Weintraub,Satwik Prabhu Kumble,Cristina Nita-Rotaru,Stefanie Roos
2024-05-03
Abstract:The Lightning Network, a payment channel network with a market cap of over 192M USD, is designed to resolve Bitcoin's scalability issues through fast off-chain transactions. There are multiple Lightning Network client implementations, all of which conform to the same textual specifications known as BOLTs. Several vulnerabilities have been manually discovered, but to-date there have been few works systematically analyzing the security of the Lightning Network.
Cryptography and Security
What problem does this paper attempt to address?