package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Make (PC : Kzg.Polynomial_commitment_sig) : sig ... end
module type Plookup_sig = sig ... end
include Plookup_sig
type prover_public_parameters
type verifier_public_parameters
type proof
type input = PP.PC.Scalar.t array list
type lookup = PP.PC.Scalar.t array list
type transcript = PP.transcript
val setup : ?zero_knowledge:bool -> int -> int -> lookup list -> ?q_table:PP.PC.Scalar.t array -> srs: (Bls12_381_polynomial.Polynomial.Srs.t * Bls12_381_polynomial.Polynomial.Srs.t) -> unit -> prover_public_parameters * verifier_public_parameters
val prove : ?zero_knowledge:bool -> prover_public_parameters -> input -> transcript -> (proof * PP.PC.Commitment.t) * transcript