Fractal: Post-Quantum and Transparent Recursive Proofs from Holography.
Alessandro ChiesaDev OjhaNicholas SpoonerPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- computer generated
- fractal dimension
- image compression
- quantum computation
- formal proof
- quantum computing
- quantum mechanics
- fractal analysis
- logic circuits
- equational theories
- formal proofs
- quantum inspired
- natural deduction
- database
- decision procedures
- fractal image coding
- recursive algorithm
- datalog programs
- theorem prover
- information retrieval