octez-plonk 17.3 (latest) · OCaml Package

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

package octez-plonk