A Memo on the Proof-of-Stake Mechanism.

George Gui Ali Hortaçsu Jose Tudon

Published in: CoRR (2018)

Keyphrases

selection mechanism
data structure
theorem prover
neural network
metadata
cooperative
special case
automated theorem proving