package tezos-protocol-020-PsParisC

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 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
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
OCaml

Innovation. Community. Security.