Reward Schemes and Committee Sizes in Proof of Stake Governance.

Georgios Birmpas Philip Lazos Evangelos Markakis Paolo Penna

Published in: CoRR (2024)

Keyphrases

reinforcement learning
information technology
information systems
real world
e government
theorem prover
real time
databases
knowledge base
theorem proving
long run
linear logic
proof theory
committee members
mathematical proofs