diff --git a/.release-please-manifest.json b/.release-please-manifest.json
index 513fac0e..19ee807a 100644
--- a/.release-please-manifest.json
+++ b/.release-please-manifest.json
@@ -1,3 +1,3 @@
 {
-  ".": "0.18.1"
+  ".": "0.19.0"
 }
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 47321087..f5f5d710 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,22 @@
 # Changelog
 
+## [0.19.0](https://github.com/eth-act/ere/compare/v0.18.1...v0.19.0) (2026-10-02)
+
+
+### Features
+
+* add lambdavm ([#435](https://github.com/eth-act/ere/issues/435)) ([bcdb1b4](https://github.com/eth-act/ere/commit/bcdb1b463ec5133dcb25879e95c0a65d710c53ec))
+* allow switch to different ELF ([#436](https://github.com/eth-act/ere/issues/436)) ([77e2aae](https://github.com/eth-act/ere/commit/77e2aae2b92bc0231a3603749ee1a30f8e89c87d))
+* avoid having zisk pk in image and download on demand ([#428](https://github.com/eth-act/ere/issues/428)) ([225ce84](https://github.com/eth-act/ere/commit/225ce841dbdc33f28e509c5516c907cb8e7a039f))
+* update zisk to v1.3.0-alpha and use blake3 hash family ([#430](https://github.com/eth-act/ere/issues/430)) ([e49696e](https://github.com/eth-act/ere/commit/e49696e5e1bfedbfd6a8f4009140b72005ce72e3))
+* update zisk to v1.3.1-alpha ([#445](https://github.com/eth-act/ere/issues/445)) ([96fabc2](https://github.com/eth-act/ere/commit/96fabc2a5c52a4ecd7f9f50a1dd2173454fea1eb))
+* use AOT compiled executor in zisk ([#441](https://github.com/eth-act/ere/issues/441)) ([f68dedf](https://github.com/eth-act/ere/commit/f68dedf4d71119e1aba37782872281d39aefd086))
+
+
+### Bug Fixes
+
+* localize symbols of ere-verifier ([#431](https://github.com/eth-act/ere/issues/431)) ([9c9ca2b](https://github.com/eth-act/ere/commit/9c9ca2bc53d76de388fbead88850e42c9ffda4ca))
+
 ## [0.18.1](https://github.com/eth-act/ere/compare/v0.18.0...v0.18.1) (2026-09-15)
 
 
diff --git a/Cargo.lock b/Cargo.lock
index 56a3bbce..a730940f 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -3453,7 +3453,7 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f"
 
 [[package]]
 name = "ere-catalog"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "ere-util-build",
  "serde",
@@ -3462,7 +3462,7 @@ dependencies = [
 
 [[package]]
 name = "ere-cluster-client-zisk"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "bincode 2.0.1",
  "ere-compiler-core",
@@ -3483,7 +3483,7 @@ dependencies = [
 
 [[package]]
 name = "ere-codec"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "bincode 2.0.1",
  "serde",
@@ -3491,7 +3491,7 @@ dependencies = [
 
 [[package]]
 name = "ere-compiler"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "anyhow",
  "clap",
@@ -3507,14 +3507,14 @@ dependencies = [
 
 [[package]]
 name = "ere-compiler-core"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "serde",
 ]
 
 [[package]]
 name = "ere-compiler-lambdavm"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "ere-compiler-core",
  "ere-prover-core",
@@ -3526,7 +3526,7 @@ dependencies = [
 
 [[package]]
 name = "ere-compiler-openvm"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "ere-compiler-core",
  "ere-prover-core",
@@ -3540,7 +3540,7 @@ dependencies = [
 
 [[package]]
 name = "ere-compiler-sp1"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "ere-compiler-core",
  "ere-prover-core",
@@ -3554,7 +3554,7 @@ dependencies = [
 
 [[package]]
 name = "ere-compiler-zisk"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "ere-compiler-core",
  "ere-prover-core",
@@ -3566,7 +3566,7 @@ dependencies = [
 
 [[package]]
 name = "ere-dockerized"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "anyhow",
  "ere-catalog",
@@ -3585,11 +3585,11 @@ dependencies = [
 
 [[package]]
 name = "ere-platform-core"
-version = "0.18.1"
+version = "0.19.0"
 
 [[package]]
 name = "ere-platform-lambdavm"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "ere-platform-core",
  "lambda-vm-syscalls",
@@ -3597,7 +3597,7 @@ dependencies = [
 
 [[package]]
 name = "ere-platform-openvm"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "ark-bls12-381 0.6.0",
  "ark-ec 0.6.0",
@@ -3620,7 +3620,7 @@ dependencies = [
 
 [[package]]
 name = "ere-platform-sp1"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "ere-platform-core",
  "libzkevm",
@@ -3629,7 +3629,7 @@ dependencies = [
 
 [[package]]
 name = "ere-platform-zisk"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "ere-platform-core",
  "ziskos 1.3.1-alpha (registry+https://github.com/rust-lang/crates.io-index)",
@@ -3637,7 +3637,7 @@ dependencies = [
 
 [[package]]
 name = "ere-prover-core"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "anyhow",
  "auto_impl",
@@ -3657,7 +3657,7 @@ dependencies = [
 
 [[package]]
 name = "ere-prover-lambdavm"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "ere-compiler-core",
  "ere-compiler-lambdavm",
@@ -3671,7 +3671,7 @@ dependencies = [
 
 [[package]]
 name = "ere-prover-openvm"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "ere-compiler-core",
  "ere-compiler-openvm",
@@ -3691,7 +3691,7 @@ dependencies = [
 
 [[package]]
 name = "ere-prover-sp1"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "anyhow",
  "bincode 2.0.1",
@@ -3718,7 +3718,7 @@ dependencies = [
 
 [[package]]
 name = "ere-prover-zisk"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "anyhow",
  "ere-cluster-client-zisk",
@@ -3753,7 +3753,7 @@ dependencies = [
 
 [[package]]
 name = "ere-server"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "anyhow",
  "clap",
@@ -3783,7 +3783,7 @@ dependencies = [
 
 [[package]]
 name = "ere-server-api"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "prost 0.14.3",
  "prost-build 0.14.3",
@@ -3795,7 +3795,7 @@ dependencies = [
 
 [[package]]
 name = "ere-server-client"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "ere-prover-core",
  "ere-server-api",
@@ -3808,14 +3808,14 @@ dependencies = [
 
 [[package]]
 name = "ere-util-build"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "cargo_metadata 0.19.2",
 ]
 
 [[package]]
 name = "ere-util-compile"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "anyhow",
  "cargo_metadata 0.19.2",
@@ -3826,7 +3826,7 @@ dependencies = [
 
 [[package]]
 name = "ere-util-test"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "bincode 2.0.1",
  "ciborium",
@@ -3846,14 +3846,14 @@ dependencies = [
 
 [[package]]
 name = "ere-util-tokio"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "tokio",
 ]
 
 [[package]]
 name = "ere-verifier"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "criterion",
  "ere-catalog",
@@ -3868,7 +3868,7 @@ dependencies = [
 
 [[package]]
 name = "ere-verifier-c"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "cbindgen",
  "ere-verifier",
@@ -3877,7 +3877,7 @@ dependencies = [
 
 [[package]]
 name = "ere-verifier-core"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "auto_impl",
  "ere-codec",
@@ -3886,7 +3886,7 @@ dependencies = [
 
 [[package]]
 name = "ere-verifier-lambdavm"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "ere-util-build",
  "ere-verifier-core",
@@ -3898,7 +3898,7 @@ dependencies = [
 
 [[package]]
 name = "ere-verifier-openvm"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "bitcode",
  "ere-util-build",
@@ -3912,7 +3912,7 @@ dependencies = [
 
 [[package]]
 name = "ere-verifier-sp1"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "bincode 2.0.1",
  "ere-util-build",
@@ -3926,7 +3926,7 @@ dependencies = [
 
 [[package]]
 name = "ere-verifier-zisk"
-version = "0.18.1"
+version = "0.19.0"
 dependencies = [
  "bincode 2.0.1",
  "bytemuck",
diff --git a/Cargo.toml b/Cargo.toml
index 7826ffe3..a8b2f233 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -47,7 +47,7 @@ members = [
 resolver = "2"
 
 [workspace.package]
-version = "0.18.1"
+version = "0.19.0"
 edition = "2024"
 rust-version = "1.91"
 license = "MIT OR Apache-2.0"