vk map testing

succinctlabs · Oct 15, 2024 · 84fb65c · 84fb65c
1 parent 1ff2809
commit 84fb65c
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 22 deletions.
diff --git a/crates/perf/workflow.sh b/crates/perf/workflow.sh
@@ -5,21 +5,21 @@ GIT_REF=$(git rev-parse --abbrev-ref HEAD)
 
 # Define the list of CPU workloads.
 CPU_WORKLOADS=(
-    "fibonacci-17k"
-    "ssz-withdrawals"
-    "tendermint"
-    "rsp-20526624"
-    "rsa"
-    "regex"
-    "chess"
-    "json"
-    "blobstream-01j6z63fgafrc8jeh0k12gbtvw"
-    "blobstream-01j6z95bdme9svevmfyc974bja"
-    "blobstream-01j6z9ak0ke9srsppgywgke6fj"
-    "vector-01j6xsv35re96tkgyda115320t"
-    "vector-01j6xzy366ff5tbkzcrs8pma02"
-    "vector-01j6y06de0fdaafemr8b1t69z3"
-    "raiko-a7-10"  
+    # "fibonacci-17k"
+    # "ssz-withdrawals"
+    # "tendermint"
+    # "rsp-20526624"
+    # "rsa"
+    # "regex"
+    # "chess"
+    # "json"
+    # "blobstream-01j6z63fgafrc8jeh0k12gbtvw"
+    # "blobstream-01j6z95bdme9svevmfyc974bja"
+    # "blobstream-01j6z9ak0ke9srsppgywgke6fj"
+    # "vector-01j6xsv35re96tkgyda115320t"
+    # "vector-01j6xzy366ff5tbkzcrs8pma02"
+    # "vector-01j6y06de0fdaafemr8b1t69z3"
+    # "raiko-a7-10"  
 )
 
 # Define the list of CUDA workloads.

diff --git a/crates/prover/src/lib.rs b/crates/prover/src/lib.rs
@@ -207,18 +207,13 @@ impl<C: SP1ProverComponents> SP1Prover<C> {
             .then_some(RecursionShapeConfig::default());
 
         let vk_verification =
-            env::var("VERIFY_VK").map(|v| v.eq_ignore_ascii_case("true")).unwrap_or(false);
+            env::var("VERIFY_VK").map(|v| v.eq_ignore_ascii_case("true")).unwrap_or(true);
 
         tracing::info!("vk verification: {}", vk_verification);
 
         // Read the shapes from the shapes directory and deserialize them into memory.
         let allowed_vk_map: BTreeMap<[BabyBear; DIGEST_SIZE], usize> = if vk_verification {
-            unreachable!()
-            // TODO: FIX
-            //
-            // let vk_allowed_map_bytes =
-            //     std::fs::read(Self::shapes_dir().join("allowed_vk_map.bin")).unwrap();
-            // bincode::deserialize(&vk_allowed_map_bytes).unwrap()
+            bincode::deserialize(include_bytes!("../vk_map.bin")).unwrap()
         } else {
             // TODO: FIX
             //

diff --git a/crates/prover/vk_map.bin b/crates/prover/vk_map.bin