News for hackers. Stuff that matters.
Re:Interactive zero knowledge 3-colorability demonstration by alisonkisk on Monday December 27, 2021 @08:43PM (#29709351)
This demonstration is utter nonsense, because it's musing a critical step. By the automorphism of color permutations, all possible non-trivial reaponses are equivalent and prove nothing. What's missing is that the prover has to send you something like a salted hash of every edge coloring (called a "cryptographic commitment") in advance, so that you can verify that the revealed coloring matches what was already committed.

But since the number of distinct single edge colorings is tiny (6), you could crack the hash easily, so you need a fancier commitment protocol than just a hash, perhaps some sort of mutually trusted hashing oracle that only lets you send one query per proof.

Re:Interactive zero knowledge 3-colorability demonstration by kevinwang on Tuesday December 28, 2021 @03:04PM (#29717429)
Why do you need something fancier? Couldn't you commit to n=1..6 by hashing a k*n where k is a random integer?