tezos-bls12-381-polynomial 0.1.0

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 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 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 evaluation_fft2 : Domain.t -> polynomial -> scalar array

val interpolation_fft_internal : Domain.t -> Carray.t -> polynomial

val interpolation_fft : domain -> t -> polynomial

val interpolation_fft2 : Domain.t -> scalar array -> polynomial

package tezos-bls12-381-polynomial