From 18738e5984dce6117283da10d95d5a550f15ff2a Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Mon, 13 Sep 2021 15:14:54 -0700
Subject: [PATCH] fixes

---
 src/gates/comparison.rs | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/src/gates/comparison.rs b/src/gates/comparison.rs
index 1e57c75a..fa588181 100644
--- a/src/gates/comparison.rs
+++ b/src/gates/comparison.rs
@@ -137,11 +137,6 @@ impl<F: RichField + Extendable<D>, const D: usize> Gate<F, D> for ComparisonGate
             constraints.push(first_chunks_combined - first_input);
             constraints.push(second_chunks_combined - second_input);
 
-            // Get bits to assert they match the chosen chunk.
-            let powers_of_two: Vec<F::Extension> = (0..self.chunk_bits())
-                .map(|i| F::Extension::TWO.exp_u64(i as u64))
-                .collect();
-
             let mut most_significant_diff =
                 first_chunks[self.num_chunks - 1] - second_chunks[self.num_chunks - 1];
 
@@ -221,11 +216,11 @@ impl<F: RichField + Extendable<D>, const D: usize> Gate<F, D> for ComparisonGate
     }
 
     fn degree(&self) -> usize {
-        2
+        self.num_chunks + 1
     }
 
     fn num_constraints(&self) -> usize {
-        4 * self.num_copies * self.chunk_bits()
+        self.num_copies * (4 + 2 * self.num_chunks)
     }
 }