Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation

https://eprint.iacr.org/2019/317.pdf