chore: update version for release 6.0.0-beta.1 (#1087)

* Update version in Cargo.toml to 6.0.0-beta.1

* Allow workflow_dispatch for publishing without merging to main

* Add dummy descriptions and specify crate versions explicitly

* Use test artifacts explicitly in all crates and remove it from the top level workspace

* chore: rss-lib crates dependency

* Remove include.workspace = true

* chore: update lock

* lock

* skip gpu-perf

* update patches

* chore: update skill

* update release script

---------

Co-authored-by: Tobias Bergkvist <[email protected]>

Author: tamirhemo

.claude/skills/update-sp1-patches/SKILL.md

@@ -0,0 +1,143 @@
+---
+name: update-sp1-patches
+description: Update sp1-patches git repos when releasing a new SP1 version. Use when bumping SP1 version and need to update patched crypto crates.
+allowed-tools: Read, Grep, Glob, Bash, Edit, Write
+argument-hint: [OLD_VERSION] [NEW_VERSION]
+---
+
+# Update SP1 Patches for New Version
+
+Update all patched crates from SP1 version `$0` to `$1`.
+
+## Context
+
+SP1 maintains patched versions of cryptographic crates in the `sp1-patches` GitHub organization. These patches:
+- Depend on `sp1-lib` from crates.io
+- Are referenced via git tags in Cargo.toml files
+- Follow the naming convention: `patch-[CRATE]-[VERSION]-sp1-[SP1_VERSION]`
+
+When releasing a new SP1 version, patches must be updated so their `sp1-lib` dependency matches.
+
+## Step 1: Identify Current Patches
+
+Find all patch references in the codebase:
+
+```bash
+grep -r "sp1-patches" --include="*.toml" . | grep -v target | grep "tag ="
+```
+
+Key locations:
+- `patch-testing/Cargo.toml` - Main patch testing workspace
+- `patch-testing/*/program/Cargo.toml` - Individual program tests
+- `examples/Cargo.toml` - Example programs
+- `crates/test-artifacts/programs/*/Cargo.toml` - Test artifacts
+- `crates/verifier/guest-verify-programs/Cargo.toml` - Verifier programs
+
+## Step 2: Categorize Repositories
+
+**Repos WITH sp1-lib dependency** (need version update):
+- `curve25519-dalek` - Ed25519 curve operations
+- `curve25519-dalek-ng` - Ed25519 (ng version)
+- `tiny-keccak` - Keccak hashing
+- `bn` (substrate-bn) - BN254 pairing
+- `bls12_381` - BLS12-381 pairing
+- `RustCrypto-RSA` - RSA operations
+- `elliptic-curves` (k256, p256) - ECDSA operations
+
+**Repos with TRANSITIVE sp1-lib dependency**:
+- `rust-secp256k1` - depends on `k256` from elliptic-curves
+
+**Repos WITHOUT sp1-lib** (create alias tags):
+- `RustCrypto-hashes` - SHA2, SHA3 patches
+- `RustCrypto-bigint` - BigInt operations
+
+## Step 3: Update Process
+
+### For repos WITH sp1-lib:
+
+```bash
+cd /tmp/sp1-patches-update
+git clone [email protected]:sp1-patches/<REPO>.git
+cd <REPO>
+
+# Checkout old tag
+git checkout patch-<CRATE_VERSION>-sp1-<OLD_SP1_VERSION>
+git checkout -b temp-update-branch
+
+# Find and update sp1-lib version (check format first!)
+grep -r "sp1-lib" --include="Cargo.toml" .
+
+# Update (adjust sed pattern based on format found):
+# For: sp1-lib = "X.Y.Z"
+sed -i 's/sp1-lib = "<OLD_VERSION>"/sp1-lib = "<NEW_VERSION>"/g' */Cargo.toml Cargo.toml
+
+# For: sp1-lib = { version = "X.Y.Z", ... }
+sed -i 's/sp1-lib = { version = "<OLD_VERSION>"/sp1-lib = { version = "<NEW_VERSION>"/g' */Cargo.toml Cargo.toml
+
+# Commit and create new tag
+git add -A
+git commit -m "Update sp1-lib dependency to <NEW_VERSION>"
+git tag patch-<CRATE_VERSION>-sp1-<NEW_SP1_VERSION>
+git push origin patch-<CRATE_VERSION>-sp1-<NEW_SP1_VERSION>
+```
+
+### For repos with TRANSITIVE dependencies (rust-secp256k1):
+
+Also update references to other sp1-patches repos:
+```bash
+# Update k256 dependency tag
+sed -i 's/patch-k256-13.4-sp1-<OLD>/patch-k256-13.4-sp1-<NEW>/g' Cargo.toml
+```
+
+### For repos WITHOUT sp1-lib (alias tags):
+
+```bash
+git checkout patch-<CRATE_VERSION>-sp1-<OLD_SP1_VERSION>
+git tag patch-<CRATE_VERSION>-sp1-<NEW_SP1_VERSION>
+git push origin patch-<CRATE_VERSION>-sp1-<NEW_SP1_VERSION>
+```
+
+## Step 4: Update Local Cargo.toml Files
+
+```bash
+# Find all files with old tags
+find . -name "Cargo.toml" -exec grep -l "sp1-<OLD_VERSION>\"" {} \;
+
+# Update all occurrences
+find . -name "Cargo.toml" -exec sed -i 's/-sp1-<OLD_VERSION>"/-sp1-<NEW_VERSION>"/g' {} \;
+```
+
+## Step 5: Verify
+
+```bash
+# Check tags exist on GitHub
+gh api repos/sp1-patches/<REPO>/git/refs/tags/patch-<VERSION>-sp1-<NEW> --jq '.ref'
+
+# Build to verify resolution
+cd patch-testing && cargo check
+
+# Ensure no old tags remain
+grep -r "sp1-<OLD_VERSION>\"" --include="*.toml" . | grep -v target
+```
+
+## Tag Reference
+
+| Repository | Tag Pattern | Has sp1-lib |
+|------------|-------------|-------------|
+| RustCrypto-hashes | patch-sha2-X.Y.Z-sp1-V, patch-sha3-X.Y.Z-sp1-V | No |
+| RustCrypto-bigint | patch-X.Y.Z-sp1-V | No |
+| tiny-keccak | patch-X.Y.Z-sp1-V | Yes |
+| curve25519-dalek | patch-X.Y.Z-sp1-V | Yes |
+| curve25519-dalek-ng | patch-X.Y.Z-sp1-V | Yes |
+| rust-secp256k1 | patch-X.Y.Z-sp1-V | No (transitive via k256) |
+| bn | patch-X.Y.Z-sp1-V | Yes |
+| bls12_381 | patch-X.Y.Z-sp1-V | Yes |
+| RustCrypto-RSA | patch-X.Y.Z-sp1-V | Yes |
+| elliptic-curves | patch-k256-X.Y.Z-sp1-V, patch-p256-X.Y.Z-sp1-V | Yes |
+
+## Important Notes
+
+- **Never overwrite existing tags** - always create new tags
+- **Check sp1-lib format** before sed replacement (simple string vs table format)
+- **Update transitive deps first** - elliptic-curves before rust-secp256k1
+- **Verify with cargo check** - ensures all dependencies resolve correctly

.github/workflows/release-plz.yml

@@ -8,6 +8,8 @@ on:
   push:
     branches:
       - main
+  workflow_dispatch:
+    inputs: {}
 
 jobs:
   release-plz:

.github/workflows/release.yml

@@ -7,6 +7,15 @@ on:
     branches:
       - main
   workflow_dispatch:
+    inputs:
+      prerelease:
+        description: 'Mark as pre-release'
+        type: boolean
+        default: false
+      target_branch:
+        description: 'Target branch (leave empty for current branch)'
+        type: string
+        default: ''
 
 env:
   CARGO_TERM_COLOR: always
@@ -51,7 +60,9 @@ jobs:
         env:
           GH_TOKEN: ${{ secrets.SP1_RELEASE_TOKEN }}
         run: |
-          GH_DEBUG=api gh release create ${{ steps.release_info.outputs.tag_name }} --target main --generate-notes --latest=false
+          TARGET_BRANCH="${{ inputs.target_branch || github.ref_name }}"
+          PRERELEASE_FLAG=${{ inputs.prerelease && '"--prerelease"' || '""' }}
+          GH_DEBUG=api gh release create ${{ steps.release_info.outputs.tag_name }} --target "$TARGET_BRANCH" --generate-notes --latest=false $PRERELEASE_FLAG
 
       - name: Print GH version
         run: |
@@ -292,7 +303,7 @@ jobs:
     name: Set latest release
     runs-on: ubuntu-latest
     needs: [sp1-gpu-server-release, cargo-prove-release, prepare]
-    if: success()
+    if: ${{ success() && inputs.prerelease != true }}
     steps:
       - uses: actions/checkout@v4