Sounds like you are saying ZKPs won’t be generally applicable and instead that these proofs have to be specifically crafted for a given application use case muc

Sounds like you are saying ZKPs won’t be generally applicable and instead that these proofs have to be specifically crafted for a given application use case much like how you choose an acceptable cipher suite today? Like I go to website A and they want me to authenticate that I have access to a unique email address without revealing which one and they offer a zkp-email-ident challenge, I’d have to use OpenZKP which supports zkp-email-ident because the cryptography community vetted it and thus it’s included as a supported auth challenge? So the implication here would be that the protocol specifies the exact nature of the (back to the cutout example) image such that it’s impossible for Bob to apply an adversarial watermark? So generally ZKPs are more like a cryptography primitive and protocols must be developed that apply them in ways that mitigate adversaries.