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?