Succinct Non-Interactive Arguments of Knowledge
https://eprint.iacr.org/2011/443.pdf