package octez-bls12-381-polynomial

You can search for identifiers within the package.

in-package search v0.2.0

package octez-bls12-381-polynomial

octez-bls12-381-polynomial
- Octez_bls12_381_polynomial
  - Bls12_381_polynomial
    
    Domain
    
    Evaluations
    
    G1_carray
    
    G2_carray
    
    Polynomial
    
    S
    
    Domain
    
    Evaluations
    
    G1_carray
    
    G2_carray
    
    Polynomial
    
    Srs
    
    Srs_g1
    
    Srs_g2
    
    Srs
    
    Srs_g1
    
    Srs_g2
  - Carray
    
    Carray_sig
    
    Elt_sig
    
    Make
    
    Elt
  - Domain
    
    Domain_impl
    
    Domain_sig
    
    Domain_unsafe
    
    Domain_unsafe_sig
    
    Stubs
  - Ec_carray
    
    EC_carray_sig
    
    G1_Elt
    
    G1_array_internal
    
    G1_carray
    
    G2_Elt
    
    G2_array_internal
    
    G2_carray
    
    Make
    
    EC_point
    
    Scalar
    
    EC_point_array
    
    Stubs
    
    Stubs_g1
    
    Stubs_g2
    
    Stubs_sig
  - Evaluations
    
    Evaluations_impl
    
    Evaluations_sig
    
    Evaluations_unsafe
    
    Evaluations_unsafe_sig
    
    Stubs
  - Fr_carray
    
    Elt
  - Helpers
  - Polynomial
    
    Polynomial_impl
    
    Polynomial_sig
    
    Polynomial_unsafe
    
    Polynomial_unsafe_sig
    
    Stubs
  - Srs
    
    Checks
    
    Elt_g1
    
    Elt_g2
    
    GElt_sig
    
    G
    
    Scalar
    
    Make
    
    Carray
    
    Elt
    
    G
    
    Scalar
    
    S
    
    S_unsafe
    
    Srs
    
    Srs_g1
    
    Srs_g2

Legend:
Library
Module
Module type
Parameter
Class
Class type

type scalar = Bls12_381.Fr.t

type t = Fr_carray.t

val t : Fr_carray.t Repr.t

val of_carray : 'a -> 'b

val to_carray : 'a -> 'b

val of_array : Fr_carray.elt array -> Fr_carray.t

val to_array : Fr_carray.t -> Fr_carray.elt array

val length : Fr_carray.t -> int

val get : Fr_carray.t -> int -> Fr_carray.elt

val create : int -> Stubs.fr -> Fr_carray.t

val primitive_root_of_unity : 
  int ->
  Octez_bls12_381_polynomial.Fr_carray.Scalar.t

val build : 
  ?primitive_root:Octez_bls12_381_polynomial.Fr_carray.Scalar.t ->
  int ->
  Fr_carray.t

val build_power_of_two : 
  ?primitive_root:Octez_bls12_381_polynomial.Fr_carray.Scalar.t ->
  int ->
  Fr_carray.t

val subgroup : log:int -> Fr_carray.t -> Fr_carray.t

val inverse : Fr_carray.t -> Fr.t array