Use mocked proofs in the perf.

alpenlabs · Dec 24, 2024 · 2b68a85 · 2b68a85
1 parent c6e61f7
commit 2b68a85
Show file tree

Hide file tree

Showing 3 changed files with 32 additions and 32 deletions.
diff --git a/.github/workflows/prover.yml b/.github/workflows/prover.yml
@@ -51,7 +51,7 @@ jobs:
         with:
           persist-credentials: false
 
-      - name: Run Evaluation
+      - name: Run performance evaluation
         run: |
           cargo run --profile prover-ci -- \
           --post-to-gh \

diff --git a/provers/perf/Cargo.toml b/provers/perf/Cargo.toml
@@ -5,11 +5,11 @@ version = "0.1.0"
 
 [dependencies]
 strata-risc0-adapter = {workspace = true, features = ["prover"] }
-strata-sp1-adapter = {workspace = true, features = ["prover"] }
+strata-sp1-adapter = {workspace = true, features = ["prover", "mock"] }
 strata-sp1-guest-builder = { path = "../sp1/", features = ["prover"] }
 strata-test-utils.workspace = true
 strata-zkvm.workspace = true
-strata-zkvm-tests = { path = "../tests/", features = ["sp1"] }
+strata-zkvm-tests = { path = "../tests/", features = ["sp1", "mock"] }
 
 sp1-prover = "3.0.0"
 sp1-sdk = "3.0.0"

diff --git a/provers/perf/src/main.rs b/provers/perf/src/main.rs
@@ -149,35 +149,35 @@ fn run_generator_programs<H: ZkVmHostPerf>(
 
     reports.push(cl_block_report.into());
 
-    //// l1_batch
-    //println!("Generating a report for L1_BATCH");
-    //let l1_batch = generator.l1_batch();
-    //let l1_batch_report = l1_batch
-    //    .gen_proof_report(&(l1_start_height, l1_end_height), "L1_BATCH".to_owned())
-    //    .unwrap();
-    //
-    //reports.push(l1_batch_report.into());
-    //
-    //// l2_block
-    //println!("Generating a report for L2_BATCH");
-    //let l2_block = generator.l2_batch();
-    //let l2_block_report = l2_block
-    //    .gen_proof_report(&(l2_start_height, l2_end_height), "L2_BATCH".to_owned())
-    //    .unwrap();
-    //
-    //reports.push(l2_block_report.into());
-    //
-    //// checkpoint
-    //println!("Generating a report for CHECKPOINT");
-    //let checkpoint = generator.checkpoint();
-    //let checkpoint_test_input = CheckpointBatchInfo {
-    //    l1_range: (l1_start_height.into(), l1_end_height.into()),
-    //    l2_range: (l2_start_height, l2_end_height),
-    //};
-    //let checkpoint_report = checkpoint.gen_proof_report(&checkpoint_test_input,
-    // "CHECKPOINT".to_owned()).unwrap();
-
-    //reports.push(checkpoint_report.into());
+    // l1_batch
+    println!("Generating a report for L1_BATCH");
+    let l1_batch = generator.l1_batch();
+    let l1_batch_report = l1_batch
+        .gen_proof_report(&(l1_start_height, l1_end_height), "L1_BATCH".to_owned())
+        .unwrap();
+
+    reports.push(l1_batch_report.into());
+
+    // l2_block
+    println!("Generating a report for L2_BATCH");
+    let l2_block = generator.l2_batch();
+    let l2_block_report = l2_block
+        .gen_proof_report(&(l2_start_height, l2_end_height), "L2_BATCH".to_owned())
+        .unwrap();
+
+    reports.push(l2_block_report.into());
+
+    // checkpoint
+    println!("Generating a report for CHECKPOINT");
+    let checkpoint = generator.checkpoint();
+    let checkpoint_test_input = CheckpointBatchInfo {
+        l1_range: (l1_start_height.into(), l1_end_height.into()),
+        l2_range: (l2_start_height, l2_end_height),
+    };
+    let checkpoint_report = checkpoint
+        .gen_proof_report(&checkpoint_test_input, "CHECKPOINT".to_owned())
+        .unwrap();
+    reports.push(checkpoint_report.into());
 
     reports
 }