validity_proofs