logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-04-18 17:43:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

is_zero function

Browse Source
This commit is contained in:
Nicholas Ward 2021-07-01 10:47:13 -07:00
parent 515373653d
commit d84b9ec8cb
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/gadgets/insert.rs
View File

@ -7,13 +7,18 @@ use crate::target::Target;
impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> { impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
/// Evaluates to 1 if `x` equals zero, 0 otherwise. /// Evaluates to 1 if `x` equals zero, 0 otherwise.
pub fn is_zero(&mut self, x: Target) -> Target { pub fn is_zero(&mut self, x: Target) -> Target {
let m = todo!(); let m = self.add_virtual_target();
let y = todo!(); let y = self.mul(x, m);
let one = self.one();
let diff = self.sub(one, y);
let prod = self.mul(diff, x);
self.assert_zero(prod);
self.add_generator(EqualsZeroGenerator { self.add_generator(EqualsZeroGenerator {
to_test: x, to_test: x,
dummy: m, dummy: m,
is_zero: y is_zero: y,
}); });
y y