package tezos-bls12-381-polynomial

  1. Overview
  2. Docs
module Domain_c = Domain.Stubs
module Domain = Domain.Domain_unsafe
module Polynomial = Polynomial_c.Polynomial_unsafe
type scalar = Fr.t
type polynomial = Polynomial.t
type t = int * Stubs.fr_array * int
type domain = Domain.t
val make_evaluation : (int * Carray.scalar array) -> int * Carray.Stubs.fr_array * int
val to_array : ('a * Carray.Stubs.fr_array * int) -> Carray.scalar array
val string_of_eval : (int * Carray.Stubs.fr_array * int) -> string
val of_domain : Domain.t -> int * Carray.Stubs.fr_array * int
val to_domain : ('a * Carray.Stubs.fr_array * int) -> Domain.t
val zero : int * Carray.Stubs.fr_array * int
val degree : ('a * 'b * 'c) -> 'a
val length : ('a * 'b * 'c) -> 'c
val create : int -> int * Carray.Stubs.fr_array * int
val is_zero : (int * 'a * 'b) -> bool
val allocate_for_res : ('a * Carray.Stubs.fr_array * int) option -> int -> Carray.Stubs.fr_array
val copy : ?res:('a * Carray.Stubs.fr_array * int) -> ('b * Carray.Stubs.fr_array * int) -> 'b * Carray.Stubs.fr_array * int
val get : ('a * Carray.Stubs.fr_array * int) -> int -> Carray.scalar
val mul_by_scalar : Polynomial_c.Stubs.fr -> ('a * Polynomial_c.Stubs.fr_array * int) -> 'a * Carray.Stubs.fr_array * int
val mul_c : ?res:('a * Carray.Stubs.fr_array * int) -> evaluations:(int * Stubs.fr_array * int) list -> ?composition_gx:(int list * int) -> ?powers:int list -> unit -> int * Carray.Stubs.fr_array * int
val linear_c : ?res:('a * Carray.Stubs.fr_array * int) -> evaluations:(int * Stubs.fr_array * int) list -> ?linear_coeffs:Fr.t list -> ?composition_gx:(int list * int) -> ?add_constant:Fr.t -> unit -> int * Carray.Stubs.fr_array * int
val add : ?res:('a * Carray.Stubs.fr_array * int) -> (int * Carray.Stubs.fr_array * int) -> (int * Carray.Stubs.fr_array * int) -> int * Carray.Stubs.fr_array * int
val equal : ('a * Carray.Stubs.fr_array * int) -> ('a * Carray.Stubs.fr_array * int) -> bool
val evaluation_fft_internal : Domain.t -> polynomial -> Carray.t
val evaluation_fft : domain -> polynomial -> t
val interpolation_fft_internal : Domain.t -> Carray.t -> polynomial
val interpolation_fft : domain -> t -> polynomial
val interpolation_fft2 : Domain.t -> scalar array -> polynomial
OCaml

Innovation. Community. Security.