diff --git a/provekit/common/Cargo.toml b/provekit/common/Cargo.toml
index 1f35f66e0..2d761d7e0 100644
--- a/provekit/common/Cargo.toml
+++ b/provekit/common/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "provekit-common"
-version = "0.1.0"
+version = "1.0.0"
 edition.workspace = true
 rust-version.workspace = true
 authors.workspace = true
diff --git a/provekit/prover/Cargo.toml b/provekit/prover/Cargo.toml
index 82f848326..dd9498608 100644
--- a/provekit/prover/Cargo.toml
+++ b/provekit/prover/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "provekit-prover"
-version = "0.1.0"
+version = "1.0.0"
 edition.workspace = true
 rust-version.workspace = true
 authors.workspace = true
diff --git a/provekit/r1cs-compiler/Cargo.toml b/provekit/r1cs-compiler/Cargo.toml
index ec286954f..334514124 100644
--- a/provekit/r1cs-compiler/Cargo.toml
+++ b/provekit/r1cs-compiler/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "provekit-r1cs-compiler"
-version = "0.1.0"
+version = "1.0.0"
 edition.workspace = true
 rust-version.workspace = true
 authors.workspace = true
diff --git a/provekit/verifier/Cargo.toml b/provekit/verifier/Cargo.toml
index 28a593e7e..595b04d70 100644
--- a/provekit/verifier/Cargo.toml
+++ b/provekit/verifier/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "provekit-verifier"
-version = "0.1.0"
+version = "1.0.0"
 edition.workspace = true
 rust-version.workspace = true
 authors.workspace = true
diff --git a/tooling/cli/Cargo.toml b/tooling/cli/Cargo.toml
index 3e9f91f67..c45feb548 100644
--- a/tooling/cli/Cargo.toml
+++ b/tooling/cli/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "provekit-cli"
-version = "0.1.0"
+version = "1.0.0"
 edition.workspace = true
 rust-version.workspace = true
 authors.workspace = true
diff --git a/tooling/provekit-bench/Cargo.toml b/tooling/provekit-bench/Cargo.toml
index e7df58eaa..0121caa37 100644
--- a/tooling/provekit-bench/Cargo.toml
+++ b/tooling/provekit-bench/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "provekit-bench"
-version = "0.1.0"
+version = "1.0.0"
 edition.workspace = true
 rust-version.workspace = true
 authors.workspace = true
diff --git a/tooling/provekit-ffi/Cargo.toml b/tooling/provekit-ffi/Cargo.toml
index ccfef3330..f602f43f6 100644
--- a/tooling/provekit-ffi/Cargo.toml
+++ b/tooling/provekit-ffi/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "provekit-ffi"
-version = "0.1.0"
+version = "1.0.0"
 edition.workspace = true
 rust-version.workspace = true
 authors.workspace = true
diff --git a/tooling/verifier-server/Cargo.toml b/tooling/verifier-server/Cargo.toml
index 884156049..302749158 100644
--- a/tooling/verifier-server/Cargo.toml
+++ b/tooling/verifier-server/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "verifier-server"
-version = "0.1.0"
+version = "1.0.0"
 edition.workspace = true
 rust-version.workspace = true
 authors.workspace = true