Login / Signup

On the Storage Overhead of Proof-of-Work Blockchains.

Alessandro SforzinMatteo MasoClaudio SorienteGhassan Karame
Published in: CoRR (2022)
Keyphrases
  • storage overhead
  • linear logic
  • theorem prover
  • theorem proving
  • automated theorem proving
  • artificial intelligence
  • mathematical proofs
  • natural deduction