Proofs can be omitted if they contain sensitive data