Model Checking the Security of the Lightning Network

Matthias Grundmann, Hannes Hartenstein

Payment channel networks are an approach to improve the scalability of blockchain-based cryptocurrencies. The Lightning Network is a payment channel network built for Bitcoin that…