feat: repro builds elf

.github/workflows/elf.yml

@@ -0,0 +1,42 @@
+name: ELF
+
+on:
+  pull_request:
+    branches:
+      - main
+  push:
+    branches:
+      - main
+  workflow_dispatch:
+
+jobs:
+  elf:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+        with:
+          ref: ${{ github.event.pull_request.head.ref }}
+      - name: Install SP1 toolchain
+        run: |
+          curl -L https://sp1.succinct.xyz | bash
+          ~/.sp1/bin/sp1up 
+          ~/.sp1/bin/cargo-prove prove --version
+          source ~/.bashrc
+      - name: Setup Docker Buildx
+        uses: docker/setup-buildx-action@v3
+      - name: Verify the OP Succinct binaries
+        run: |
+          # Build the binaries
+          cd program
+          ~/.sp1/bin/cargo-prove prove build --elf-name sp1-helios-elf --docker --tag v4.0.0-rc.10
+          cd ../../
+
+          # Check for any changes in the elf directory
+          if [ -n "$(git status --porcelain elf/)" ]; then
+            echo "❌ ELF files changed during build!"
+            git diff elf/
+            exit 1
+          else
+            echo "✅ ELF files remained unchanged"
+          fi

book/reproducible-builds.md

@@ -34,7 +34,7 @@ Then build the binaries:
 cd program
 
 # Builds the SP1 Helios binary using the corresponding Docker tag, output directory and ELF name.
-cargo prove build --docker --tag v4.0.0-rc.3 --elf-name sp1-helios-elf
+cargo prove build --docker --tag v4.0.0-rc.10 --elf-name sp1-helios-elf
 ```
 
 Now, verify the binaries by confirming the output of `vkey` matches the vkeys on the contract. The `vkey` program outputs the verification key