No, that&#x27;s what a zero knowledge proof is; at the end of the protocol, you are convinced that some statement is either true or false, and learn <i>nothing else</i> about the &quot;proof&quot;.<p>In NP-terms, you learn whether the NP instance is true (eg a 3SAT clause is satisfiable), but learn nothing about the witness (eg the assignment to the clause&#x27;s variables).