'Transparent SNARKs from DARK Compilers' by Benedikt Bünz, Ben Fisch & Alan Szepieniec.

ZK-proof using 'Diophantine equation'.

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