logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-15 12:13:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Check old value in PartitionWitness::set_target

Browse Source
This commit is contained in:
wborgeaud 2021-08-20 22:42:09 +02:00
parent eeef54c40e
commit 5fba65a3f5
1 changed files with 12 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/iop/witness.rs
View File

@ -184,7 +184,7 @@ impl<F: Field> Witness<F> for PartialWitness<F> {
}
}
/// `PartitionWitness` holds a disjoint-set forest of the targets respecting a ciruit's copy constraints.
/// `PartitionWitness` holds a disjoint-set forest of the targets respecting a circuit's copy constraints.
/// The value of a target is defined to be the value of its root in the forest.
#[derive(Clone)]
pub struct PartitionWitness<F: Field> {
@ -200,8 +200,17 @@ impl<F: Field> Witness<F> for PartitionWitness<F> {
}
fn set_target(&mut self, target: Target, value: F) {
let i = self.forest[self.target_index(target)].parent;
self.forest[i].value = Some(value);
let parent_index = self.forest[self.target_index(target)].parent;
let parent_value = &mut self.forest[parent_index].value;
if let Some(old_value) = *parent_value {
assert_eq!(
value, old_value,
"Partition containing {:?} was set twice with different values",
target
);
} else {
*parent_value = Some(value);
}
}
}