The PCP's soundness, as the decoded strategy needs it, for the answer-reduced verifier's game check and the decoder decAns

Initializing...

The PCP's soundness, as the decoded strategy needs it, for the answer-reduced verifier's game check and the decoder decAns · Prove2Me