|
|
|
|
|
|
by Vervious
484 days ago
|
|
|
That's completely unrelated, the reliance there is because you want to be able to prove "any statement in NP" in zero knowledge. It then suffices to give a protocol for just 3-colorings, because "any statement in NP" can then be reduced to a 3-coloring. |
|
|