package tezos-plonk

  1. Overview
  2. Docs
Plonk zero-knowledge proving system

Install 

dune-project
 Dependency

research-development.nomadic-labs.com Readme Edit opam file Versions (6)

Authors

  1. N
    Nomadic Labs Privacy Team

Maintainers

  1. P
    privacy-team@nomadic-labs.com

Sources

privacy-team-v1.0.1.tar.gz
md5=03d6ca5fb1c6865b6628e0dd49575895
sha512=20494d1d00ded43f3625e06e037d3bad04f0a7320914b542b882d3d0293c9b02845b7ca9ee4ff0eb8ea495eff5633016861c39370cca92c12aacae0e84483ca4

doc/tezos-plonk.aggregation/Aggregation/Main_protocol/Make_impl/Evaluations/index.html

Module Make_impl.EvaluationsSource

val t : t Repr.t
val of_array : (int * Super_PP.PC.Scalar.t array) -> t
val to_array : t -> Super_PP.PC.Scalar.t array
val string_of_eval : t -> string
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 -> Super_PP.PC.Scalar.t
val mul_by_scalar : Super_PP.PC.Scalar.t -> 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:Super_PP.PC.Scalar.t list -> ?composition_gx:(int list * int) -> ?add_constant:Super_PP.PC.Scalar.t -> unit -> t
val linear_with_powers : t list -> Super_PP.PC.Scalar.t -> 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 -> Super_PP.PC.Scalar.t array -> polynomial
val dft : domain -> polynomial -> t
val idft_inplace : domain -> t -> polynomial
val evaluation_fft_prime_factor_algorithm : domain1:domain -> domain2:domain -> polynomial -> t
val interpolation_fft_prime_factor_algorithm_inplace : domain1:domain -> domain2:domain -> t -> polynomial
val size_evaluations : t Plonk.SMap.t -> int
val find_evaluation : t Plonk.SMap.t -> string -> t
val print_evaluations_name : t Plonk.SMap.t -> unit
val get_domain : t Plonk.SMap.t -> domain
val compute_evaluations : domain:domain -> polynomial Plonk.SMap.t -> t Plonk.SMap.t
val compute_evaluations_update_map : ?domain:domain -> evaluations:t Plonk.SMap.t -> polynomial Plonk.SMap.t -> t Plonk.SMap.t
val mul : ?res:t -> evaluations:t Plonk.SMap.t -> poly_names:string list -> ?composition_gx:(int list * int) -> ?powers:int list -> unit -> t
val linear : ?res:t -> evaluations:t Plonk.SMap.t -> poly_names:Plonk.SMap.key list -> ?linear_coeffs:Super_PP.PC.Scalar.t list -> ?composition_gx:(int list * int) -> ?add_constant:Super_PP.PC.Scalar.t -> unit -> t