package tezos-protocol-015-PtLimaPt

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-015-PtLimaPt.environment/Tezos_protocol_environment_015_PtLimaPt/Dal/index.html

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