Compounding of Wealth in Proof-of-Stake Cryptocurrencies.

Giulia C. Fanti Leonid Kogan Sewoong Oh Kathleen Ruan Pramod Viswanath Gerui Wang

Published in: CoRR (2018)

Keyphrases

linear logic
data sets
theorem prover
theorem proving
case study
proof planning
databases
neural network
social networks
multimedia
bayesian networks
search space
multiresolution
description logics