Probabilistically checkable proofs