diff --git a/ChangeLog.md b/ChangeLog.md
index 5dcb913..524a922 100644
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -3,3 +3,26 @@
 ## 0.1
 
 * Initial release.
+* Implementation of the Bulletproofs protocol for range proofs
+* Use of the improved inner-product argument to reduce the communication complexity
+* Support for SECp256k1 curve
+
+## 0.2
+
+* Prove and verify computations of arithmetic circuits using Bulletproofs
+  protocol.
+* Extend range proofs with support for multi-range proofs.
+* Add documentation and provide examples to explain and use arithmetic circuits.
+* Provide examples for using aggregated range proofs.
+* Add multi-range proofs documentation.
+
+## 0.3
+
+* Update dependencies
+
+## 0.4
+
+* Use double exponentiation to improve performance.
+* Use Control.Exception.assert to make sure debugging assertions are not checked
+  when compiled with optimisations.
+* Add benchmarks for rangeproofs.
diff --git a/package.yaml b/package.yaml
index b8e3cc6..2bddfad 100644
--- a/package.yaml
+++ b/package.yaml
@@ -1,5 +1,5 @@
 name:                bulletproofs
-version:             0.2.1
+version:             0.4.0
 github:              "adjoint-io/bulletproofs"
 license:             Apache
 maintainer:          Adjoint Inc (info@adjoint.io)