README.md

A Composable Security Treatment of the Lightning Network

In this paper we define a "payment network" functionality, implement the Lightning Network protocol in pseudocode and prove that the protocol UC-realizes the functionality.