feat(zkvms/zkm): Remove SDK override, Go lib build, update SDK usage

Update SDK usage, according to their new methods.

ZKM moved their Go library to the zkVM repo. Their updated SDK also
don't require the patch.

1 files changed, 0 insertions, 42 deletions

diff --git a/zkvms/zkm/0001-chore-Increase-DEGREE_BITS_RANGE.patch b/zkvms/zkm/0001-chore-Increase-DEGREE_BITS_RANGE.patch
deleted file mode 100644
index a8d0a8a..0000000
--- a/zkvms/zkm/0001-chore-Increase-DEGREE_BITS_RANGE.patch
+++ /dev/null
@@ -1,42 +0,0 @@
-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
-