PROOF_TYPES_SUPPORTED