News for hackers. Stuff that matters.

A comment on Zero Knowledge Protocols without Magic. Parent comment

Re:Zero Knowledge Protocols without Magic by fryguy on Friday July 29, 2016 @02:13AM (#12185270)
Because it's got a zero-knowledge proof means it's got a proof-of-knowledge. Quicksort is O(n^2) so that means it's in NP. It also means it's in P. Same with GNI being in ZKP, and also in PoK.

What's missing is the cheating verifier that can generate a transcript of a valid interaction without actually knowing the secret.

[ Parent | on HN ]
Re:Zero Knowledge Protocols without Magic by Ar-Curunir on Sunday July 31, 2016 @02:42PM (#12198229)
No, being zero knowledge does not imply being proof of knowledge.
[ Parent | on HN ]