fix release with sp1

Author: zsluedem

.github/workflows/release.yml

@@ -71,6 +71,11 @@ jobs:
         uses: arduino/setup-protoc@v3
         with:
           repo-token: ${{ secrets.GITHUB_TOKEN }}
+      - name: Install SP1 toolchain
+        run: |
+          curl -L https://sp1.succinct.xyz | bash
+          ~/.sp1/bin/sp1up --version v4.0.1
+          ~/.sp1/bin/cargo-prove prove --version
       - name: Build binary
         run: cargo build --release --target ${{ matrix.target }}
       - name: Prepare assets