Login / Signup

Simulating Blockchain Consensus Protocols in Julia: Proof of Work vs Proof of Stake.

Georgios DrakopoulosEleanna KafezaIoanna GiannoukouPhivos MylonasSpyros Sioutas
Published in: AIAI Workshops (2022)
Keyphrases
  • theorem prover
  • linear logic
  • theorem proving
  • mathematical proofs
  • geometry theorem proving