tezos-bls12-381-polynomial 0.1.1

type scalar = Fr.t

type t = Carray.t

val of_carray : Carray.t -> t

val to_carray : t -> Carray.t

val allocate : int -> Carray.Stubs.fr_array * int

val erase : Carray.t -> unit

val length : ('a * 'b) -> 'b

val copy : ?offset:int -> ?len:int -> Carray.t -> Carray.t

val to_string : Carray.t -> string

val get : Carray.t -> int -> Carray.scalar

val degree : (Stubs.fr_array * int) -> int

val of_coefficients : (Stubs.fr * int) list -> Carray.Stubs.fr_array * int

val of_dense : Carray.scalar array -> Carray.t

val zero : Carray.Stubs.fr_array * int

val one : Carray.Stubs.fr_array * int

val generate_biased_random_polynomial : int -> Carray.Stubs.fr_array * int

val random : int -> Carray.Stubs.fr_array * int

val to_dense_coefficients : (Stubs.fr_array * int) -> Carray.scalar array

val to_sparse_coefficients : (Stubs.fr_array * int) -> (Fr.t * int) list

val encoding : t Data_encoding.t

val equal : Carray.t -> Carray.t -> bool

val add : 
  (Stubs.fr_array * int) ->
  (Stubs.fr_array * int) ->
  Carray.Stubs.fr_array * int

val add_inplace : 
  (Stubs.fr_array * int) ->
  (Stubs.fr_array * int) ->
  (Stubs.fr_array * int) ->
  unit

val sub : 
  (Stubs.fr_array * int) ->
  (Stubs.fr_array * int) ->
  Carray.Stubs.fr_array * int

val sub_inplace : 
  (Stubs.fr_array * int) ->
  (Stubs.fr_array * int) ->
  (Stubs.fr_array * int) ->
  unit

val mul : 
  (Stubs.fr_array * int) ->
  (Stubs.fr_array * int) ->
  Carray.Stubs.fr_array * int

val mul_by_scalar : 
  Stubs.fr ->
  (Stubs.fr_array * int) ->
  Carray.Stubs.fr_array * int

val mul_by_scalar_inplace : 
  (Stubs.fr_array * int) ->
  Stubs.fr ->
  (Stubs.fr_array * int) ->
  unit

val linear : 
  (Stubs.fr_array * int) list ->
  Stubs.fr list ->
  Carray.Stubs.fr_array * int

val linear_with_powers : 
  (Stubs.fr_array * int) list ->
  Stubs.fr ->
  Carray.Stubs.fr_array * int

val opposite : (Stubs.fr_array * int) -> Carray.Stubs.fr_array * int

val opposite_inplace : (Stubs.fr_array * int) -> unit

val is_zero : (Stubs.fr_array * int) -> bool

val evaluate : (Stubs.fr_array * int) -> Fr.t -> Fr.t

exception Rest_not_null of string

val division_xn : 
  (Stubs.fr_array * int) ->
  int ->
  Stubs.fr ->
  (Carray.Stubs.fr_array * int) * (Stubs.fr_array * int)

val mul_xn : 
  (Stubs.fr_array * int) ->
  int ->
  Stubs.fr ->
  Carray.Stubs.fr_array * int

val derivative : (Stubs.fr_array * int) -> Carray.Stubs.fr_array * int

val split : int -> int -> Carray.t -> Carray.t list

val batch : Fr.t -> (Stubs.fr_array * int) list -> Carray.Stubs.fr_array * int

val blind : 
  nb_blinds:int ->
  int ->
  (Stubs.fr_array * int) ->
  (Carray.Stubs.fr_array * int) * (Carray.Stubs.fr_array * int)

val (=) : Carray.t -> Carray.t -> bool

val (+) : 
  (Stubs.fr_array * int) ->
  (Stubs.fr_array * int) ->
  Carray.Stubs.fr_array * int

val (-) : 
  (Stubs.fr_array * int) ->
  (Stubs.fr_array * int) ->
  Carray.Stubs.fr_array * int

val (*) : 
  (Stubs.fr_array * int) ->
  (Stubs.fr_array * int) ->
  Carray.Stubs.fr_array * int

val constant : Stubs.fr -> Carray.Stubs.fr_array * int

package tezos-bls12-381-polynomial