package tezos-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type scalar = PC.Scalar.t
type polynomial = t
val zero : polynomial
val one : polynomial
val degree : polynomial -> Bls12_381_polynomial__Univariate.natural_with_infinity
val degree_int : polynomial -> int
val have_same_degree : polynomial -> polynomial -> bool
val get_dense_polynomial_coefficients : polynomial -> scalar list
val get_dense_polynomial_coefficients_with_degree : polynomial -> (scalar * int) list
val get_list_coefficients : polynomial -> (scalar * int) list
val evaluation : polynomial -> scalar -> scalar
val constants : scalar -> polynomial
val mult_by_scalar : scalar -> polynomial -> polynomial
val is_null : polynomial -> bool
val is_constant : polynomial -> bool
val opposite : polynomial -> polynomial
val equal : polynomial -> polynomial -> bool
val of_coefficients : (scalar * int) list -> polynomial
val lagrange_interpolation : (scalar * scalar) list -> polynomial
val even_polynomial : polynomial -> polynomial
val odd_polynomial : polynomial -> polynomial
val evaluation_fft : domain:scalar array -> polynomial -> scalar list
val generate_random_polynomial : Bls12_381_polynomial__Univariate.natural_with_infinity -> polynomial
val get_highest_coefficient : polynomial -> scalar
val interpolation_fft : domain:scalar array -> scalar list -> polynomial
val polynomial_multiplication : polynomial -> polynomial -> polynomial
val polynomial_multiplication_fft : domain:scalar array -> polynomial -> polynomial -> polynomial
val euclidian_division_opt : polynomial -> polynomial -> (polynomial * polynomial) option
val extended_euclide : polynomial -> polynomial -> polynomial * polynomial * polynomial
val (=) : polynomial -> polynomial -> bool
val to_string : polynomial -> string
OCaml

Innovation. Community. Security.