Module Main_Pack.Verifier

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 : PP.PC.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 Plonk.SMap.t;
}
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 -> PP.PC.Commitment.t list