package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

module PP = PP
module MP = PP.MP
module Domain = PP.PC.Polynomial.Domain
module Scalar = PP.PC.Scalar
module Commitment = PP.PC.Commitment
module Fr_generation = PP.PC.Fr_generation
module Evaluations = PP.Evaluations
val monomial_of_list : SMap.key list -> int SMap.t
val z : string
val zg : string
type public_parameters = {
  1. g_map_perm_PP : Poly.t SMap.t;
  2. cm_g_map_perm_PP : Commitment.t SMap.t;
  3. s_poly_map : Poly.t SMap.t;
  4. cm_s_poly_map : Commitment.t SMap.t;
  5. permutation : int array;
}
val srs_size : zero_knowledge:bool -> n:int -> int
val one : Scalar.t
val zero : Scalar.t
val mone : Scalar.t
val quadratic_non_residues : Fr_generation.scalar array
val get_k : int -> Fr_generation.scalar
val gate_identity : prefix:string -> string array -> Fr_generation.scalar -> Fr_generation.scalar -> MP.Polynomial.t SMap.t
val v_map : prefix:string -> Poly.scalar -> (string * Poly.t) SMap.t
module Preprocessing : sig ... end
module Permutation_poly : sig ... end
val polynomials_degree : nb_wires:int -> int
val preprocessing : ?prefix:string -> domain:Domain.t -> permutation:int array -> nb_wires:int -> unit -> Evaluations.polynomial SMap.t
val sid_not_committed : int -> PP.not_committed SMap.t
val common_preprocessing : compute_l1:bool -> domain:Domain.t -> nb_wires:int -> domain_evals:Evaluations.domain -> Evaluations.polynomial SMap.t * Evaluations.t SMap.t * PP.verifier_query
val prover_query : ?prefix:string -> wires_name:SMap.key array -> generator:Poly.scalar -> beta:Evaluations.scalar -> gamma:Evaluations.scalar -> evaluations:Evaluations.t SMap.t -> n:int -> unit -> PP.prover_query
val verifier_query : ?compute_sid:bool -> ?prefix:string -> wires_name:string array -> generator:Poly.scalar -> beta:Fr_generation.scalar -> gamma:Fr_generation.scalar -> nb_wires:int -> unit -> PP.verifier_query
val create_batched_wire_poly : extra_prefix:string -> len_prefix:int -> wire_name:string -> Scalar.t -> int -> PP.MP.Polynomial.t
val f_map_contribution : permutation:int array -> values:Evaluations.t -> indices:int array SMap.t -> beta:Bls12_381.Fr.t -> gamma:Scalar.t -> domain:Domain.t -> Evaluations.polynomial SMap.t