PC.Polynomialtype scalar = Scalar.tmodule Domain :
Bls12_381_polynomial.Domain.Domain_sig with type scalar = scalarmodule Polynomial :
Bls12_381_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 :
Bls12_381_polynomial.Evaluations.Evaluations_sig
with type scalar = scalar
and type domain = Domain.t
and type polynomial = Polynomial.tmodule Srs : sig ... end