Proofware: Proof of Useful Work Blockchain Consensus Protocol for Decentralized Applications.
Zhongli DongYoung Choon LeeAlbert Y. ZomayaPublished in: CoRR (2019)
Keyphrases
- formal proof
- cooperative
- peer to peer
- lightweight
- cryptographic protocols
- multi agent
- coloured petri nets
- communication protocol
- theorem proving
- distributed systems
- formal analysis
- key distribution
- tcp ip
- network protocols
- data sets
- theorem prover
- ad hoc networks
- digital libraries
- directed networks
- complete axiomatization
- mathematical proofs