package octez-bls12-381-polynomial

You can search for identifiers within the package.

in-package search v0.2.0

octez-bls12-381-polynomial
- README
- Library octez-bls12-381-polynomial
  - Octez_bls12_381_polynomial
    
    Bls12_381_polynomial
    
    S
    
    Domain
    
    Polynomial
    
    Evaluations
    
    Srs
    
    Srs_g1
    
    Srs_g2
    
    G1_carray
    
    G2_carray
    
    Domain
    
    Polynomial
    
    Evaluations
    
    Srs
    
    Srs_g1
    
    Srs_g2
    
    G1_carray
    
    G2_carray
    
    Carray
    
    Elt_sig
    
    Carray_sig
    
    Make
    
    Domain
    
    Fr
    
    Stubs
    
    Domain_impl
    
    Domain_sig
    
    Domain_unsafe_sig
    
    Domain_unsafe
    
    Ec_carray
    
    Stubs_sig
    
    EC_carray_sig
    
    Make
    
    G1
    
    G2
    
    G1_Elt
    
    G2_Elt
    
    G1_array_internal
    
    G2_array_internal
    
    Stubs_g1
    
    Stubs_g2
    
    G1_carray
    
    G2_carray
    
    Evaluations
    
    Fr
    
    Stubs
    
    Evaluations_sig
    
    Evaluations_impl
    
    Domain_c
    
    Domain
    
    Polynomial_c
    
    Polynomial
    
    Evaluations_unsafe_sig
    
    Evaluations_unsafe
    
    Fr_carray
    
    Scalar
    
    Elt
    
    Helpers
    
    Polynomial
    
    Fr
    
    Stubs
    
    Polynomial_impl
    
    Polynomial_sig
    
    Polynomial_unsafe_sig
    
    Polynomial_unsafe
    
    Srs
    
    GElt_sig
    
    G
    
    Scalar
    
    S
    
    Make
    
    G
    
    Carray
    
    Elt_g1
    
    G
    
    Elt_g2
    
    G
    
    Srs_g1
    
    Srs_g2
    
    Checks
    
    Srs
    
    Srs_g1
    
    Srs_g2
    
    S_unsafe
- Sources
  - octez-bls12-381-polynomial
    
    bls12_381_polynomial.ml
    
    carray.ml
    
    domain.ml
    
    ec_carray.ml
    
    evaluations.ml
    
    fr_carray.ml
    
    helpers.ml
    
    octez_bls12_381_polynomial.ml
    
    polynomial.ml
    
    srs.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Octez_bls12_381_polynomial.Ec_carray`Source

Sourcemodule type Stubs_sig = sig ... end

Sourcemodule type EC_carray_sig = sig ... end

Source

module Make
  (EC_point : Bls12_381.CURVE)
  (EC_point_array : Carray.Carray_sig with type elt = EC_point.t)
  (Stubs : 
    Stubs_sig
      with type fr_array = Fr_carray.t
       and type ec_array = EC_point_array.t) : 
  EC_carray_sig
    with type elt = EC_point.t
     and type domain = Domain.t
     and type evaluations = Evaluations.t

Sourcemodule G1 = Bls12_381.G1

Sourcemodule G2 = Bls12_381.G2

Sourcemodule G1_Elt : sig ... end

Sourcemodule G2_Elt : sig ... end

Sourcemodule G1_array_internal : sig ... end

Sourcemodule G2_array_internal : sig ... end

Sourcemodule Stubs_g1 : sig ... end

Sourcemodule Stubs_g2 : sig ... end

Source

module G1_carray : 
  EC_carray_sig
    with type elt = Bls12_381.G1.t
     and type domain = Domain.t
     and type evaluations = Evaluations.t

Source

module G2_carray : 
  EC_carray_sig
    with type elt = Bls12_381.G2.t
     and type domain = Domain.t
     and type evaluations = Evaluations.t

package octez-bls12-381-polynomial

Module Octez_bls12_381_polynomial.Ec_carraySource

Module `Octez_bls12_381_polynomial.Ec_carray`Source