Hannes Hartenstein

Model Checking the Security of the Lightning Network

2025 · arXiv (Cornell University)

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 is already used in practice. Because the Lightning Network is …