fix: fixes to CI + add new CI job for testing program (succinctlabs#15)

* remove get_execute_state_proof * cleanup * formatting * formatting * formatting * clean * updates to sync_committee_updates * formatting * ci job * sp1 toolchain * single operator * test * clean
crosschain-alliance · Dec 4, 2024 · d7133af · d7133af
1 parent fcbc76a
commit d7133af
Show file tree

Hide file tree

Showing 4 changed files with 56 additions and 3 deletions.
diff --git a/.github/workflows/run_program.yaml b/.github/workflows/run_program.yaml
@@ -0,0 +1,45 @@
+name: Run Program
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+    branches:
+      - "**"
+  merge_group:
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  run_program:
+    name: Test SP1 Helios Program
+    runs-on: [runs-on, runner=4cpu-linux-arm64	, "run-id=${{ github.run_id }}"]
+    env:
+      CARGO_NET_GIT_FETCH_WITH_CLI: "true"
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+      - name: Install Rust
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: stable
+      - name: Install SP1 toolchain
+        run: |
+          curl -L https://sp1.succinct.xyz | bash
+          ~/.sp1/bin/sp1up 
+          ~/.sp1/bin/cargo-prove prove --version
+          source ~/.bashrc
+      - name: Run test
+        run: |
+          cd script
+          cargo run --bin test
+        env:
+          SOURCE_CONSENSUS_RPC_URL: ${{ secrets.SOURCE_CONSENSUS_RPC_URL }}
+          SOURCE_CHAIN_ID: ${{ secrets.SOURCE_CHAIN_ID }}
+          CONTRACT_ADDRESS: ${{ secrets.CONTRACT_ADDRESS }}
+          PRIVATE_KEY: ${{ secrets.PRIVATE_KEY }}
+          DEST_RPC_URL: ${{ secrets.DEST_RPC_URL }}
+          DEST_CHAIN_ID: ${{ secrets.DEST_CHAIN_ID }}
diff --git a/elf/riscv32im-succinct-zkvm-elf b/elf/riscv32im-succinct-zkvm-elf
diff --git a/program/src/main.rs b/program/src/main.rs
@@ -33,7 +33,11 @@ pub fn main() {
 
     // 1. Apply sync committee updates, if any
     for (index, update) in sync_committee_updates.iter().enumerate() {
-        println!("Processing update {} of {}.", index + 1, sync_committee_updates.len());
+        println!(
+            "Processing update {} of {}.",
+            index + 1,
+            sync_committee_updates.len()
+        );
         let update_is_valid =
             verify_update(update, expected_current_slot, &store, genesis_root, &forks).is_ok();
 

diff --git a/script/bin/operator.rs b/script/bin/operator.rs
@@ -171,8 +171,12 @@ impl SP1LightClientOperator {
         // We must still apply the update locally to "sync" the helios client, this is due to
         // next_sync_committee not being stored when the helios client is bootstrapped.
         if !sync_committee_updates.is_empty() {
-            let next_sync_committee =
-                B256::from_slice(sync_committee_updates[0].next_sync_committee.tree_hash_root().as_ref());
+            let next_sync_committee = B256::from_slice(
+                sync_committee_updates[0]
+                    .next_sync_committee
+                    .tree_hash_root()
+                    .as_ref(),
+            );
 
             if contract_next_sync_committee == next_sync_committee {
                 println!("Applying optimization, skipping update");