I want to commit to some `g = ZK(f)` and prove that I know `x` where `f(x) == True` without revealing `x` or `f`. Is that possible?
Chad GPT for the case where I'm ok with revealing x and f is a Schnorr signature verification function.
https://void.cat/d/JKVjiGgxHQmmSJjWWZw9ie.webp
Please Login to reply.
No replies yet.