Login / Signup
A novel approach to alleviate wealth compounding in proof-of-stake cryptocurrencies.
Zahra Naderi
Seyed Pooya Shariatpanahi
Behnam Bahrak
Published in:
Peer Peer Netw. Appl. (2024)
Keyphrases
</>
theorem prover
databases
theorem proving
linear logic
information systems
expert systems
evolutionary algorithm
provably correct