Spartan: Efficient and general-purpose zkSNARKs without trusted setup

https://eprint.iacr.org/2019/550