Dal.Commitment_proof
A slot commitment proof, same as protocol slot commitments' proofs through environment.
type t = Tezos_crypto_dal.Cryptobox.Verifier.commitment_proof
val encoding : t Tezos_base.TzPervasives.Data_encoding.t