Efficient Checking of Polynomials and Proofs and the Hardness of Approximation ProblemsMadhu Sudan₹5,425