Module Mavryk_protocol_environment_001_PtAtLas.Dal

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