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/Internal_for_tests/index.html
Module Srs.Internal_for_testsSource
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
Generates an unsafe SRS₁ of size 2¹⁶ from a known seed
Generates an unsafe SRS₂ of size 2¹⁶ from a known seed
Same as fake_srs but the returned SRS₁ is of size 2⁸, which is enough to suit the verifier needs in our tests
Source
val get_verifier_srs2 :
max_polynomial_length:int ->
page_length_domain:int ->
shard_length:int ->
srs_verifierReturns the fake SRS₂ points needed by the verifier
Source
val print_verifier_srs_from_file :
?max_srs_size:int ->
srs_g1_path:string ->
srs_g2_path:string ->
unit ->
(unit, [> `End_of_file of string | `Invalid_point of int ]) result Lwt.tPrints the minimal srs needed for mainnet params, in an OCaml-readable format. Run with let _ = Lwt_main.run @@ Srs.Internal_for_tests.( print_verifier_srs_from_file ~zcash_g1_path ~zcash_g2_path) () This function can be used to add points in srs_g1 & srs_g2 in Zcash_srs