diff --git a/ChangeLog.md b/ChangeLog.md
index 23a5591..0437bd4 100644
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,11 +1,22 @@
 # Changelog for bulletproofs
 
-## 0.1
+## 1.0
 
-* 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
+* Use galois-field library as dependency
+* Remove custom definition of Fq
+* Remove Fractional constraints and use PrimeField instead
+* Update interface of rangeproofs to guarantee the use of prime fields
+
+## 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.
+
+## 0.3
+
+* Update dependencies
 
 ## 0.2
 
@@ -16,20 +27,10 @@
 * 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.
+## 0.1
 
-## 1.0
+* 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
 
-* Use galois-field library as dependency
-* Remove custom definition of Fq
-* Remove Fractional constraints and use PrimeField instead
-* Update interface of rangeproofs to guarantee the use of prime fields
diff --git a/package.yaml b/package.yaml
index 6582d80..a31c292 100644
--- a/package.yaml
+++ b/package.yaml
@@ -1,5 +1,5 @@
 name:                bulletproofs
-version:             0.4.0
+version:             1.0.0
 github:              "adjoint-io/bulletproofs"
 license:             Apache
 maintainer:          Adjoint Inc (info@adjoint.io)