Module `Bls.Evaluations`Source

Sourcetype scalar = Octez_bls12_381_polynomial.Evaluations.scalar

Sourcetype polynomial = Octez_bls12_381_polynomial.Evaluations.polynomial

Sourcetype t = Octez_bls12_381_polynomial.Evaluations.t

Sourceval t : t Repr.t

Sourceval init : int -> (int -> scalar) -> degree:int -> t

Sourceval of_array : (int * scalar array) -> t

Sourceval to_array : t -> scalar array

Sourceval string_of_eval : t -> string

Sourcetype domain = Octez_bls12_381_polynomial.Evaluations.domain

Sourceval of_domain : domain -> t

Sourceval to_domain : t -> domain

Sourceval zero : t

Sourceval is_zero : t -> bool

Sourceval degree : t -> int

Sourceval length : t -> int

Sourceval create : int -> t

Sourceval copy : ?res:t -> t -> t

Sourceval get : t -> int -> scalar

Sourceval get_inplace : t -> int -> scalar -> unit

Sourceval mul_by_scalar : scalar -> t -> t

Source

val mul_c : 
  ?res:t ->
  evaluations:t list ->
  ?composition_gx:(int list * int) ->
  ?powers:int list ->
  unit ->
  t

Source

val linear_c : 
  ?res:t ->
  evaluations:t list ->
  ?linear_coeffs:scalar list ->
  ?composition_gx:(int list * int) ->
  ?add_constant:scalar ->
  unit ->
  t

Sourceval linear_with_powers : t list -> scalar -> t

Sourceval add : ?res:t -> t -> t -> t

Sourceval equal : t -> t -> bool

Sourceval evaluation_fft : domain -> polynomial -> t

Sourceval interpolation_fft : domain -> t -> polynomial

Sourceval interpolation_fft2 : domain -> scalar array -> polynomial

Sourceval dft : domain -> polynomial -> t

Sourceval idft : domain -> t -> polynomial

Source

val evaluation_fft_prime_factor_algorithm : 
  domain1:domain ->
  domain2:domain ->
  polynomial ->
  t

Source

val interpolation_fft_prime_factor_algorithm : 
  domain1:domain ->
  domain2:domain ->
  t ->
  polynomial

Sourceval size_evaluations : t SMap.t -> int

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

Sourceval print_evaluations_name : t SMap.t -> unit

Sourceval get_domain : t SMap.t -> domain

Sourceval compute_evaluations : domain:domain -> polynomial SMap.t -> t SMap.t

Source

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

Source

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

Source

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

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Bls.Evaluations`Source

package octez-libs

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Bls.EvaluationsSource

Module `Bls.Evaluations`Source