fix: compute system_challenge_offset correctly (#53)

axiom-crypto · Nov 9, 2023 · ee667e9 · ee667e9
1 parent a9310f6
commit ee667e9
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
@@ -479,8 +479,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> {