Module Tezos_protocol_environment_015_PtLimaPt.DalSource

type t
type parameters = Tezos_crypto_dal.Cryptobox.Verifier.parameters = {
  1. redundancy_factor : int;
  2. page_size : int;
  3. slot_size : int;
  4. number_of_shards : int;
}
val make : parameters -> (t, [> `Fail of string ]) Pervasives.result
type commitment = Tezos_crypto_dal.Cryptobox.Verifier.commitment
module Commitment : sig ... end
type commitment_proof
Sourceval commitment_proof_encoding : commitment_proof Data_encoding.t
val verify_commitment : t -> commitment -> commitment_proof -> bool
Sourcetype page = {
  1. index : int;
  2. content : bytes;
}
type page_proof
val page_proof_encoding : page_proof Data_encoding.t
Sourceval verify_page : t -> commitment -> page -> page_proof -> (bool, [> `Degree_exceeds_srs_length of string | `Segment_index_out_of_range ]) Result.t