A Proof-of-Stake Protocol for Consensus on Bitcoin Subchains.
Massimo BartolettiStefano LandeAlessandro Sebastian PoddaPublished in: Financial Cryptography Workshops (2017)
Keyphrases
- trusted third party
- formal proof
- lightweight
- communication protocol
- coloured petri nets
- directed networks
- communication protocols
- formal analysis
- credit card
- security analysis
- security protocols
- theorem proving
- third party
- authentication protocol
- database
- application layer
- clustering ensemble
- tcp ip
- linear logic
- multi party
- network protocols
- neural network