package octez-proto-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a
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.