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

Published in: IACR Cryptol. ePrint Arch. (2007)

Keyphrases

formal proof
formal analysis
cryptographic protocols
neural network
decision trees
closed form
theorem proving
real time
genetic algorithm
optimal solution
lightweight
theorem prover
linear equations
communication protocol