diff --git a/src/gadgets/nonnative.rs b/src/gadgets/nonnative.rs index a3fa7fcd..0f16ddc3 100644 --- a/src/gadgets/nonnative.rs +++ b/src/gadgets/nonnative.rs @@ -77,10 +77,7 @@ impl, const D: usize> CircuitBuilder { self.reduce(&result) } - pub fn neg_nonnative( - &mut self, - x: &NonNativeTarget, - ) -> NonNativeTarget { + pub fn neg_nonnative(&mut self, x: &NonNativeTarget) -> NonNativeTarget { // TODO: zero - x would be more efficient but doesn't seem to work? let neg_one = FF::order() - BigUint::one(); let neg_one_target = self.constant_biguint(&neg_one); @@ -89,10 +86,7 @@ impl, const D: usize> CircuitBuilder { self.mul_nonnative(&neg_one_ff, x) } - pub fn inv_nonnative( - &mut self, - x: &NonNativeTarget, - ) -> NonNativeTarget { + pub fn inv_nonnative(&mut self, x: &NonNativeTarget) -> NonNativeTarget { let num_limbs = x.value.num_limbs(); let inv_biguint = self.add_virtual_biguint_target(num_limbs); let inv = NonNativeTarget:: {