package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type
module PP = PP
val z : string
val zg : string
val srs_size : zero_knowledge:bool -> n:int -> int
val polynomials_degree : nb_wires:int -> int
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 SMap.t * PP.Evaluations.t SMap.t * PP.verifier_query
val preprocessing : ?prefix:string -> domain:PP.PC.Polynomial.Domain.t -> permutation:int array -> nb_wires:int -> unit -> PP.PC.Polynomial.Polynomial.t SMap.t
val prover_query : ?prefix:string -> wires_name:string array -> generator:PP.PC.Scalar.t -> beta:PP.PC.Scalar.t -> gamma:PP.PC.Scalar.t -> evaluations:PP.Evaluations.t SMap.t -> n:int -> unit -> PP.prover_query
val verifier_query : ?compute_sid:bool -> ?prefix:string -> wires_name:string array -> generator:PP.PC.Scalar.t -> beta:PP.PC.Scalar.t -> gamma:PP.PC.Scalar.t -> nb_wires:int -> unit -> PP.verifier_query
val create_batched_wire_poly : extra_prefix:string -> len_prefix:int -> wire_name:string -> PP.PC.Scalar.t -> int -> PP.MP.Polynomial.t
val f_map_contribution : permutation:int array -> values:PP.Evaluations.t -> indices:int array SMap.t -> beta:PP.PC.Scalar.t -> gamma:PP.PC.Scalar.t -> domain:PP.PC.Polynomial.Domain.t -> PP.PC.Polynomial.Polynomial.t SMap.t