The Proof is in the Pudding: Proofs of Work for Solving Discrete Logarithms.
Marcella HastingsNadia HeningerEric WustrowPublished in: IACR Cryptol. ePrint Arch. (2018)
Keyphrases
- theorem proving
- mathematical proofs
- theorem prover
- interactive theorem proving
- automated theorem provers
- natural deduction
- formal proof
- proof search
- sequent calculus
- automated theorem proving
- combinatorial optimization
- decision procedures
- cut elimination
- inference rules
- proof planning
- lagrangian method
- continuous optimization
- real time
- lagrange multipliers
- translation invariant
- continuous domains
- finite number
- computer vision
- neural network