Cryptobox.Commitment_proof
val t : commitment_proof Repr.t
val zero : commitment_proof
val alter_proof : commitment_proof -> commitment_proof
val encoding : commitment_proof Data_encoding.encoding