fix: compute system_challenge_offset correctly (#53)

privacy-scaling-explorations · Nov 8, 2023 · 6691f02 · 6691f02
1 parent 37759af
commit 6691f02
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/snark-verifier/src/system/halo2.rs b/snark-verifier/src/system/halo2.rs
@@ -545,8 +545,7 @@ impl<'a, F: PrimeField> Polynomials<'a, F> {
     }
 
     fn system_challenge_offset(&self) -> usize {
-        let num_challenge = self.num_challenge();
-        num_challenge[..num_challenge.len() - 3].iter().sum()
+        self.num_challenge.iter().sum()
     }
 
     fn theta(&self) -> Expression<F> {