package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

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

Module Identities.EvaluationsSource

type scalar = Kzg.Bls.Evals.scalar
type polynomial = Kzg.Bls.Evals.polynomial
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
Sourceval compute_evaluations : domain:domain -> polynomial Kzg.SMap.t -> t Kzg.SMap.t
Sourceval compute_evaluations_update_map : ?domain:domain -> evaluations:t Kzg.SMap.t -> polynomial Kzg.SMap.t -> t Kzg.SMap.t
Sourceval mul : ?res:t -> evaluations:t Kzg.SMap.t -> poly_names:string list -> ?composition_gx:(int list * int) -> ?powers:int list -> unit -> t
Sourceval 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