1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
From 1ad671fc0694f28c3c8fe224d33b403bc6be0952 Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
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<usize>; 8] =
- [10..21, 12..22, 11..21, 8..21, 6..21, 6..21, 6..21, 13..23];
+const DEGREE_BITS_RANGE: [Range<usize>; 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
|
