Non-Interactive Proofs of Proof-of-Work.
Aggelos KiayiasAndrew MillerDionysis ZindrosPublished in: IACR Cryptol. ePrint Arch. (2017)
Keyphrases
- mathematical proofs
- theorem prover
- theorem proving
- interactive theorem proving
- automated theorem provers
- formal proof
- natural deduction
- automated theorem proving
- proof search
- user friendly
- decision procedures
- inference rules
- sequent calculus
- cut elimination
- graphical interface
- computer graphics
- information visualization
- linear logic
- expert systems
- proof planning
- interactive learning
- mathematical knowledge
- data sets
- virtual reality
- multiscale
- bayesian networks
- case study
- decision making
- computer vision