package tezos-bls12-381-polynomial

  1. Overview
  2. Docs
module type S = sig ... end
module M : sig ... end
include S with type scalar = Bls12_381.Fr.t
type scalar = Bls12_381.Fr.t
module Domain : Domain.Domain_sig with type scalar = scalar

This 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 Srs_g1 : Srs.S with type polynomial = Polynomial.t and type elt = Bls12_381.G1.t
module Srs_g2 : Srs.S with type polynomial = Polynomial.t and type elt = Bls12_381.G2.t
module Srs : sig ... end
module Univariate = Univariate
module Multivariate = Multivariate
OCaml

Innovation. Community. Security.