Module Dal.Commitment_proof

val zero : commitment_proof