Proofs of Work from Worst-Case Assumptions.

Marshall Ball Alon Rosen Manuel Sabin Prashant Nalini Vasudevan

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

Keyphrases

worst case
average case
upper bound
lower bound
greedy algorithm
approximation algorithms
computational complexity
theorem proving
theorem prover
worst case analysis
error bounds
np hard
formal proofs
space complexity
data structure
running times
formal proof