From evaluations to polynomials, Alice's J: at each oracle half, the outcome-level disagreement is at most the evaluated one, averaged over the PCP vectors, plus m' d / q

Initializing...

From evaluations to polynomials, Alice's J: at each oracle half, the outcome-level disagreement is at most the evaluated one, averaged over the PCP vectors, plus m' d / q · Prove2Me