From univariate polynomials to probabilistically checkable and error-tolerant proofs

TBD