SklCoin: Toward a Scalable Proof-of-Stake and Collective Signature Based Consensus Protocol for Strong Consistency in Blockchain.
Zakwan JarouchehBaraq GhalebWilliam J. BuchananPublished in: CoRR (2020)
Keyphrases
- lightweight
- formal proof
- set intersection
- replicated data
- intrusion detection
- distributed databases
- network protocols
- protocol specification
- correctness criterion
- consistency checking
- network intrusion detection
- highly scalable
- communication protocol
- cryptographic protocols
- formal analysis
- collective intelligence
- distributed database systems
- theorem proving
- network traffic