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.