package octez-bls12-381-polynomial

  1. Overview
  2. Docs

Module Octez_bls12_381_polynomial.SrsSource

Formats used for Srs:

  • the disk format uses compressed affine coordinates to save space
  • the memory format uses uncompressed affine coordiantes, because it's required by the pippenger API
  • the interface and memory representation of an Srs is as carray of affine elements (type G.affine) because they are however the interface that is exposed uses jacobian format (the type G.t).
Sourcemodule type GElt_sig = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule Make (Elt : GElt_sig) : sig ... end
Sourcemodule Elt_g1 : sig ... end
Sourcemodule Elt_g2 : sig ... end
Sourcemodule Srs_g1 : S with type elt = Bls12_381.G1.t and type polynomial = Polynomial.t
Sourcemodule Srs_g2 : S with type elt = Bls12_381.G2.t and type polynomial = Polynomial.t
Sourcemodule Checks : sig ... end
Sourcemodule Srs : sig ... end
Sourcemodule type S_unsafe = sig ... end
OCaml

Innovation. Community. Security.