ProPoS: A Probabilistic Proof-of-Stake Protocol.
Daniël ReijsbergenPawel SzalachowskiJunming KeZengpeng LiJianying ZhouPublished in: CoRR (2020)
Keyphrases
- cost based abduction
- formal proof
- lightweight
- bayesian networks
- data driven
- generative model
- authentication protocol
- case study
- probabilistic approaches
- uncertain data
- context sensitive
- cryptographic protocols
- security protocols
- theorem proving
- belief networks
- real time
- privacy preserving
- probabilistic model
- neural network