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