Module `Identities.Evaluations`Source

type scalar = Kzg.Bls.Evals.scalar

type polynomial = Kzg.Bls.Evals.polynomial

type t = Kzg.Bls.Evals.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 = Kzg.Bls.Evals.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

Sourceval size_evaluations : t Kzg.SMap.t -> int

Sourceval find_evaluation : t Kzg.SMap.t -> string -> t

Sourceval print_evaluations_name : t Kzg.SMap.t -> unit

Sourceval get_domain : t Kzg.SMap.t -> domain

Source

val compute_evaluations : 
  domain:domain ->
  polynomial Kzg.SMap.t ->
  t Kzg.SMap.t

Source

val compute_evaluations_update_map : 
  ?domain:domain ->
  evaluations:t Kzg.SMap.t ->
  polynomial Kzg.SMap.t ->
  t Kzg.SMap.t

Source

val mul : 
  ?res:t ->
  evaluations:t Kzg.SMap.t ->
  poly_names:string list ->
  ?composition_gx:(int list * int) ->
  ?powers:int list ->
  unit ->
  t

Source

val linear : 
  ?res:t ->
  evaluations:t Kzg.SMap.t ->
  poly_names:Kzg.SMap.key list ->
  ?linear_coeffs:scalar list ->
  ?composition_gx:(int list * int) ->
  ?add_constant:scalar ->
  unit ->
  t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.plonk/Plonk/Identities/Evaluations/index.html

Module `Identities.Evaluations`Source

package octez-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.plonk/Plonk/Identities/Evaluations/index.html

Module Identities.EvaluationsSource

Module `Identities.Evaluations`Source