diff --git a/plonky2/src/gadgets/arithmetic.rs b/plonky2/src/gadgets/arithmetic.rs index e7b124b9..6bff79d1 100644 --- a/plonky2/src/gadgets/arithmetic.rs +++ b/plonky2/src/gadgets/arithmetic.rs @@ -337,7 +337,7 @@ impl, const D: usize> CircuitBuilder { BoolTarget::new_unsafe(self.mul(b1.target, b2.target)) } - // computes the arithmetic extension of logical "or": `b1 + b2 - b1 * b2` + /// computes the arithmetic extension of logical "or": `b1 + b2 - b1 * b2` pub fn or(&mut self, b1: BoolTarget, b2: BoolTarget) -> BoolTarget { let res_minus_b2 = self.arithmetic(-F::ONE, F::ONE, b1.target, b2.target, b1.target); BoolTarget::new_unsafe(self.add(res_minus_b2, b2.target))