For anyone who cares, I'm more talking about succinct noninteractive arguments of knowledge (SNARKs for short), than ZKPs or ZKSNARKs, but we tend to use ZKPs as a shorthand.