diff --git a/src/circuits/bit_decomposition.rs b/src/circuits/bit_decomposition.rs index 70206a6d..132576c9 100644 --- a/src/circuits/bit_decomposition.rs +++ b/src/circuits/bit_decomposition.rs @@ -24,8 +24,6 @@ impl ConstraintSynthesizer for BitDecompositionCircuit { let bits = a_var.to_bits_le()?; - // a_var.is_zero()?.enforce_equal(&MpcBoolean::TRUE)?; - Ok(()) } } @@ -34,8 +32,6 @@ impl ConstraintSynthesizer for BitDecompositionCircuit { fn generate_constraints(self, cs: ConstraintSystemRef) -> Result<(), SynthesisError> { let a_var = FpVar::new_witness(cs.clone(), || Ok(self.a))?; - // a_var.is_zero()?.enforce_equal(&Boolean::TRUE)?; - let bits = a_var.to_bits_le()?; Ok(())