diff --git a/.release-please-manifest.json b/.release-please-manifest.json
index 2ac4610cb..9619f5201 100644
--- a/.release-please-manifest.json
+++ b/.release-please-manifest.json
@@ -1 +1 @@
-{".":"0.13.3","acir":"0.13.3","acir_field":"0.13.3","acvm":"0.13.3","stdlib":"0.13.3","brillig_vm":"0.13.3"}
+{".":"0.14.0","acir":"0.14.0","acir_field":"0.14.0","acvm":"0.14.0","stdlib":"0.14.0","brillig_vm":"0.14.0"}
diff --git a/CHANGELOG.md b/CHANGELOG.md
index d098a5259..0ec4ff2ad 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,6 +5,17 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [0.14.0](https://github.com/noir-lang/acvm/compare/root-v0.13.3...root-v0.14.0) (2023-06-06)
+
+
+### ⚠ BREAKING CHANGES
+
+* **acir:** Verify Proof ([#291](https://github.com/noir-lang/acvm/issues/291))
+
+### Features
+
+* **acir:** Verify Proof ([#291](https://github.com/noir-lang/acvm/issues/291)) ([9f34428](https://github.com/noir-lang/acvm/commit/9f34428b7084c7c38de401a16ca76e748d8b1d77))
+
 ## [0.13.3](https://github.com/noir-lang/acvm/compare/root-v0.13.2...root-v0.13.3) (2023-06-05)
 
 
diff --git a/Cargo.toml b/Cargo.toml
index 514c70319..9c3355a79 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -9,9 +9,9 @@ license = "MIT"
 rust-version = "1.66"
 
 [workspace.dependencies]
-acir = { version = "0.13.3", path = "acir", default-features = false }
-acir_field = { version = "0.13.3", path = "acir_field", default-features = false }
-stdlib = { package = "acvm_stdlib", version = "0.13.3", path = "stdlib", default-features = false }
+acir = { version = "0.14.0", path = "acir", default-features = false }
+acir_field = { version = "0.14.0", path = "acir_field", default-features = false }
+stdlib = { package = "acvm_stdlib", version = "0.14.0", path = "stdlib", default-features = false }
 
 num-bigint = "0.4"
 num-traits = "0.2"
diff --git a/acir/CHANGELOG.md b/acir/CHANGELOG.md
index 18f2fabc2..ac11527dc 100644
--- a/acir/CHANGELOG.md
+++ b/acir/CHANGELOG.md
@@ -1,5 +1,23 @@
 # Changelog
 
+## [0.14.0](https://github.com/noir-lang/acvm/compare/acir-v0.13.3...acir-v0.14.0) (2023-06-06)
+
+
+### ⚠ BREAKING CHANGES
+
+* **acir:** Verify Proof ([#291](https://github.com/noir-lang/acvm/issues/291))
+
+### Features
+
+* **acir:** Verify Proof ([#291](https://github.com/noir-lang/acvm/issues/291)) ([9f34428](https://github.com/noir-lang/acvm/commit/9f34428b7084c7c38de401a16ca76e748d8b1d77))
+
+
+### Dependencies
+
+* The following workspace dependencies were updated
+  * dependencies
+    * brillig_vm bumped from 0.13.3 to 0.14.0
+
 ## [0.13.3](https://github.com/noir-lang/acvm/compare/acir-v0.13.2...acir-v0.13.3) (2023-06-05)
 
 
diff --git a/acir/Cargo.toml b/acir/Cargo.toml
index 89d2f155f..e9ec1ff40 100644
--- a/acir/Cargo.toml
+++ b/acir/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "acir"
 description = "ACIR is the IR that the VM processes, it is analogous to LLVM IR"
-version = "0.13.3"
+version = "0.14.0"
 authors.workspace = true
 edition.workspace = true
 license.workspace = true
@@ -12,7 +12,7 @@ rust-version.workspace = true
 [dependencies]
 acir_field.workspace = true
 serde.workspace = true
-brillig_vm = { version = "0.13.3", path = "../brillig_vm", default-features = false }
+brillig_vm = { version = "0.14.0", path = "../brillig_vm", default-features = false }
 thiserror.workspace = true
 
 rmp-serde = "1.1.0"
diff --git a/acir_field/CHANGELOG.md b/acir_field/CHANGELOG.md
index 786315ab3..5c0c4a73c 100644
--- a/acir_field/CHANGELOG.md
+++ b/acir_field/CHANGELOG.md
@@ -1,5 +1,12 @@
 # Changelog
 
+## [0.14.0](https://github.com/noir-lang/acvm/compare/acir_field-v0.13.3...acir_field-v0.14.0) (2023-06-06)
+
+
+### Miscellaneous Chores
+
+* **acir_field:** Synchronize acvm versions
+
 ## [0.13.3](https://github.com/noir-lang/acvm/compare/acir_field-v0.13.2...acir_field-v0.13.3) (2023-06-05)
 
 
diff --git a/acir_field/Cargo.toml b/acir_field/Cargo.toml
index fa8a62f29..674fb19b0 100644
--- a/acir_field/Cargo.toml
+++ b/acir_field/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "acir_field"
 description = "The field implementation being used by ACIR."
-version = "0.13.3"
+version = "0.14.0"
 authors.workspace = true
 edition.workspace = true
 license.workspace = true
diff --git a/acvm/CHANGELOG.md b/acvm/CHANGELOG.md
index a6e6900a3..2e56d783b 100644
--- a/acvm/CHANGELOG.md
+++ b/acvm/CHANGELOG.md
@@ -1,5 +1,16 @@
 # Changelog
 
+## [0.14.0](https://github.com/noir-lang/acvm/compare/acvm-v0.13.3...acvm-v0.14.0) (2023-06-06)
+
+
+### ⚠ BREAKING CHANGES
+
+* **acir:** Verify Proof ([#291](https://github.com/noir-lang/acvm/issues/291))
+
+### Features
+
+* **acir:** Verify Proof ([#291](https://github.com/noir-lang/acvm/issues/291)) ([9f34428](https://github.com/noir-lang/acvm/commit/9f34428b7084c7c38de401a16ca76e748d8b1d77))
+
 ## [0.13.3](https://github.com/noir-lang/acvm/compare/acvm-v0.13.2...acvm-v0.13.3) (2023-06-05)
 
 
diff --git a/acvm/Cargo.toml b/acvm/Cargo.toml
index 1bb72388f..517be8781 100644
--- a/acvm/Cargo.toml
+++ b/acvm/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "acvm"
 description = "The virtual machine that processes ACIR given a backend/proof system."
-version = "0.13.3"
+version = "0.14.0"
 authors.workspace = true
 edition.workspace = true
 license.workspace = true
diff --git a/brillig_vm/CHANGELOG.md b/brillig_vm/CHANGELOG.md
index 386e82c28..62add3edb 100644
--- a/brillig_vm/CHANGELOG.md
+++ b/brillig_vm/CHANGELOG.md
@@ -1,5 +1,12 @@
 # Changelog
 
+## [0.14.0](https://github.com/noir-lang/acvm/compare/brillig_vm-v0.13.3...brillig_vm-v0.14.0) (2023-06-06)
+
+
+### Miscellaneous Chores
+
+* **brillig_vm:** Synchronize acvm versions
+
 ## [0.13.3](https://github.com/noir-lang/acvm/compare/brillig_vm-v0.13.2...brillig_vm-v0.13.3) (2023-06-05)
 
 
diff --git a/brillig_vm/Cargo.toml b/brillig_vm/Cargo.toml
index 573adbe0b..c47e094d1 100644
--- a/brillig_vm/Cargo.toml
+++ b/brillig_vm/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "brillig_vm"
 description = "The virtual machine that processes Brillig bytecode, used to introduce non-determinism to the ACVM"
-version = "0.13.3"
+version = "0.14.0"
 authors.workspace = true
 edition.workspace = true
 license.workspace = true
diff --git a/stdlib/CHANGELOG.md b/stdlib/CHANGELOG.md
index 7c43203c0..d66f42f40 100644
--- a/stdlib/CHANGELOG.md
+++ b/stdlib/CHANGELOG.md
@@ -1,5 +1,12 @@
 # Changelog
 
+## [0.14.0](https://github.com/noir-lang/acvm/compare/acvm_stdlib-v0.13.3...acvm_stdlib-v0.14.0) (2023-06-06)
+
+
+### Miscellaneous Chores
+
+* **acvm_stdlib:** Synchronize acvm versions
+
 ## [0.13.3](https://github.com/noir-lang/acvm/compare/acvm_stdlib-v0.13.2...acvm_stdlib-v0.13.3) (2023-06-05)
 
 
diff --git a/stdlib/Cargo.toml b/stdlib/Cargo.toml
index 51e31c9fb..ccc7dd3e5 100644
--- a/stdlib/Cargo.toml
+++ b/stdlib/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "acvm_stdlib"
 description = "The ACVM standard library."
-version = "0.13.3"
+version = "0.14.0"
 authors.workspace = true
 edition.workspace = true
 license.workspace = true