Bootle, Jonathan, Cerulli, Andrea, Ghadafi, Essam, Groth, Jens, Hajiabadi, Mohammad, Jakobsen, Sune K., "Linear-time zero-knowledge proofs for arithmetic circuit satisfiability", , 2017