All Questions
Tagged with interactive-proofs np
1 question
2
votes
1
answer
77
views
3-Coloring Zero-Knowledge Proof: rational verifier?
I'm studying the application of Zero-Knowledge Proofs (ZKP) to graph 3-colorability. I haven't fully understood the need for randomness in the verifier's choice of the edge to challenge the prover ...