package tezos-bls12-381-polynomial

  1. Overview
  2. Docs
type scalar = Fr.t
type t = Fr_carray.t
val of_carray : 'a -> 'a
val to_carray : 'a -> 'a
val length : Fr_carray.t -> int
val erase : Stubs.fr_array -> unit
val allocate : int -> Fr_carray.t
val copy : ?offset:int -> ?len:int -> Fr_carray.t -> Fr_carray.t
val get : Fr_carray.t -> int -> Fr_carray.elt
val degree : Fr_carray.t -> int
val equal : Fr_carray.t -> Fr_carray.t -> bool
val to_string : Fr_carray.t -> string
val of_coefficients : (Stubs.fr * int) list -> Fr_carray.t
val of_dense : Fr_carray.elt array -> Fr_carray.t
val zero : Fr_carray.t
val one : Fr_carray.t
val generate_biased_random_polynomial : int -> Fr_carray.t
val random : int -> Fr_carray.t
val to_dense_coefficients : Fr_carray.t -> Fr_carray.elt array
val to_sparse_coefficients : Fr_carray.t -> (Fr.t * int) list
val add_inplace : Fr_carray.t -> Fr_carray.t -> Fr_carray.t -> unit
val sub_inplace : Fr_carray.t -> Fr_carray.t -> Fr_carray.t -> unit
val mul_by_scalar : Stubs.fr -> Fr_carray.t -> Fr_carray.t
val mul_by_scalar_inplace : Fr_carray.t -> Stubs.fr -> Fr_carray.t -> unit
val linear : Fr_carray.t list -> Stubs.fr list -> Fr_carray.t
val linear_with_powers : Fr_carray.t list -> Stubs.fr -> Fr_carray.t
val opposite : Fr_carray.t -> Fr_carray.t
val opposite_inplace : Fr_carray.t -> unit
val is_zero : Fr_carray.t -> bool
val evaluate : Fr_carray.t -> Fr.t -> Fr.t
exception Rest_not_null of string
val division_xn : Fr_carray.t -> int -> Stubs.fr -> Fr_carray.t * Fr_carray.t
val mul_xn : Fr_carray.t -> int -> Stubs.fr -> Fr_carray.t
val derivative : Fr_carray.t -> Fr_carray.t
val split : int -> int -> Fr_carray.t -> Fr_carray.t list
val blind : nb_blinds:int -> int -> Fr_carray.t -> Fr_carray.t * Fr_carray.t
val (=) : Fr_carray.t -> Fr_carray.t -> bool
val constant : Stubs.fr -> Fr_carray.t
OCaml

Innovation. Community. Security.