Arya: Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution.

Jonathan Bootle, Andrea Cerulli, Jens Groth, Sune K. Jakobsen, Mary Maller

Browse the full ASIACRYPT paper archive.