package tezos-bls12-381-polynomial

  1. Overview
  2. Docs
package tezos-bls12-381-polynomial
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Polynomial_c.Polynomial_implSource

Sourcetype scalar = Fr.t
Sourceval of_carray : Carray.t -> t
Sourceval to_carray : t -> Carray.t
Sourceval allocate : int -> Carray.Stubs.fr_array * int
Sourceval erase : Carray.t -> unit
Sourceval length : ('a * 'b) -> 'b
Sourceval copy : ?offset:int -> ?len:int -> Carray.t -> Carray.t
Sourceval to_string : Carray.t -> string
Sourceval get : Carray.t -> int -> Carray.scalar
Sourceval degree : (Stubs.fr_array * int) -> int
Sourceval of_coefficients : (Stubs.fr * int) list -> Carray.Stubs.fr_array * int
Sourceval of_dense : Carray.scalar array -> Carray.t
Sourceval generate_biased_random_polynomial : int -> Carray.Stubs.fr_array * int
Sourceval random : int -> Carray.Stubs.fr_array * int
Sourceval to_dense_coefficients : (Stubs.fr_array * int) -> Carray.scalar array
Sourceval to_sparse_coefficients : (Stubs.fr_array * int) -> (Fr.t * int) list
Sourceval encoding : t Data_encoding.t
Sourceval equal : Carray.t -> Carray.t -> bool
Sourceval add : (Stubs.fr_array * int) -> (Stubs.fr_array * int) -> Carray.Stubs.fr_array * int
Sourceval add_inplace : (Stubs.fr_array * int) -> (Stubs.fr_array * int) -> (Stubs.fr_array * int) -> unit
Sourceval sub : (Stubs.fr_array * int) -> (Stubs.fr_array * int) -> Carray.Stubs.fr_array * int
Sourceval sub_inplace : (Stubs.fr_array * int) -> (Stubs.fr_array * int) -> (Stubs.fr_array * int) -> unit
Sourceval mul : (Stubs.fr_array * int) -> (Stubs.fr_array * int) -> Carray.Stubs.fr_array * int
Sourceval mul_by_scalar : Stubs.fr -> (Stubs.fr_array * int) -> Carray.Stubs.fr_array * int
Sourceval mul_by_scalar_inplace : (Stubs.fr_array * int) -> Stubs.fr -> (Stubs.fr_array * int) -> unit
Sourceval linear : (Stubs.fr_array * int) list -> Stubs.fr list -> Carray.Stubs.fr_array * int
Sourceval linear_with_powers : (Stubs.fr_array * int) list -> Stubs.fr -> Carray.Stubs.fr_array * int
Sourceval opposite : (Stubs.fr_array * int) -> Carray.Stubs.fr_array * int
Sourceval opposite_inplace : (Stubs.fr_array * int) -> unit
Sourceval is_zero : (Stubs.fr_array * int) -> bool
Sourceval evaluate : (Stubs.fr_array * int) -> Fr.t -> Fr.t
Sourceexception Rest_not_null of string
Sourceval division_xn : (Stubs.fr_array * int) -> int -> Stubs.fr -> (Carray.Stubs.fr_array * int) * (Stubs.fr_array * int)
Sourceval mul_xn : (Stubs.fr_array * int) -> int -> Stubs.fr -> Carray.Stubs.fr_array * int
Sourceval derivative : (Stubs.fr_array * int) -> Carray.Stubs.fr_array * int
Sourceval split : int -> int -> Carray.t -> Carray.t list
Sourceval batch : Fr.t -> (Stubs.fr_array * int) list -> Carray.Stubs.fr_array * int
Sourceval blind : nb_blinds:int -> int -> (Stubs.fr_array * int) -> (Carray.Stubs.fr_array * int) * (Carray.Stubs.fr_array * int)
Sourceval (=) : Carray.t -> Carray.t -> bool
Sourceval (+) : (Stubs.fr_array * int) -> (Stubs.fr_array * int) -> Carray.Stubs.fr_array * int
Sourceval (-) : (Stubs.fr_array * int) -> (Stubs.fr_array * int) -> Carray.Stubs.fr_array * int
Sourceval (*) : (Stubs.fr_array * int) -> (Stubs.fr_array * int) -> Carray.Stubs.fr_array * int
Sourceval constant : Stubs.fr -> Carray.Stubs.fr_array * int