package tezos-bls12-381-polynomial

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.