From 1ad671fc0694f28c3c8fe224d33b403bc6be0952 Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Fri, 21 Feb 2025 11:33:26 +0200 Subject: [PATCH] chore: Increase DEGREE_BITS_RANGE After SHA256 precompile was introduced, the DEGREE_BITS_RANGE value was increased to 12 elements. https://github.com/zkMIPS/zkm/pull/222 --- sdk/src/local/util.rs | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/sdk/src/local/util.rs b/sdk/src/local/util.rs index 702ae8b..e389f1e 100644 --- a/sdk/src/local/util.rs +++ b/sdk/src/local/util.rs @@ -16,8 +16,20 @@ use zkm_prover::cpu::kernel::assembler::segment_kernel; use zkm_prover::fixed_recursive_verifier::AllRecursiveCircuits; use zkm_prover::generation::state::{AssumptionReceipts, Receipt}; -const DEGREE_BITS_RANGE: [Range; 8] = - [10..21, 12..22, 11..21, 8..21, 6..21, 6..21, 6..21, 13..23]; +const DEGREE_BITS_RANGE: [Range; 12] = [ + 10..21, + 12..22, + 11..21, + 8..21, + 6..10, + 6..10, + 6..16, + 6..16, + 6..16, + 6..16, + 6..21, + 13..23, +]; const D: usize = 2; type C = PoseidonGoldilocksConfig; -- 2.47.0