Login / Signup

Balancing Participation and Decentralization in Proof-of-Stake Cryptocurrencies.

Aggelos KiayiasElias KoutsoupiasFrancisco J. Marmolejo CossíoAikaterini-Panagiota Stouka
Published in: CoRR (2024)
Keyphrases
  • theorem prover
  • mathematical proofs
  • situated learning
  • database
  • information systems
  • decision making
  • theorem proving
  • proof theory
  • proof planning
  • interactive theorem proving