package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.1.tar.gz
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

doc/octez-libs.srs-extraction/Octez_srs_extraction/Libsrs/Powers_of_tau/index.html

Module Libsrs.Powers_of_tauSource

This module handles the file format of the result of powers-of-tau ceremony.

The layout of the file can be found at the bottom of this file https://github.com/ebfull/powersoftau/blob/master/src/bin/verify.rs to be let tau_powers_length = 1 lsl power in G1.size_in_bytes (* alpha in g1 *)

  1. G1.size_in_bytes (* beta in g1 *)
  2. G2.size_in_bytes (* beta in g2 *)
  3. (tau_powers_length * G1.size_in_bytes) (* g1_coeffs *)
  4. (tau_powers_length * G2.size_in_bytes) (* g2_coeffs *)
  5. (tau_powers_length * G1.size_in_bytes) (* g1_alpha_coeffs *)
  6. (tau_powers_length * G1.size_in_bytes) (* g1_beta_coeffs *)
  7. ((tau_powers_length - 1) * G1.size_in_bytes) (* h *)
Sourceval generate_domain : int -> Bls12_381.Fr.t array
Sourceval power_of_radixfile : string -> int
Sourceval to_gs : string -> int -> int -> (bytes -> 'a) -> (domain:Octez_bls12_381_polynomial.Domain.t -> points:'b -> 'c) -> ('a array -> 'b) -> 'c
Sourceval to_g1s : string -> G1_carray.t
Sourceval to_g2s : string -> G2_carray.t