News for hackers. Stuff that matters.

A comment on Zero Knowledge Protocols without Magic. Parent comment

Re:Zero Knowledge Protocols without Magic by eru on Thursday July 28, 2016 @01:55AM (#12178608)
I thought graph isomorphism is in P now? Isn't non-isomorphism in co-P then (and that's equal to P)?

I'm probably mixing things up.

[ Parent | on HN ]
Re:Zero Knowledge Protocols without Magic by Ar-Curunir on Thursday July 28, 2016 @02:01PM (#12181917)
GI is in quasi-P, but you could consider another languzge like Quadratic non-residuosity which also is in CoNP but has zero knowledge proofs.
[ Parent | on HN ]