diff --git a/Cargo.lock b/Cargo.lock
index b80e9c03f..f0dcc09fa 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -3988,7 +3988,7 @@ dependencies = [
 
 [[package]]
 name = "provekit-cli"
-version = "1.1.0"
+version = "1.0.1"
 dependencies = [
  "anyhow",
  "argh",
@@ -4017,7 +4017,7 @@ dependencies = [
 
 [[package]]
 name = "provekit-common"
-version = "1.1.0"
+version = "1.0.1"
 dependencies = [
  "anyhow",
  "ark-bn254 0.5.0",
@@ -4066,7 +4066,7 @@ dependencies = [
 
 [[package]]
 name = "provekit-gnark"
-version = "1.1.0"
+version = "1.0.1"
 dependencies = [
  "ark-poly 0.5.0",
  "provekit-common",
@@ -4078,7 +4078,7 @@ dependencies = [
 
 [[package]]
 name = "provekit-prover"
-version = "1.1.0"
+version = "1.0.1"
 dependencies = [
  "anyhow",
  "ark-ff 0.5.0",
@@ -4097,7 +4097,7 @@ dependencies = [
 
 [[package]]
 name = "provekit-r1cs-compiler"
-version = "1.1.0"
+version = "1.0.1"
 dependencies = [
  "anyhow",
  "ark-bn254 0.5.0",
@@ -4148,7 +4148,7 @@ dependencies = [
 
 [[package]]
 name = "provekit-verifier"
-version = "1.1.0"
+version = "1.0.1"
 dependencies = [
  "anyhow",
  "ark-std 0.5.0",
diff --git a/Cargo.toml b/Cargo.toml
index 9bc862a3a..41704819b 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -99,13 +99,13 @@ ntt = { package = "provekit-ntt", version = "0.1.0" }
 
 # Workspace members - ProveKit
 provekit-bench = { path = "tooling/provekit-bench" }
-provekit-cli = { path = "tooling/cli", version = "1.1.0" }
-provekit-common = { path = "provekit/common", version = "1.1.0" }
+provekit-cli = { path = "tooling/cli", version = "1.0.1" }
+provekit-common = { path = "provekit/common", version = "1.0.1" }
 provekit-ffi = { path = "tooling/provekit-ffi" }
-provekit-gnark = { path = "tooling/provekit-gnark", version = "1.1.0" }
-provekit-prover = { path = "provekit/prover", version = "1.1.0" }
-provekit-r1cs-compiler = { path = "provekit/r1cs-compiler", version = "1.1.0" }
-provekit-verifier = { path = "provekit/verifier", version = "1.1.0" }
+provekit-gnark = { path = "tooling/provekit-gnark", version = "1.0.1" }
+provekit-prover = { path = "provekit/prover", version = "1.0.1" }
+provekit-r1cs-compiler = { path = "provekit/r1cs-compiler", version = "1.0.1" }
+provekit-verifier = { path = "provekit/verifier", version = "1.0.1" }
 provekit-verifier-server = { path = "tooling/verifier-server" }
 provekit-wasm = { path = "tooling/provekit-wasm" }
 
diff --git a/provekit/common/Cargo.toml b/provekit/common/Cargo.toml
index d4af4847d..36bc8792b 100644
--- a/provekit/common/Cargo.toml
+++ b/provekit/common/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "provekit-common"
-version = "1.1.0"
+version = "1.0.1"
 description = "Common types and utilities for the ProveKit proving system"
 edition.workspace = true
 rust-version.workspace = true
diff --git a/provekit/prover/Cargo.toml b/provekit/prover/Cargo.toml
index ffca5a9ba..95f64615c 100644
--- a/provekit/prover/Cargo.toml
+++ b/provekit/prover/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "provekit-prover"
-version = "1.1.0"
+version = "1.0.1"
 description = "ProveKit prover for generating zero-knowledge proofs"
 edition.workspace = true
 rust-version.workspace = true
diff --git a/provekit/r1cs-compiler/Cargo.toml b/provekit/r1cs-compiler/Cargo.toml
index 5e2e29b16..2d6bba620 100644
--- a/provekit/r1cs-compiler/Cargo.toml
+++ b/provekit/r1cs-compiler/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "provekit-r1cs-compiler"
-version = "1.1.0"
+version = "1.0.1"
 description = "R1CS compiler for ProveKit, translating Noir programs to R1CS constraints"
 edition.workspace = true
 rust-version.workspace = true
diff --git a/provekit/verifier/Cargo.toml b/provekit/verifier/Cargo.toml
index 3b0b4ce00..33da0ceb8 100644
--- a/provekit/verifier/Cargo.toml
+++ b/provekit/verifier/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "provekit-verifier"
-version = "1.1.0"
+version = "1.0.1"
 description = "ProveKit verifier for zero-knowledge proofs"
 edition.workspace = true
 rust-version.workspace = true
diff --git a/tooling/cli/Cargo.toml b/tooling/cli/Cargo.toml
index e29399b4d..b506a9972 100644
--- a/tooling/cli/Cargo.toml
+++ b/tooling/cli/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "provekit-cli"
-version = "1.1.0"
+version = "1.0.1"
 description = "ProveKit CLI for generating and verifying zero-knowledge proofs"
 edition.workspace = true
 rust-version.workspace = true
diff --git a/tooling/provekit-gnark/Cargo.toml b/tooling/provekit-gnark/Cargo.toml
index 1000064f1..ab7663530 100644
--- a/tooling/provekit-gnark/Cargo.toml
+++ b/tooling/provekit-gnark/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "provekit-gnark"
-version = "1.1.0"
+version = "1.0.1"
 description = "Gnark integration for ProveKit"
 edition.workspace = true
 rust-version.workspace = true