Approach to Alleviate Wealth Compounding in Proof-of-Stake Cryptocurrencies.

Zahra Naderi Seyed Pooya Shariatpanahi Behnam Bahrak

Published in: CoRR (2022)

Keyphrases

theorem proving
linear logic
artificial intelligence
databases
metadata
support vector
control system
special case
theorem prover
natural deduction
imperative programs