Login / Signup
Linear Consistency for Proof-of-Stake Blockchains.
Erica Blum
Aggelos Kiayias
Cristopher Moore
Saad Quader
Alexander Russell
Published in:
CoRR (2019)
Keyphrases
</>
set intersection
theorem proving
linear constraints
knowledge base
consistency checking
real time
data sets
machine learning
image processing
bayesian networks
data structure
closed form
theorem prover
transfer function
maintaining consistency