This commit is contained in:
Daniel Lubarov 2022-11-29 12:19:40 -08:00
parent b23193ba8d
commit c3ae52f5b0

View File

@ -25,10 +25,7 @@ where
{
let mut pw = PartialWitness::new();
for i in 0..circuit.common.num_public_inputs {
let pi = nonzero_public_inputs
.iter()
.find_map(|(j, pi)| (i == *j).then_some(*pi))
.unwrap_or_default();
let pi = nonzero_public_inputs.get(&i).copied().unwrap_or_default();
pw.set_target(circuit.prover_only.public_inputs[i], pi);
}
circuit.prove(pw)