package octez-plonk

  1. Overview
  2. Docs
package octez-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type
type scalar = Octez_bls12_381_polynomial.Bls12_381_polynomial.Evaluations.scalar
type polynomial = Octez_bls12_381_polynomial.Bls12_381_polynomial.Evaluations.polynomial
type t = Octez_bls12_381_polynomial.Bls12_381_polynomial.Evaluations.t
val t : t Repr.t
val init : int -> (int -> scalar) -> degree:int -> t
val of_array : (int * scalar array) -> t
val to_array : t -> scalar array
val string_of_eval : t -> string
type domain = Octez_bls12_381_polynomial.Bls12_381_polynomial.Evaluations.domain
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 get_inplace : t -> int -> scalar -> unit
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 : domain -> t -> polynomial
val evaluation_fft_prime_factor_algorithm : domain1:domain -> domain2:domain -> polynomial -> t
val interpolation_fft_prime_factor_algorithm : domain1:domain -> domain2:domain -> t -> 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.

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