Login / Signup
Securing Proof-of-Stake Nakamoto Consensus Under Bandwidth Constraint.
Joachim Neu
Srivatsan Sridhar
Lei Yang
David Tse
Mohammad Alizadeh
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
linear constraints
computational power
constraint solving
mathematical proofs
real time
neural network
knowledge base
theorem prover
theorem proving
global constraints