Module Cryptobox.Commitment_proofSource

An encoding for a commitment proof. This encoding is bounded.