Libsrs (mavkit-libs.Mavkit_srs

module G1 = Mavryk_bls12_381.G1

module G2 = Mavryk_bls12_381.G2

module G1_carray = Mavkit_bls12_381_polynomial.G1_carray

module G2_carray = Mavkit_bls12_381_polynomial.G2_carray

module Checks : sig ... end

val exact_log2 : int -> int

module Srs : sig ... end

The binary format of our Srs is a sequence of G1 or G2 elements.

module Powers_of_tau : sig ... end

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