ZKCSP
https://eprint.iacr.org/2017/566