diff --git a/CHANGELOG.md b/CHANGELOG.md
index 99b6b071..b01bce11 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,4 +1,4 @@
-# 0.7.1 - 2026-05-06
+# 0.8.0 - 2026-05-28
 
 * Add runtime jet type check in `Context` [#361](https://github.com/BlockstreamResearch/rust-simplicity/pull/361)
 * Migrate execution to dynamic dispatch [#360](https://github.com/BlockstreamResearch/rust-simplicity/pull/360)
diff --git a/Cargo-recent.lock b/Cargo-recent.lock
index e62aafcf..fe2225b2 100644
--- a/Cargo-recent.lock
+++ b/Cargo-recent.lock
@@ -547,7 +547,7 @@ checksum = "0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64"
 name = "simpcli"
 version = "0.3.0"
 dependencies = [
- "simplicity-lang 0.7.1",
+ "simplicity-lang 0.8.0",
 ]
 
 [[package]]
@@ -557,7 +557,7 @@ dependencies = [
  "base64 0.22.1",
  "libfuzzer-sys",
  "simplicity-lang 0.3.1",
- "simplicity-lang 0.7.1",
+ "simplicity-lang 0.8.0",
 ]
 
 [[package]]
@@ -577,7 +577,7 @@ dependencies = [
 
 [[package]]
 name = "simplicity-lang"
-version = "0.7.1"
+version = "0.8.0"
 dependencies = [
  "bitcoin",
  "bitcoin_hashes",
diff --git a/Cargo.toml b/Cargo.toml
index af450018..4416595f 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "simplicity-lang"
-version = "0.7.1"
+version = "0.8.0"
 authors = ["Andrew Poelstra <apoelstra@wpsoftware.net>"]
 license = "CC0-1.0"
 homepage = "https://github.com/BlockstreamResearch/rust-simplicity/"
diff --git a/fuzz/Cargo.toml b/fuzz/Cargo.toml
index 434c3c51..d9fed617 100644
--- a/fuzz/Cargo.toml
+++ b/fuzz/Cargo.toml
@@ -16,7 +16,7 @@ path = "fuzz_lib/lib.rs"
 libfuzzer-sys = "0.4"
 # We shouldn't need an explicit version on the next line, but Andrew's tools
 # choke on it otherwise. See https://github.com/nix-community/crate2nix/issues/373
-simplicity-lang = { path = "..", features = ["test-utils", "human_encoding"], version = "0.7.1" }
+simplicity-lang = { path = "..", features = ["test-utils", "human_encoding"], version = "0.8.0" }
 old_simplicity = { package = "simplicity-lang", version = "0.3.1", default-features = false }
 
 [dev-dependencies]
diff --git a/simpcli/Cargo.toml b/simpcli/Cargo.toml
index 0942ab12..876acc81 100644
--- a/simpcli/Cargo.toml
+++ b/simpcli/Cargo.toml
@@ -7,7 +7,7 @@ edition = "2018"
 
 [dependencies]
 # todo add lexopt for command line parsing
-simplicity-lang = { version = "0.7.1", path = "..", features = [ "base64", "serde", "elements", "human_encoding" ] }
+simplicity-lang = { version = "0.8.0", path = "..", features = [ "base64", "serde", "elements", "human_encoding" ] }
 
 [[bin]]
 name = "simpcli"