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

Ben Weintraub, Satwik Prabhu Kumble, Cristina Nita-Rotaru +1

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…