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.
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.
A Composable Security Treatment of the Lightning Network
Other