Fixes from PR feedback

This commit is contained in:
wborgeaud 2021-06-15 08:35:06 +02:00
parent cfa5807556
commit 39c793a380
2 changed files with 4 additions and 11 deletions

View File

@ -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,

View File

@ -89,16 +89,9 @@ impl<F: Field> PartialWitness<F> {
F: Extendable<D>,
{
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) {