I'm with you. SSC posts are high on rhetoric and low on actual conceptual knowledge/insights. The examples are ridiculously long and somewhat contrived. s.
Ah my bad. I wrote hastily and did not consider the full implication of the word `forced`, i.e. it would involve proving the opponent has no winning options.
For problems in NP (i.e. for which a solution can be verified in polynomial time), we can construct a Zero Knowledge Proof by reducing it to 3SAT, then constructing a PCP (Probabilistically checkable proof). T̶h̶e̶…
I'm with you. SSC posts are high on rhetoric and low on actual conceptual knowledge/insights. The examples are ridiculously long and somewhat contrived. s.
Ah my bad. I wrote hastily and did not consider the full implication of the word `forced`, i.e. it would involve proving the opponent has no winning options.
For problems in NP (i.e. for which a solution can be verified in polynomial time), we can construct a Zero Knowledge Proof by reducing it to 3SAT, then constructing a PCP (Probabilistically checkable proof). T̶h̶e̶…