Login / Signup
Proof-of-Stake Longest Chain Protocols Revisited.
Xuechao Wang
Govinda M. Kamath
Vivek Kumar Bagaria
Sreeram Kannan
Sewoong Oh
David Tse
Pramod Viswanath
Published in:
CoRR (2019)
Keyphrases
</>
theorem proving
theorem prover
data sets
maximum number
application level
communication protocols
database
real time
data mining
digital libraries
lower bound
multi party
linear logic
higher throughput