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

save a gate with arithmetic

Browse Source
This commit is contained in:
Nicholas Ward 2021-07-01 17:43:22 -07:00
parent 39b22a6cab
commit 3d53201538
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/gadgets/insert.rs
View File

@ -23,9 +23,7 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
let y = self.mul(x, m); let y = self.mul(x, m);
// Enforce that (1 - y) * x == 0. // Enforce that (1 - y) * x == 0.
let one = self.one(); let prod = self.arithmetic(F::NEG_ONE, x, y, F::ONE, x);
let diff = self.sub(one, y);
let prod = self.mul(diff, x);
self.assert_zero(prod); self.assert_zero(prod);
y y