tezos-bls12-381-polynomial 0.1.3

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 encoding : Fr_carray.t Data_encoding.t

val add : Fr_carray.t -> Fr_carray.t -> Fr_carray.t

val add_inplace : Fr_carray.t -> Fr_carray.t -> Fr_carray.t -> unit

val sub : Fr_carray.t -> Fr_carray.t -> Fr_carray.t

val sub_inplace : Fr_carray.t -> Fr_carray.t -> Fr_carray.t -> unit

val mul : Fr_carray.t -> Fr_carray.t -> Fr_carray.t

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 (+) : Fr_carray.t -> Fr_carray.t -> Fr_carray.t

val (-) : Fr_carray.t -> Fr_carray.t -> Fr_carray.t

val (*) : Fr_carray.t -> Fr_carray.t -> Fr_carray.t

val constant : Stubs.fr -> Fr_carray.t

package tezos-bls12-381-polynomial