Does anyone consider them the proofs in the ordinary sense?
I could ask him, but given that experience of verification of ZKP is an example personal/non-transferrable evidence, I see no question here.
And in some sense, ZKP proofs are usualy proofs of knowledge. If you represent ZK prover as a black box with secret information inside that uses random number generation log and communication log as sources to calculate its next message, access to this blackbox in such form is enough to extract some piece of data. This piece of data makes the proven statement trivial to verify or to prove conventionally—or even to play prover in ZKP. So all the efforts in ZKP are about showing you know some secret without letting me know the secret.
Does anyone consider them the proofs in the ordinary sense?
I could ask him, but given that experience of verification of ZKP is an example personal/non-transferrable evidence, I see no question here.
And in some sense, ZKP proofs are usualy proofs of knowledge. If you represent ZK prover as a black box with secret information inside that uses random number generation log and communication log as sources to calculate its next message, access to this blackbox in such form is enough to extract some piece of data. This piece of data makes the proven statement trivial to verify or to prove conventionally—or even to play prover in ZKP. So all the efforts in ZKP are about showing you know some secret without letting me know the secret.