An (Almost) Constant-Effort Solution-Verification Proof-of-Work Protocol Based on Merkle Trees.

Published in: AFRICACRYPT (2008)

Keyphrases

formal analysis
cryptographic protocols
formal proof
decision trees
optimal solution
closed form
data sets
database systems
digital libraries
mathematical model
linear equations
lightweight
tree structure
model checking