package octez-proto-libs

  1. Overview
  2. Docs
Octez protocol libraries

Install 

dune-project
 Dependency

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

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.1.tar.gz
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

doc/octez-proto-libs.protocol-environment/Tezos_protocol_environment/V7/Make/Dal/index.html

Module Make.DalSource

Sourcetype t

A precomputed set of constants

Sourcetype parameters = Tezos_crypto_dal.Cryptobox.Verifier.parameters = {
  1. redundancy_factor : int;
  2. page_size : int;
  3. slot_size : int;
  4. number_of_shards : int;
}

Parameters to build a value of type t

Sourceval make : parameters -> (t, [> `Fail of string ]) Pervasives.result

make precomputes the set of values needed by cryptographic primitives defined in this module and store them in a value of type t

Commitment to a polynomial.

Sourcemodule Commitment : sig ... end
Sourcetype commitment_proof

A proof that the polynomial associated to some commitment is bounded by a constant.

Sourceval commitment_proof_encoding : commitment_proof Data_encoding.t

An encoding for the proof of a commitment.

Sourceval verify_commitment : t -> commitment -> commitment_proof -> bool

verify_commitment srs commitment proof checks whether commitment is a valid commitment. In particular, it check that the size of the data committed via commitment do not exceed C.slot_size. The verification time is constant.

Sourcetype page = {
  1. index : int;
  2. content : bytes;
}

The original slot can be split into a list of pages of size page_size. A page is consequently encoded as a pair of an index and the content of this page.

Sourcetype page_proof

A proof that the evaluation of points of a polynomial is part of a commitment.

Sourceval page_proof_encoding : page_proof Data_encoding.t

An encoding for the proof of a page.

Sourceval verify_page : t -> commitment -> page -> page_proof -> (bool, [> `Degree_exceeds_srs_length of string | `Segment_index_out_of_range ]) Result.t

verify_page t commitment page page_proof returns Ok true if the proof certifies that the slot_page is indeed included in the slot committed with commitment commitment. Returns Ok false otherwise.

Fails if the index of the page is out of range.