diff --git a/.release-please-manifest.json b/.release-please-manifest.json
index 02f17d9d..76d5538a 100644
--- a/.release-please-manifest.json
+++ b/.release-please-manifest.json
@@ -1,3 +1,3 @@
 {
-  ".": "0.8.1"
+  ".": "0.9.0"
 }
diff --git a/CHANGELOG.md b/CHANGELOG.md
index e70e6fe4..0c5c6b8d 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,21 @@
 # Changelog
 
+## [0.9.0](https://github.com/eth-act/ere/compare/v0.8.1...v0.9.0) (2026-05-06)
+
+
+### Features
+
+* add a binary semaphore to ere-server prove endpoint ([#348](https://github.com/eth-act/ere/issues/348)) ([580a70a](https://github.com/eth-act/ere/commit/580a70ae9cb873c21f91db9e282f43a57434de6a))
+* finer modules ([#346](https://github.com/eth-act/ere/issues/346)) ([44e91ed](https://github.com/eth-act/ere/commit/44e91ed7c0bd5398d55eb4ce43594ac0f161dd2b))
+* update `sp1` to `v6.1.0` ([#349](https://github.com/eth-act/ere/issues/349)) ([02659ca](https://github.com/eth-act/ere/commit/02659ca3701f9d013ac89fded4aa250c29256fb6))
+* update airbender to use sdk ([#347](https://github.com/eth-act/ere/issues/347)) ([ad57b1d](https://github.com/eth-act/ere/commit/ad57b1d74db3c56a7e1413ab29300f38d9a8c864))
+* zisk cluster verify ([#344](https://github.com/eth-act/ere/issues/344)) ([21b40df](https://github.com/eth-act/ere/commit/21b40dfeea610c430ede65be055041ea4117694b))
+
+
+### Bug Fixes
+
+* zisk sdk install script to pin ziskup ([#354](https://github.com/eth-act/ere/issues/354)) ([e63f6e8](https://github.com/eth-act/ere/commit/e63f6e8713bd429d80fcd188f893e98a17a3574e))
+
 ## [0.8.1](https://github.com/eth-act/ere/compare/v0.8.0...v0.8.1) (2026-04-23)
 
 
diff --git a/Cargo.lock b/Cargo.lock
index 2f2a558a..237aaa08 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -3821,7 +3821,7 @@ dependencies = [
 
 [[package]]
 name = "ere-catalog"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "ere-util-build",
  "serde",
@@ -3830,7 +3830,7 @@ dependencies = [
 
 [[package]]
 name = "ere-cluster-client-zisk"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "ere-prover-core",
  "ere-util-tokio",
@@ -3850,11 +3850,11 @@ dependencies = [
 
 [[package]]
 name = "ere-codec"
-version = "0.8.1"
+version = "0.9.0"
 
 [[package]]
 name = "ere-compiler"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "anyhow",
  "clap",
@@ -3871,7 +3871,7 @@ dependencies = [
 
 [[package]]
 name = "ere-compiler-airbender"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "airbender-build",
  "cargo_metadata 0.19.2",
@@ -3886,14 +3886,14 @@ dependencies = [
 
 [[package]]
 name = "ere-compiler-core"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "serde",
 ]
 
 [[package]]
 name = "ere-compiler-openvm"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "ere-compiler-core",
  "ere-prover-core",
@@ -3907,7 +3907,7 @@ dependencies = [
 
 [[package]]
 name = "ere-compiler-risc0"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "anyhow",
  "ere-compiler-core",
@@ -3923,7 +3923,7 @@ dependencies = [
 
 [[package]]
 name = "ere-compiler-sp1"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "ere-compiler-core",
  "ere-prover-core",
@@ -3937,7 +3937,7 @@ dependencies = [
 
 [[package]]
 name = "ere-compiler-zisk"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "ere-compiler-core",
  "ere-prover-core",
@@ -3951,7 +3951,7 @@ dependencies = [
 
 [[package]]
 name = "ere-dockerized"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "anyhow",
  "ere-catalog",
@@ -3970,7 +3970,7 @@ dependencies = [
 
 [[package]]
 name = "ere-platform-airbender"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "airbender-sdk",
  "ere-platform-core",
@@ -3978,11 +3978,11 @@ dependencies = [
 
 [[package]]
 name = "ere-platform-core"
-version = "0.8.1"
+version = "0.9.0"
 
 [[package]]
 name = "ere-platform-openvm"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "ere-platform-core",
  "openvm",
@@ -3990,7 +3990,7 @@ dependencies = [
 
 [[package]]
 name = "ere-platform-risc0"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "ere-platform-core",
  "risc0-zkvm",
@@ -3999,7 +3999,7 @@ dependencies = [
 
 [[package]]
 name = "ere-platform-sp1"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "ere-platform-core",
  "sp1-zkvm",
@@ -4007,7 +4007,7 @@ dependencies = [
 
 [[package]]
 name = "ere-platform-zisk"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "ere-platform-core",
  "fnv",
@@ -4016,7 +4016,7 @@ dependencies = [
 
 [[package]]
 name = "ere-prover-airbender"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "airbender-host",
  "ere-compiler-airbender",
@@ -4033,7 +4033,7 @@ dependencies = [
 
 [[package]]
 name = "ere-prover-core"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "anyhow",
  "auto_impl",
@@ -4052,7 +4052,7 @@ dependencies = [
 
 [[package]]
 name = "ere-prover-openvm"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "ere-compiler-core",
  "ere-compiler-openvm",
@@ -4067,7 +4067,7 @@ dependencies = [
 
 [[package]]
 name = "ere-prover-risc0"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "anyhow",
  "bincode 2.0.1",
@@ -4083,7 +4083,7 @@ dependencies = [
 
 [[package]]
 name = "ere-prover-sp1"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "anyhow",
  "bincode 2.0.1",
@@ -4104,7 +4104,7 @@ dependencies = [
 
 [[package]]
 name = "ere-prover-zisk"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "anyhow",
  "blake3",
@@ -4132,7 +4132,7 @@ dependencies = [
 
 [[package]]
 name = "ere-server"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "anyhow",
  "bincode 2.0.1",
@@ -4164,7 +4164,7 @@ dependencies = [
 
 [[package]]
 name = "ere-server-api"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "prost 0.14.3",
  "prost-build 0.14.3",
@@ -4176,7 +4176,7 @@ dependencies = [
 
 [[package]]
 name = "ere-server-client"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "bincode 2.0.1",
  "ere-prover-core",
@@ -4190,14 +4190,14 @@ dependencies = [
 
 [[package]]
 name = "ere-util-build"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "cargo_metadata 0.19.2",
 ]
 
 [[package]]
 name = "ere-util-compile"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "anyhow",
  "cargo_metadata 0.19.2",
@@ -4207,7 +4207,7 @@ dependencies = [
 
 [[package]]
 name = "ere-util-test"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "bincode 2.0.1",
  "ciborium",
@@ -4223,14 +4223,14 @@ dependencies = [
 
 [[package]]
 name = "ere-util-tokio"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "tokio",
 ]
 
 [[package]]
 name = "ere-verifier-airbender"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "airbender-host",
  "bincode 2.0.1",
@@ -4242,7 +4242,7 @@ dependencies = [
 
 [[package]]
 name = "ere-verifier-core"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "auto_impl",
  "ere-codec",
@@ -4251,7 +4251,7 @@ dependencies = [
 
 [[package]]
 name = "ere-verifier-openvm"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "bitcode",
  "ere-util-build",
@@ -4265,7 +4265,7 @@ dependencies = [
 
 [[package]]
 name = "ere-verifier-risc0"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "bincode 2.0.1",
  "ere-util-build",
@@ -4278,7 +4278,7 @@ dependencies = [
 
 [[package]]
 name = "ere-verifier-sp1"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "bincode 2.0.1",
  "ere-util-build",
@@ -4292,7 +4292,7 @@ dependencies = [
 
 [[package]]
 name = "ere-verifier-zisk"
-version = "0.8.1"
+version = "0.9.0"
 dependencies = [
  "bincode 2.0.1",
  "bytemuck",
diff --git a/Cargo.toml b/Cargo.toml
index 1ddf5ff5..7dcdc3d5 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -48,7 +48,7 @@ members = [
 resolver = "2"
 
 [workspace.package]
-version = "0.8.1"
+version = "0.9.0"
 edition = "2024"
 rust-version = "1.88"
 license = "MIT OR Apache-2.0"