diff --git a/halo2/Cargo.toml b/halo2/Cargo.toml
index 3014b4c2..7a6bbaa9 100644
--- a/halo2/Cargo.toml
+++ b/halo2/Cargo.toml
@@ -19,7 +19,7 @@ all-features = true
 rustdoc-args = ["--cfg", "docsrs", "--html-in-header", "katex-header.html"]
 
 [dependencies]
-halo2_proofs = { version = "0.1", path = "../halo2_proofs" }
+halo2_proofs = { version = "0.2", path = "../halo2_proofs" }
 
 [lib]
 bench = false
diff --git a/halo2_gadgets/Cargo.toml b/halo2_gadgets/Cargo.toml
index 90b4b9ba..2b311c0b 100644
--- a/halo2_gadgets/Cargo.toml
+++ b/halo2_gadgets/Cargo.toml
@@ -26,7 +26,7 @@ arrayvec = "0.7.0"
 bitvec = "1"
 ff = "0.12"
 group = "0.12"
-halo2_proofs = { version = "0.1", path = "../halo2_proofs" }
+halo2_proofs = { version = "0.2", path = "../halo2_proofs" }
 lazy_static = "1"
 pasta_curves = "0.4"
 proptest = { version = "1.0.0", optional = true }
diff --git a/halo2_proofs/CHANGELOG.md b/halo2_proofs/CHANGELOG.md
index 2346a3e0..f8f41e0c 100644
--- a/halo2_proofs/CHANGELOG.md
+++ b/halo2_proofs/CHANGELOG.md
@@ -6,6 +6,8 @@ and this project adheres to Rust's notion of
 [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
 ## [Unreleased]
+
+## [0.2.0] - 2022-06-23
 ### Added
 - `halo2_proofs::circuit::Value`, a more usable and type-safe replacement for
   `Option<V>` in circuit synthesis.
diff --git a/halo2_proofs/Cargo.toml b/halo2_proofs/Cargo.toml
index 36e6f968..1f5c6c87 100644
--- a/halo2_proofs/Cargo.toml
+++ b/halo2_proofs/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "halo2_proofs"
-version = "0.1.0"
+version = "0.2.0"
 authors = [
     "Sean Bowe <sean@electriccoin.co>",
     "Ying Tong Lai <yingtong@electriccoin.co>",