Validity Proof Compression