package octez-proto-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a
doc/octez-proto-libs.protocol-environment/Tezos_protocol_environment/V7/Make/Dal/index.html
Module Make.DalSource
A precomputed set of constants
Parameters to build a value of type t
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.
A proof that the polynomial associated to some commitment is bounded by a constant.
An encoding for the proof of a commitment.
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.
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.
A proof that the evaluation of points of a polynomial is part of a commitment.
An encoding for the proof of a page.
val verify_page :
t ->
commitment ->
page ->
page_proof ->
(bool,
[> `Degree_exceeds_srs_length of string | `Segment_index_out_of_range ])
Result.tverify_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.