package tezos-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type scalar = PC.Scalar.t
type polynomial = PC.Polynomial.Polynomial.t
val make_evaluation : (int * scalar array) -> t
val string_of_eval : t -> string
val of_domain : domain -> t
val to_domain : t -> domain
val zero : t
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 add : ?res:t -> t -> t -> t
val equal : t -> t -> bool
val evaluation_fft : domain -> polynomial -> t
val interpolation_fft : domain -> t -> polynomial
val evaluation_fft2 : domain -> polynomial -> scalar array
val interpolation_fft2 : domain -> scalar array -> polynomial
val size_evaluations : t SMap.t -> int
val find_evaluation : t SMap.t -> string -> t
val print_evaluations_name : t SMap.t -> unit
val get_domain : t SMap.t -> domain
val compute_evaluations : domain:domain -> polynomial SMap.t -> t SMap.t
val compute_evaluations_update_map : ?domain:domain -> evaluations:t SMap.t -> polynomial SMap.t -> t SMap.t
val mul : ?res:t -> evaluations:t SMap.t -> poly_names:string list -> ?composition_gx:(int list * int) -> ?powers:int list -> unit -> t
val linear : ?res:t -> evaluations:t SMap.t -> poly_names:SMap.key list -> ?linear_coeffs:scalar list -> ?composition_gx:(int list * int) -> ?add_constant:scalar -> unit -> t
OCaml

Innovation. Community. Security.