diff --git a/CHANGELOG.md b/CHANGELOG.md
index 999b2be..34a404d 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,13 @@
 # Changelog
 
+## [0.9.1-alpha.4] - 2024-03-18
+
+### Changed
+
+- Adjusted the input conditions for `derive_proof` to correctly exclude invalid input patterns
+- Added verification rule for rejecting VP with empty statements
+- Improved formatting
+
 ## [0.9.1-alpha.3] - 2024-03-18
 
 ### Changed
diff --git a/Cargo.toml b/Cargo.toml
index bbb3996..aeeb5d0 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rdf-proofs"
-version = "0.9.1-alpha.3"
+version = "0.9.1-alpha.4"
 edition = "2021"
 authors = ["yamdan"]
 license = "MIT"