Fractal: Post-quantum and Transparent Recursive Proofs from Holography.
Alessandro ChiesaDev OjhaNicholas SpoonerPublished in: EUROCRYPT (1) (2020)
Keyphrases
- computer generated
- fractal dimension
- image compression
- theorem proving
- quantum computing
- quantum computation
- quantum inspired
- fractal analysis
- formal proof
- learning algorithm
- fractal image encoding
- mathematical proofs
- fractal image coding
- database
- recursive algorithm
- theorem prover
- fractal encoding
- logic programs
- image processing