On Replacing Cryptopuzzles with Useful Computation in Blockchain Proof-of-Work Protocols.

Andrea Merlina Thiago Garrett Roman Vitenberg

Published in: CoRR (2024)

Keyphrases

theorem prover
neural network
theorem proving
efficient computation
real time
data mining
information retrieval
knowledge base
case study
database systems
data structure
sensor networks