Locally checkable proofs