Login / Signup
A Permissionless Proof-of-Stake Blockchain with Best-Possible Unpredictability.
Lei Fan
Jonathan Katz
Phuc Thai
Hong-Sheng Zhou
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
geometry theorem proving
databases
hidden markov models
theorem proving
image processing
decision making
neural network
case study
reinforcement learning
evolutionary algorithm
probability distribution
scheduling problem
theorem prover
genetic algorithm
linear logic
proof planning
mathematical proofs