Bootle, J;    Cerulli, A;    Groth, J;    Jakobsen, S;    Maller, M;      (2018)    Arya: Nearly linear-time zero-knowledge proofs for correct program execution.                     In: Peyrin, T and Galbraith, S, (eds.) Advances in Cryptology – ASIACRYPT 2018: 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part I.  (pp. pp. 595-626).  Springer: Cham, Switzerland.       Green open access