package tezos-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val z_name : string
val zg_name : string
val srs_size : zero_knowledge:bool -> n:int -> int
val polynomials_degree : nb_wires:int -> int
val preprocessing : ?circuit_name:string -> domain:PP.PC.Polynomial.Domain.t -> permutation:int array -> nb_wires:int -> unit -> PP.PC.Polynomial.Polynomial.t Plonk.SMap.t
val common_preprocessing : compute_l1:bool -> domain:PP.PC.Polynomial.Domain.t -> nb_wires:int -> domain_evals:PP.Evaluations.domain -> PP.PC.Polynomial.Polynomial.t Plonk.SMap.t * PP.Evaluations.t Plonk.SMap.t
val prover_identities : ?circuit_name:string -> wire_names:string list -> generator:PP.PC.Scalar.t -> 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:PP.PC.Scalar.t -> n:int -> wire_names:string list -> beta:PP.PC.Scalar.t -> gamma:PP.PC.Scalar.t -> delta:PP.PC.Scalar.t -> unit -> PP.verifier_identities
val f_map_contribution : permutation:int array -> values:PP.Evaluations.t -> indices:int array Plonk.SMap.t -> beta:PP.PC.Scalar.t -> gamma:PP.PC.Scalar.t -> domain:PP.PC.Polynomial.Domain.t -> PP.PC.Polynomial.Polynomial.t Plonk.SMap.t