Rename the variables to avoid confusion: `num_instances` -> `num_circuits` `num_proofs` -> `num_instances`