This commit is contained in:
Nicholas Ward 2022-02-11 12:54:47 -08:00
parent ad1aa4ae10
commit f67e12ee64

View File

@ -364,11 +364,7 @@ impl<F: RichField> SimpleGenerator<F> for EqualityGenerator {
let x = witness.get_target(self.x); let x = witness.get_target(self.x);
let y = witness.get_target(self.y); let y = witness.get_target(self.y);
let inv = if x != y { let inv = if x != y { (x - y).inverse() } else { F::ZERO };
(x - y).inverse()
} else {
F::ZERO
};
out_buffer.set_bool_target(self.equal, x == y); out_buffer.set_bool_target(self.equal, x == y);
out_buffer.set_target(self.inv, inv); out_buffer.set_target(self.inv, inv);