package tezos-bls12-381-polynomial

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package tezos-bls12-381-polynomial

tezos-bls12-381-polynomial
- Bls12_381_polynomial
  - Domain
    
    Domain_impl
    
    Domain_sig
    
    Domain_unsafe
    
    Domain_unsafe_sig
    
    Stubs
  - Evaluations_c
    
    Evaluations_c_impl
    
    Evaluations_c_sig
    
    Stubs
  - Fr_carray
    
    Carray_sig
    
    Make
    
    S
    
    Stubs
    
    Stubs_sig
  - Fr_generation
    
    Make
  - Multivariate
    
    MultiPoly
    
    MONOMIAL_MAP
    
    Monomial
    
    MonomialOperators
    
    MonomialMap
    
    Polynomial
    
    PolynomialOperators
    
    UPoly
    
    MultiPoly_sig
    
    MONOMIAL_MAP
    
    Monomial
    
    MonomialOperators
    
    MonomialMap
    
    Polynomial
    
    PolynomialOperators
    
    UPoly
    
    StringMap
  - Polynomial
    
    Domain
    
    Evaluations
    
    M
    
    Polynomial
    
    S
    
    Domain
    
    Evaluations
    
    Polynomial
    
    Srs
    
    Srs_g1
    
    Srs_g2
    
    Srs
    
    Srs_g1
    
    Srs_g2
  - Polynomial_c
    
    Polynomial_impl
    
    Polynomial_sig
    
    Polynomial_unsafe
    
    Polynomial_unsafe_sig
    
    Stubs
  - Srs
    
    Checks
    
    Make
    
    Carray
    
    Stubs
    
    G
    
    S
    
    S_unsafe
    
    Srs
    
    Srs_g1
    
    Srs_g2
    
    Stubs_g1
    
    Stubs_sig
    
    G
  - Univariate
    
    DomainEvaluation
    
    Make
    
    UNIVARIATE
    
    Utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module S : Stubs_sig

Signature

type t = Bigstringaf.t

type elt = S.elt

val encoding : t Data_encoding.t

val allocate : int -> t

allocate len creates a C array of size len intialized with zeros of blst_fr

val length : t -> int

length c returns the length of a C array c

val get : t -> int -> elt

get c i returns the i-th element of a C array c

val set : t -> elt -> int -> unit

val copy : ?offset:int -> ?len:int -> t -> t

copy c copies len elements from a C array c starting from position offset

val blit : t -> src_off:int -> t -> dst_off:int -> len:int -> unit

blit src src_off dst dst_off len copies len elements from src to dst starting at the respective offsets.

val to_array : ?offset:int -> ?len:int -> t -> elt array

to_array c converts a C array c to an OCaml array

val of_array : elt array -> t

of_array c converts an OCaml array c to a C array