Non-interactive Proofs of Proof-of-Work.
Aggelos KiayiasAndrew MillerDionysis ZindrosPublished in: Financial Cryptography (2020)
Keyphrases
- theorem prover
- mathematical proofs
- theorem proving
- natural deduction
- interactive theorem proving
- automated theorem provers
- formal proof
- decision procedures
- automated theorem proving
- mathematical knowledge
- graphical interface
- proof search
- virtual reality
- user interaction
- cognitive processes
- computer algebra
- first order logic
- data sets
- computer vision
- interactive exploration
- linear logic
- computer graphics
- user friendly
- case study
- image processing
- highly interactive
- sequent calculus
- interactive systems
- information systems
- database
- real time