more fixes

This commit is contained in:
Nicholas Ward 2021-07-13 16:49:22 -07:00
parent ca944d5892
commit c6a33d0eff

View File

@ -100,7 +100,7 @@ impl<F: Extendable<D>, const D: usize> Gate<F, D> for InsertionGate<F, D> {
// The two equality constraints.
constraints.push(difference * equality_dummy - (F::Extension::ONE - insert_here));
constraints.push((F::Extension::ONE - insert_here) * difference);
constraints.push(insert_here * difference);
let mut new_item = element_to_insert * insert_here.into() + already_inserted.into();
if r > 0 {