add

succinctlabs · Aug 26, 2024 · f2a174b · f2a174b
1 parent f82d49e
commit f2a174b
Show file tree

Hide file tree

Showing 5 changed files with 2 additions and 6 deletions.
diff --git a/.github/workflows/native_client_compile.yaml → .github/workflows/check.yaml b/.github/workflows/native_client_compile.yaml → .github/workflows/check.yaml
@@ -17,4 +17,4 @@ jobs:
       working-directory: client-programs/fault-proof
     - name: Compile the range program
       run: cargo build --profile release-client-lto
-      working-directory: client-programs/range  
+      working-directory: client-programs/range
diff --git a/crates/client-utils/src/precompiles/mod.rs b/crates/client-utils/src/precompiles/mod.rs
@@ -75,11 +75,7 @@ where
                 ContextPrecompiles::new(PrecompileSpecId::from_spec_id(spec_id)).clone();
 
             // Extend with ZKVM-accelerated precompiles and annotated precompiles that track the cycle count.
-            let override_precompiles = [
-                ANNOTATED_BN_ADD,
-                ANNOTATED_BN_MUL,
-                ANNOTATED_BN_PAIR,
-            ];
+            let override_precompiles = [ANNOTATED_BN_ADD, ANNOTATED_BN_MUL, ANNOTATED_BN_PAIR];
             ctx_precompiles.extend(override_precompiles);
 
             ctx_precompiles

diff --git a/elf/aggregation-elf b/elf/aggregation-elf
diff --git a/elf/fault-proof-elf b/elf/fault-proof-elf
diff --git a/elf/range-elf b/elf/range-elf