package octez-libs
A package that contains multiple base libraries used by the Octez suite
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65
doc/octez-libs.crypto-dal/Tezos_crypto_dal/Srs/index.html
Module Tezos_crypto_dal.SrsSource
SRS points needed by the verifier of the DAL
Returns ZCash SRS₁ resized for the verifier, according to mainnet parameters
Source
val get_verifier_srs2 :
max_polynomial_length:int ->
page_length_domain:int ->
shard_length:int ->
srs_verifierReturn the ZCash SRS₂ points needed by the verifier, according to mainnet parameters
Source
val ensure_srs_validity :
is_fake:bool ->
mode:[< `Prover | `Verifier ] ->
slot_size:int ->
page_size:int ->
redundancy_factor:int ->
number_of_shards:int ->
(unit, [> `Fail of string ]) resultFails if and only if the SRS does not suits the parameters, ie SRS₁ would be too short to commit or SRS₂ does not contain the needed points
Source
val read_srs :
?len:int ->
srs_g1_path:string ->
srs_g2_path:string ->
unit ->
(Kzg.Bls.Srs_g1.t * Kzg.Bls.Srs_g2.t,
[> `End_of_file of string | `Invalid_point of int ])
result
Lwt.tReturns SRS₁ of size len (by default, 2²¹) read from the file given by path. May raise Failed_to_load_trusted_setup exception
This module is used to handle a fake SRS in the DAL. This is more flexible and easier to handle in the CI than loading ZCash SRS