Jonathan Bootle, Alessandro Chiesa, Siqi Liu: Zero-Knowledge Succinct Arguments with a Linear-Time Prover. IACR Cryptol. ePrint Arch. 2020: 1527 (2020)