Module Dal.Commitment_proof

An encoding for a commitment proof.

val zero : commitment_proof