octez-bls12-381-polynomial 17.3 (latest)

type scalar = Fr.t

type t = Fr_carray.t

val t : Fr_carray.t Repr.t

val of_carray : 'a -> 'a

val to_carray : 'a -> 'a

val length : Fr_carray.t -> int

val erase : Fr_carray.t -> unit

val allocate : int -> Fr_carray.t

val copy : Fr_carray.t -> Fr_carray.t

val copy_carray : ?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 init : int -> (int -> Fr_carray.elt) -> Fr_carray.t

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 : 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 truncate : len:int -> Fr_carray.t -> Fr_carray.t

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 : nb_chunks: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

val fold_left_map : 
  ('a -> Fr_carray.elt -> 'a * Fr_carray.elt) ->
  'a ->
  Fr_carray.t ->
  'a * Fr_carray.t

package octez-bls12-381-polynomial