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.
-
Notifications
You must be signed in to change notification settings - Fork 0
A Composable Security Treatment of the Lightning Network
License
OrfeasLitos/PaymentChannels
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
A Composable Security Treatment of the Lightning Network
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published