Login / Signup
Barracuda: The Power of 𝓁-polling in Proof-of-Stake Blockchains.
Giulia C. Fanti
Jiantao Jiao
Ashok Vardhan Makkuva
Sewoong Oh
Ranvir Rana
Pramod Viswanath
Published in:
CoRR (2019)
Keyphrases
</>
power consumption
theorem proving
genetic algorithm
theorem prover
learning automata
database
knowledge base
image processing
long term
automated theorem proving