OC-Proofs