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 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 z_name : string
val zg_name : 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
module Preprocessing : sig ... end
module Permutation_poly : sig ... end
val polynomials_degree : nb_wires:int -> int
val preprocessing : ?circuit_name:string -> domain:Domain.t -> permutation:int array -> nb_wires:int -> unit -> Evaluations.polynomial 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
val prover_identities : ?circuit_name:string -> wire_names:string list -> generator:'a -> beta:PP.PC.Scalar.t -> gamma:PP.PC.Scalar.t -> n:int -> unit -> PP.prover_identities
val verifier_identities : ?circuit_name:string -> nb_proofs:int -> generator:Scalar.t -> n:int -> wire_names:string list -> beta:Scalar.t -> gamma:Scalar.t -> delta:Fr_generation.scalar -> unit -> PP.verifier_identities
val f_map_contribution : permutation:int array -> values:Evaluations.t -> indices:int array SMap.t -> beta:Scalar.t -> gamma:Scalar.t -> domain:Domain.t -> Evaluations.polynomial SMap.t