test(zk): increase max extended degree for MultiLookupCircuit

MultiLookupCircuit to be introduced in the following commit requires 2^8 kMaxExtendedDomainSize.
kroma-network · May 20, 2024 · 3e3dd2a · 3e3dd2a
1 parent 7027980
commit 3e3dd2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tachyon/zk/plonk/halo2/prover_test.h b/tachyon/zk/plonk/halo2/prover_test.h
@@ -15,7 +15,7 @@ namespace tachyon::zk::plonk::halo2 {
 
 constexpr size_t kMaxDegree = (size_t{1} << 5) - 1;
 constexpr size_t kMaxDomainSize = kMaxDegree + 1;
-constexpr size_t kMaxExtendedDegree = (size_t{1} << 7) - 1;
+constexpr size_t kMaxExtendedDegree = (size_t{1} << 8) - 1;
 constexpr size_t kMaxExtendedDomainSize = kMaxExtendedDegree + 1;
 
 template <typename PCS, typename LS>