Skip to content

chore(release): bump workspace crates to 1.0.0#436

Merged
Bisht13 merged 1 commit into
v1from
px/release-v1.0.0
May 12, 2026
Merged

chore(release): bump workspace crates to 1.0.0#436
Bisht13 merged 1 commit into
v1from
px/release-v1.0.0

Conversation

@Bisht13
Copy link
Copy Markdown
Collaborator

@Bisht13 Bisht13 commented May 12, 2026

Summary

Bumps the publishable workspace crates to 1.0.0 in preparation for the ProveKit v1.0.0 release tag.

  • provekit-common, provekit-r1cs-compiler, provekit-prover, provekit-verifier: 0.1.4 → 1.0.0
  • provekit-cli: 0.1.5 → 1.0.0
  • provekit-bench, provekit-ffi, verifier-server: 0.1.0 → 1.0.0
  • Root [workspace.dependencies] version pins for the five crates that publish to crates.io are bumped to 1.0.0.
  • provekit-gnark is intentionally kept at 0.1.2 so provekit-cli@1.0.0 resolves the existing provekit-gnark@0.1.2 release on crates.io (gnark is not part of this publish wave).
  • Skyscraper crates and ntt are excluded from the v1 workspace, so they are not touched.

After this merges, v1.0.0 will be tagged on the merge commit and the five publishable crates will go to crates.io.

Test plan

  • cargo check --workspace --all-features passes locally on this branch.
  • CI green.
  • Post-merge: cargo publish --dry-run for each of the 5 crates before the real publish.

Bumps every publishable workspace crate to 1.0.0 for the v1.0.0 release:
provekit-common, provekit-r1cs-compiler, provekit-prover, provekit-verifier,
provekit-cli, provekit-bench, provekit-ffi, verifier-server. Workspace
dependency pins for the five crates published to crates.io
(common/r1cs-compiler/prover/verifier/cli) also move to 1.0.0.
provekit-gnark intentionally stays at 0.1.2 so provekit-cli@1.0.0 keeps
resolving the existing crates.io release.
@Bisht13 Bisht13 merged commit c70ab97 into v1 May 12, 2026
2 of 3 checks passed
@Bisht13 Bisht13 deleted the px/release-v1.0.0 branch May 12, 2026 10:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant