diff --git a/src/generator.rs b/src/generator.rs index f54b820e..6bc12011 100644 --- a/src/generator.rs +++ b/src/generator.rs @@ -146,7 +146,11 @@ impl SimpleGenerator for EqualsZeroGenerator { fn run_once(&self, witness: &PartialWitness) -> PartialWitness { let to_test_value = witness.get_target(self.to_test); - let is_zero_value = if to_test_value == F::ZERO { F::ZERO } else { F::ONE }; + let is_zero_value = if to_test_value == F::ZERO { + F::ZERO + } else { + F::ONE + }; let dummy_value = if to_test_value == F::ZERO { F::ONE diff --git a/src/target.rs b/src/target.rs index e765f7eb..52be8b5a 100644 --- a/src/target.rs +++ b/src/target.rs @@ -7,11 +7,15 @@ use crate::wire::Wire; #[derive(Copy, Clone, Eq, PartialEq, Hash, Debug)] pub enum Target { Wire(Wire), - PublicInput { index: usize }, + PublicInput { + index: usize, + }, /// A target that doesn't have any inherent location in the witness (but it can be copied to /// another target that does). This is useful for representing intermediate values in witness /// generation. - VirtualTarget { index: usize }, + VirtualTarget { + index: usize, + }, } impl Target {