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

Alessandro Sforzin Matteo Maso Claudio Soriente Ghassan Karame

Published in: Blockchain (2022)

Keyphrases

storage overhead
theorem proving
proof planning
information retrieval
theorem prover
e learning
case study
image sequences
objective function
object recognition
geometry theorem proving