package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type
val aggregate_blinds : module_list:(module Gate_base_sig) list -> int SMap.t
val aggregate_prover_queries : ?prefix:string -> module_list:(module Gate_base_sig) list -> public_inputs:Scalar.t array -> domain:PP.PC.Polynomial.Domain.t -> evaluations:Evaluations.t SMap.t -> unit -> PP.prover_query
val aggregate_verifier_queries : ?prefix:string -> module_list:(module Gate_base_sig) list -> generator:PP.PC.Scalar.t -> size_domain:int -> unit -> PP.verifier_query
val aggregate_polynomials_degree : module_list:(module Gate_base_sig) list -> int SMap.t
val add_public_inputs : prefix:string -> public_inputs:Scalar.t array -> generator:PP.PC.Scalar.t -> size_domain:int -> PP.verifier_query -> PP.verifier_query