Login / Signup
Compounding of Wealth in Proof-of-Stake Cryptocurrencies.
Giulia C. Fanti
Leonid Kogan
Sewoong Oh
Kathleen Ruan
Pramod Viswanath
Gerui Wang
Published in:
Financial Cryptography (2019)
Keyphrases
</>
linear logic
proof planning
theorem proving
support vector
theorem prover
neural network
data mining
decision making
metadata
bayesian networks
cooperative
expert systems
proof search
mathematical proofs
geometry theorem proving