package octez-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type common_verifier_pp = {
  1. n : int;
  2. generator : Plonk.Bls.Scalar.t;
  3. pp_public_parameters : PP.PC.Public_parameters.verifier;
  4. cm_g : Commitment.t;
  5. eval_points : Plonk.Identities.eval_point list list;
}
val common_verifier_pp_t : common_verifier_pp Repr.t
type circuit_verifier_pp = {
  1. gates : unit Plonk.SMap.t;
  2. alpha : Plonk.Bls.Scalar.t option;
  3. ultra : bool;
  4. input_com_sizes : int list;
  5. range_checks : bool;
}
val circuit_verifier_pp_t : circuit_verifier_pp Repr.t
val circuit_verifier_pp_of_circuit_prover_pp : Prover.circuit_prover_pp -> circuit_verifier_pp
val format_input_com : verifier_inputs -> Commitment.t list