Module Make_impl.VerifierSource

Sourcetype common_verifier_pp = {
  1. n : int;
  2. generator : Kzg.Bls.Scalar.t;
  3. pp_public_parameters : PP.verifier_public_parameters;
  4. cm_g : Commitment.t;
  5. eval_points : Identities.eval_point list list;
}
Sourceval common_verifier_pp_t : common_verifier_pp Repr.t
Sourcetype circuit_verifier_pp = {
  1. gates : unit SMap.t;
  2. alpha : Kzg.Bls.Scalar.t option;
  3. ultra : bool;
  4. input_com_sizes : int list;
  5. range_checks : bool SMap.t;
}
Sourceval circuit_verifier_pp_t : circuit_verifier_pp Repr.t
Sourceval circuit_verifier_pp_of_circuit_prover_pp : Prover.circuit_prover_pp -> circuit_verifier_pp
Sourceval format_input_com : verifier_inputs -> Commitment.t list