[IshKebab]

It is the whole point. ZKPs are useless if you can't do them remotely.

> the analogy is to introduce the concept of proving something to a verifier without giving the verifier the solution

Yes that's what I said.