chore(ci): compile zkvm programs in ci (#101)

* feat: compile zkvm programs

* add

* add

* add

* try

* add

* add

Author: ratankaliani

.github/workflows/compile.yaml

@@ -9,15 +9,40 @@ on:
       - main
 
 jobs:
-  build_and_run:
-    runs-on: ubuntu-latest
-
+  build_native_programs:
+    runs-on:
+      - runs-on
+      - runner=16cpu-linux-x64
+      - run-id=${{ github.run_id }} 
     steps:
     - name: Checkout code
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
     - name: Compile the fault proof program
       run: cargo build --profile release-client-lto
       working-directory: programs/fault-proof
     - name: Compile the range program
       run: cargo build --profile release-client-lto
       working-directory: programs/range
+  build_zkvm_programs:
+    runs-on:
+      - runs-on
+      - runner=64cpu-linux-x64
+      - run-id=${{ github.run_id }} 
+    steps:
+    - name: Checkout code
+      uses: actions/checkout@v4
+    - name: Install SP1 toolchain
+      run: |
+        curl -L https://sp1.succinct.xyz | bash
+        ~/.sp1/bin/sp1up 
+        ~/.sp1/bin/cargo-prove prove --version
+        source ~/.bashrc
+    - name: Compile the fault proof program
+      run: ~/.sp1/bin/cargo-prove prove build --binary fault-proof
+      working-directory: programs/fault-proof
+    - name: Compile the range program
+      run: ~/.sp1/bin/cargo-prove prove build --binary range
+      working-directory: programs/range
+    - name: Compile the aggregation program
+      run: ~/.sp1/bin/cargo-prove prove build --binary aggregation
+      working-directory: programs/aggregation