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

constraints in base field (fixes low degree test)

Browse Source
This commit is contained in:
Nicholas Ward 2021-07-13 16:15:56 -07:00
parent 1ecc234644
commit f0ae72ba74
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/gates/insertion.rs
View File

@ -99,12 +99,10 @@ 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: ExtensionAlgebra<F::Extension, D> =
(difference * equality_dummy - insert_here).into();
constraints.extend(equality_dummy_constraint.to_basefield_array());
let mul_to_zero_constraint: ExtensionAlgebra<F::Extension, D> =
((F::Extension::ONE - insert_here) * difference).into();
constraints.extend(mul_to_zero_constraint.to_basefield_array());
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);
let mut new_item = element_to_insert * insert_here.into() + already_inserted.into();
if r > 0 {