validity proofs