Short Paper: The Proof is in the Pudding - Proofs of Work for Solving Discrete Logarithms.
Marcella HastingsNadia HeningerEric WustrowPublished in: Financial Cryptography (2019)
Keyphrases
- theorem proving
- theorem prover
- natural deduction
- mathematical proofs
- interactive theorem proving
- formal proof
- decision procedures
- automated theorem provers
- automated theorem proving
- cut elimination
- sequent calculus
- proof search
- inference rules
- solving problems
- discrete geometry
- combinatorial optimization
- data sets
- computer vision
- evolutionary algorithm
- mathematical knowledge
- cost function
- linear logic
- discrete space
- real time
- translation invariant
- continuous domains
- finite number