Fractal: Post-Quantum and Transparent Recursive Proofs from Holography
https://eprint.iacr.org/2019/1076