module type S = sig ... endinclude S
with type scalar = Bls12_381.Fr.t
and type Srs.Srs_g1.elt = Bls12_381.G1.t
and type Srs.Srs_g2.elt = Bls12_381.G2.t
and type Evaluations.t = Evaluations.ttype scalar = Bls12_381.Fr.tmodule Domain : Domain.Domain_sig with type scalar = scalarmodule Polynomial : Polynomial.Polynomial_sig with type scalar = scalarThis library implements polynomials of Bls12_381.Fr as arrays of contiguous memory in C, allowing much better performances for algorithms that scan the polynomials.
module Evaluations :
Evaluations.Evaluations_sig
with type scalar = scalar
and type domain = Domain.t
and type polynomial = Polynomial.t
with type t = Evaluations.tmodule Srs : sig ... endmodule G1_carray :
Ec_carray.EC_carray_sig
with type elt = Bls12_381.G1.t
and type domain = Domain.t
and type evaluations = Evaluations.tmodule G2_carray :
Ec_carray.EC_carray_sig
with type elt = Bls12_381.G2.t
and type domain = Domain.t
and type evaluations = Evaluations.t