• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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