Now let's suppose that P (the "prover") knows a solution to a certain well-known HC problem
He wants to prove to V (the "verifier") that he knows a solution
But he doesn't want to tell V what the solution is
Or give her any information at all about it