SP1 stylus compiler

.github/actions/ci-setup/action.yml

@@ -7,7 +7,7 @@ runs:
 
   steps:
     - name: Install dependencies
-      run: sudo apt update && sudo apt install -y wabt gotestsum
+      run: sudo apt update && sudo apt install -y wabt gotestsum protobuf-compiler
       shell: bash
 
     - name: Setup Node.js

.github/workflows/_rust-tests.yml

@@ -56,7 +56,7 @@ jobs:
         run: make build-replay-env
 
       - name: Clippy check
-        run: cargo clippy --all -- -D warnings -A static_mut_refs
+        run: cargo clippy --workspace --exclude stylus-compiler-program --exclude stylus-compiler-runner -- -D warnings -A static_mut_refs
 
       - name: Run rust tests
         id: run-rust-tests

.github/workflows/zk-proving.yml

@@ -0,0 +1,42 @@
+name: ZK CI
+
+on:
+  workflow_dispatch:
+  pull_request:
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  zk-proving:
+    name: Run tests for ZK-related components and pipelines
+    runs-on: arbitrator-ci
+    defaults:
+      run:
+        shell: bash
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v6
+        with:
+          submodules: recursive
+
+      - name: Setup CI
+        uses: ./.github/actions/ci-setup
+
+      - name: Setup LLVM
+        uses: ZhongRuoyu/setup-llvm@v0
+        with:
+          llvm-version: 21
+
+      - name: Build SP1 crates
+        run: ./crates/sp1/build.sh
+
+      # Clippy runs after build because sp1-builder uses include_elf!(),
+      # which requires the SP1 ELF to exist at compile time.
+      - name: Clippy check (SP1 crates)
+        run: cargo clippy -p stylus-compiler-program -p stylus-compiler-runner -- -D warnings -A static_mut_refs -A clippy::too_many_arguments
+
+      - name: Run stylus-compiler-runner compare
+        # Compare compilation consistency between running it natively and in the SP1 execution mode.
+        run: cargo run -p stylus-compiler-runner --release -- compare

.gitmodules

@@ -17,6 +17,7 @@
 [submodule "crates/tools/wasmer"]
 	path = crates/tools/wasmer
 	url = https://github.com/OffchainLabs/wasmer.git
+	branch = zk-prove-any/sp1-runner
 [submodule "nitro-testnode"]
 	path = nitro-testnode
 	url = https://github.com/OffchainLabs/nitro-testnode.git