@misc{cryptoeprint:2018:380, author = {Jonathan Bootle and Andrea Cerulli and Jens Groth and Sune Jakobsen and Mary Maller}, title = {Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution}, howpublished = {Cryptology ePrint Archive, Report 2018/380}, year = {2018}, url = {https://eprint.iacr.org/2018/380}, }