package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

A package that contains multiple base libraries used by the Octez suite

Install

Dune Dependency

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

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2

sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61

sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

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

Module `Libsrs.Powers_of_tau`Source

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 *)

G1.size_in_bytes (* beta in g1 *)
G2.size_in_bytes (* beta in g2 *)
(tau_powers_length * G1.size_in_bytes) (* g1_coeffs *)
(tau_powers_length * G2.size_in_bytes) (* g2_coeffs *)
(tau_powers_length * G1.size_in_bytes) (* g1_alpha_coeffs *)
(tau_powers_length * G1.size_in_bytes) (* g1_beta_coeffs *)
((tau_powers_length - 1) * G1.size_in_bytes) (* h *)

Sourceval generate_domain : int -> Bls12_381.Fr.t array

Sourceval power_of_radixfile : string -> int

Source

val 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