package tezos-plonk

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Plookup_protocol.MakeSource

Parameters

Signature

module Scalar = PP.PC.Scalar
module Domain = PP.PC.Polynomial.Domain
module Fr_generation = PP.PC.Fr_generation
Sourcemodule Evaluations = PP.Evaluations
Sourcemodule Plook : sig ... end
Sourcemodule MP = PP.MP
Sourcetype secret = Poly.t list
Sourcetype proof = PP.proof
Sourcetype transcript = PP.transcript
Sourcetype input = Scalar.t array list
Sourcetype lookup = Scalar.t array list
Sourcetype prover_public_parameters = {
  1. pp_parameters : PP.prover_public_parameters;
  2. size_domain : int;
  3. domain : Domain.t;
  4. generator : Scalar.t;
  5. tables : lookup;
  6. alpha : Scalar.t;
  7. gates : Scalar.t array SMap.t;
  8. evaluations : Evaluations.t SMap.t;
}
Sourcetype verifier_public_parameters = {
  1. pp_parameters : PP.verifier_public_parameters;
  2. generator : Scalar.t;
  3. alpha : Scalar.t;
}
Sourceval setup : ?zero_knowledge:bool -> int -> int -> Plook.PP.PC.Scalar.t array list list -> ?q_table:Scalar.t array -> ((string * string) * (string * string)) -> unit -> prover_public_parameters * verifier_public_parameters
Sourceval prove : ?zero_knowledge:bool -> prover_public_parameters -> Plook.PP.PC.Scalar.t array list -> Bytes.t -> (PP.proof * PP.PC.Commitment.t) * PP.transcript
OCaml

Innovation. Community. Security.