From 3b9fa64d94cc333b8b0a74ee76bace60fa2bf3f1 Mon Sep 17 00:00:00 2001
From: fakedev9999 <taehoon@succinct.xyz>
Date: Tue, 14 Jan 2025 16:08:44 -0800
Subject: [PATCH] ci: add ci for elf check

---
 .github/workflows/elf.yml | 44 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 .github/workflows/elf.yml

diff --git a/.github/workflows/elf.yml b/.github/workflows/elf.yml
new file mode 100644
index 00000000..1e6f8120
--- /dev/null
+++ b/.github/workflows/elf.yml
@@ -0,0 +1,44 @@
+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 programs/range
+        ~/.sp1/bin/cargo-prove prove build --elf-name range-elf --docker --tag v4.0.0-rc.3
+        cd ../aggregation
+        ~/.sp1/bin/cargo-prove prove build --elf-name aggregation-elf --docker --tag v4.0.0-rc.3
+        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