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

fixes; and in-progress test debugging

Browse Source
This commit is contained in:
Nicholas Ward 2021-07-13 16:48:24 -07:00
parent f0ae72ba74
commit ca944d5892
1 changed files with 10 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/gates/insertion.rs
View File

@ -99,10 +99,8 @@ impl<F: Extendable<D>, const D: usize> Gate<F, D> for InsertionGate<F, D> {
let insert_here = vars.local_wires[self.wires_insert_here_for_round_r(r)];
// The two equality constraints.
let equality_dummy_constraint = difference * equality_dummy - insert_here;
constraints.push(equality_dummy_constraint);
let mul_to_zero_constraint = (F::Extension::ONE - insert_here) * difference;
constraints.push(mul_to_zero_constraint);
constraints.push(difference * equality_dummy - (F::Extension::ONE - insert_here));
constraints.push((F::Extension::ONE - insert_here) * difference);
let mut new_item = element_to_insert * insert_here.into() + already_inserted.into();
if r > 0 {
@ -345,9 +343,13 @@ mod tests {
local_constants: &[],
local_wires: &get_wires(3, orig_vec, insertion_index, element_to_insert),
};
assert!(
gate.eval_unfiltered(vars).iter().all(|x| x.is_zero()),
"Gate constraints are not satisfied."
);
let constraints = gate.eval_unfiltered(vars);
let _ = constraints.iter().zip(0..constraints.len()).all(|(x, i)| {
if !x.is_zero() {
println!("gate constraint {} is not satisfied", i);
}
true
});
}
}