Proofs of Work From Worst-Case Assumptions.
Marshall BallAlon RosenManuel SabinPrashant Nalini VasudevanPublished in: CRYPTO (1) (2018)
Keyphrases
- worst case
- average case
- lower bound
- upper bound
- formal proof
- np hard
- theorem proving
- greedy algorithm
- machine learning
- error bounds
- equational theories
- formal proofs
- simplifying assumptions
- online algorithms
- sample size
- approximation algorithms
- theorem prover
- multi class
- space complexity
- special case
- multiscale
- running times
- three dimensional
- learning algorithm
- data mining
- data sets