diff --git a/src/circuit_data.rs b/src/circuit_data.rs index 466779da..7429e62a 100644 --- a/src/circuit_data.rs +++ b/src/circuit_data.rs @@ -49,7 +49,7 @@ impl CircuitConfig { self.num_wires - self.num_routed_wires } - pub fn large_config() -> Self { + pub(crate) fn large_config() -> Self { Self { num_wires: 134, num_routed_wires: 12, diff --git a/src/witness.rs b/src/witness.rs index c5748c3f..e71b1cfb 100644 --- a/src/witness.rs +++ b/src/witness.rs @@ -89,16 +89,9 @@ impl PartialWitness { F: Extendable, { let limbs = value.to_basefield_array(); - for i in 0..D { - let opt_old_value = self.target_values.insert(et.0[i], limbs[i]); - if let Some(old_value) = opt_old_value { - assert_eq!( - old_value, limbs[i], - "Target was set twice with different values: {:?}", - et.0[i] - ); - } - } + (0..D).for_each(|i| { + self.set_target(et.0[i], limbs[i]); + }); } pub fn set_wire(&mut self, wire: Wire, value: F) {