Re:Interactive zero knowledge 3-colorability demonstration
by neolefty on Monday December 27, 2021 @09:52PM
(#29709765)
Interesting! Thanks especially for the link to the Wikipedia page.
So in the demo, the black (uncolored) shape _kind of_ represents the commitment. Although as you pointed out, it doesn't explain how it is verified! Instead of a black shape, it would be a shape made out of hash values that are meaningless until the random number for any one of them is revealed. And the protocol is to only reveal one of them each time?
Re:Interactive zero knowledge 3-colorability demonstration
by gs17 on Monday December 27, 2021 @10:00PM
(#29709812)
Exactly, the only difference is that two commitments would be revealed, since each vertex color is committed, if we let them commit to edges instead it would be much easier to lie!
So in the demo, the black (uncolored) shape _kind of_ represents the commitment. Although as you pointed out, it doesn't explain how it is verified! Instead of a black shape, it would be a shape made out of hash values that are meaningless until the random number for any one of them is revealed. And the protocol is to only reveal one of them each time?