feat(l2): prover backend for OpenVM

.github/workflows/pr-main_l2_prover.yaml

@@ -19,7 +19,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        backend: ["sp1", "risc0", "zisk"]
+        backend: ["sp1", "risc0", "zisk", "openvm"]
     steps:
       - name: Checkout sources
         uses: actions/checkout@v4
@@ -55,6 +55,15 @@ jobs:
           curl https://raw.githubusercontent.com/0xPolygonHermez/zisk/main/ziskup/install.sh | bash
           echo "$HOME/.zisk/bin" >> $GITHUB_PATH
 
+      - name: RISC-V OpenVM toolchain install
+        if: matrix.backend == 'openvm'
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          rustup install nightly-2025-02-14
+          rustup component add rust-src --toolchain nightly-2025-02-14
+          cargo +1.86 install --locked --git https://github.com/openvm-org/openvm.git --tag v1.4.1 cargo-openvm
+
       - name: Check ${{ matrix.backend }} backend
         run: |
           cargo check -r -p ethrex-prover -F "${{ matrix.backend }},ci"

.github/workflows/tag_release.yaml

@@ -160,6 +160,7 @@ jobs:
           - sp1
           - risc0
           - zisk
+          - openvm
     runs-on: ubuntu-latest
     steps:
       - name: Checkout code
@@ -197,6 +198,15 @@ jobs:
           curl https://raw.githubusercontent.com/0xPolygonHermez/zisk/main/ziskup/install.sh | bash
           echo "$HOME/.zisk/bin" >> $GITHUB_PATH
 
+      - name: Install OpenVM
+        if: ${{ matrix.zkvm == 'openvm' }}
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          rustup install nightly-2025-02-14
+          rustup component add rust-src --toolchain nightly-2025-02-14
+          cargo +1.86 install --locked --git https://github.com/openvm-org/openvm.git --tag v1.4.1 cargo-openvm
+
       - name: Build ethrex elf - ${{ matrix.zkvm }}
         run: |
           cargo build --release --package guest_program --features "${{ matrix.zkvm }},ci"
@@ -213,6 +223,9 @@ jobs:
           elif [ "${{ matrix.zkvm }}" = "zisk" ]; then
             mv crates/l2/prover/src/guest_program/src/${{ matrix.zkvm }}/out/riscv64ima-zisk-elf ethrex-riscv64ima-${{ matrix.zkvm }}-elf-${{ github.ref_name}}
             echo "ELF_ARTIFACT=ethrex-riscv64ima-${{ matrix.zkvm }}-elf-${{ github.ref_name }}" >> $GITHUB_ENV
+          elif [ "${{ matrix.zkvm }}" = "openvm" ]; then
+            mv crates/l2/prover/src/guest_program/src/${{ matrix.zkvm }}/out/riscv32im-openvm-elf ethrex-riscv32im-${{ matrix.zkvm }}-elf-${{ github.ref_name}}
+            echo "ELF_ARTIFACT=ethrex-riscv64ima-${{ matrix.zkvm }}-elf-${{ github.ref_name }}" >> $GITHUB_ENV
           fi
 
       - name: Upload ethrex guest elf artifact - ${{ matrix.zkvm }}