zkSNARGs
Succinct non-interactive arguments
https://eprint.iacr.org/2019/1251