Proof of Necessary Work: Succinct State Verification with Fairness Guarantees.

Assimakis Kattis Joseph Bonneau

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

Keyphrases

initial state
formal proof
real world
data mining
information systems
website
database systems
search algorithm
expert systems
evolutionary algorithm
resource allocation
theorem proving