package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type
type scalar = Super_PC.Scalar.t
type polynomial = Super_PC.Polynomial.Polynomial.t
type t = Super_PC.Polynomial.Evaluations.t
val t : t Repr.t
val of_array : (int * scalar array) -> t
val to_array : t -> scalar array
val string_of_eval : t -> string
type domain = Super_PC.Polynomial.Domain.t
val of_domain : domain -> t
val to_domain : t -> domain
val zero : t
val is_zero : t -> bool
val degree : t -> int
val length : t -> int
val create : int -> t
val copy : ?res:t -> t -> t
val get : t -> int -> scalar
val mul_by_scalar : scalar -> t -> t
val mul_c : ?res:t -> evaluations:t list -> ?composition_gx:(int list * int) -> ?powers:int list -> unit -> t
val linear_c : ?res:t -> evaluations:t list -> ?linear_coeffs:scalar list -> ?composition_gx:(int list * int) -> ?add_constant:scalar -> unit -> t
val linear_with_powers : t list -> scalar -> t
val add : ?res:t -> t -> t -> t
val equal : t -> t -> bool
val evaluation_fft : domain -> polynomial -> t
val interpolation_fft : domain -> t -> polynomial
val interpolation_fft2 : domain -> scalar array -> polynomial
val dft : domain -> polynomial -> t
val idft_inplace : domain -> t -> polynomial
val evaluation_fft_prime_factor_algorithm : domain1:domain -> domain2:domain -> polynomial -> t
val interpolation_fft_prime_factor_algorithm_inplace : domain1:domain -> domain2:domain -> t -> polynomial
val size_evaluations : t Plonk.SMap.t -> int
val find_evaluation : t Plonk.SMap.t -> string -> t
val print_evaluations_name : t Plonk.SMap.t -> unit
val get_domain : t Plonk.SMap.t -> domain
val compute_evaluations : domain:domain -> polynomial Plonk.SMap.t -> t Plonk.SMap.t
val compute_evaluations_update_map : ?domain:domain -> evaluations:t Plonk.SMap.t -> polynomial Plonk.SMap.t -> t Plonk.SMap.t
val mul : ?res:t -> evaluations:t Plonk.SMap.t -> poly_names:string list -> ?composition_gx:(int list * int) -> ?powers:int list -> unit -> t
val linear : ?res:t -> evaluations:t Plonk.SMap.t -> poly_names:Plonk.SMap.key list -> ?linear_coeffs:scalar list -> ?composition_gx:(int list * int) -> ?add_constant:scalar -> unit -> t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct