add

succinctlabs · Aug 28, 2024 · 38075b4 · 38075b4
1 parent 2e0ed62
commit 38075b4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 5 deletions.
diff --git a/op-succinct-proposer/build.rs b/op-succinct-proposer/build.rs
@@ -69,7 +69,6 @@ fn main() {
 
     for program in programs {
         build_native_program(program);
-        // Note: Don't build any of the zkVM programs as the ELF may change, as they're already built.
         build_zkvm_program(program);
     }
 

diff --git a/zkvm-host/build.rs b/zkvm-host/build.rs
@@ -39,13 +39,11 @@ fn build_zkvm_program(program: &str) {
 }
 
 fn main() {
-    // let programs = vec!["fault-proof", "range"];
-    let programs = vec!["range"];
+    let programs = vec!["fault-proof", "range"];
     for program in programs {
         build_native_program(program);
-        // Note: Don't build any of the zkVM programs as the ELF may change, as they're already built.
         build_zkvm_program(program); 
     }
 
-    // build_zkvm_program("aggregation");
+    build_zkvm_program("aggregation");
 }