diff --git a/.circleci/config.yml b/.circleci/config.yml
index e8ccd352..0bfef41e 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -6,7 +6,7 @@ executors:
       image: ubuntu-2004:202101-01
   macos:
     macos:
-      xcode: 12.4.0
+      xcode: 13.4.1
 
 jobs:
   build:
@@ -279,7 +279,7 @@ workflows:
          <<: *tag-only
          pre-steps:
            - install_rust
-         build-with: SDKROOT=$(xcrun -sdk macosx11.1 --show-sdk-path) MACOSX_DEPLOYMENT_TARGET=$(xcrun -sdk macosx11.1 --show-sdk-platform-version) cargo
+         build-with: SDKROOT=$(xcrun -sdk macosx12.3 --show-sdk-path) MACOSX_DEPLOYMENT_TARGET=$(xcrun -sdk macosx12.3 --show-sdk-platform-version) cargo
          add-target: true
          matrix:
            alias: cross-build-apple-silicon
diff --git a/CHANGELOG.md b/CHANGELOG.md
index b6cf69cd..acd7b697 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,6 +4,18 @@ All notable changes to this project will be documented in this file.
 ## [Unreleased]
 https://github.com/Zokrates/ZoKrates/compare/latest...develop
 
+## [0.8.1] - 2022-08-22
+
+### Release
+- https://github.com/Zokrates/ZoKrates/releases/tag/0.8.1 <!-- markdown-link-check-disable-line -->
+
+### Changes
+- Error out at compile time if the type of a logged value could not be inferred (#1209, @dark64)
+- Add `backend` option in `zokrates-js`, bring back bellman, add a log writer to support printing logs in js (#1199, @dark64)
+- Fix padding bug in keccak implementation, add support for keccak-224 and sha3-224 (#1197, @dark64)
+- Update syntax highlighters (#1195, @schaeff)
+- Avoid validity checks on the deserialization of the proving key to improve proving time (#1192, @dark64)
+
 ## [0.8.0] - 2022-07-07
 
 ### Release
diff --git a/Cargo.lock b/Cargo.lock
index 0cc8e864..dee10806 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2999,7 +2999,7 @@ dependencies = [
 
 [[package]]
 name = "zokrates_ark"
-version = "0.1.0"
+version = "0.1.1"
 dependencies = [
  "ark-bls12-377",
  "ark-bn254",
@@ -3026,7 +3026,7 @@ dependencies = [
 
 [[package]]
 name = "zokrates_ast"
-version = "0.1.0"
+version = "0.1.1"
 dependencies = [
  "ark-bls12-377",
  "cfg-if 0.1.10",
@@ -3072,7 +3072,7 @@ dependencies = [
 
 [[package]]
 name = "zokrates_cli"
-version = "0.8.0"
+version = "0.8.1"
 dependencies = [
  "assert_cli",
  "blake2 0.8.1",
@@ -3117,7 +3117,7 @@ version = "0.1.1"
 
 [[package]]
 name = "zokrates_core"
-version = "0.7.0"
+version = "0.7.1"
 dependencies = [
  "cfg-if 0.1.10",
  "csv",
@@ -3199,7 +3199,7 @@ dependencies = [
 
 [[package]]
 name = "zokrates_interpreter"
-version = "0.1.0"
+version = "0.1.1"
 dependencies = [
  "ark-bls12-377",
  "num 0.1.42",
@@ -3214,7 +3214,7 @@ dependencies = [
 
 [[package]]
 name = "zokrates_js"
-version = "1.1.1"
+version = "1.1.2"
 dependencies = [
  "console_error_panic_hook",
  "indexmap",
@@ -3241,7 +3241,7 @@ dependencies = [
 
 [[package]]
 name = "zokrates_parser"
-version = "0.3.0"
+version = "0.3.1"
 dependencies = [
  "glob 0.2.11",
  "pest",
@@ -3292,7 +3292,7 @@ dependencies = [
 
 [[package]]
 name = "zokrates_stdlib"
-version = "0.3.0"
+version = "0.3.1"
 dependencies = [
  "fs_extra",
  "zokrates_test",
diff --git a/changelogs/unreleased/1192-dark64 b/changelogs/unreleased/1192-dark64
deleted file mode 100644
index 9dcbb0c9..00000000
--- a/changelogs/unreleased/1192-dark64
+++ /dev/null
@@ -1 +0,0 @@
-Avoid validity checks on the deserialization of the proving key to improve proving time
\ No newline at end of file
diff --git a/changelogs/unreleased/1195-schaeff b/changelogs/unreleased/1195-schaeff
deleted file mode 100644
index 97d5b7d6..00000000
--- a/changelogs/unreleased/1195-schaeff
+++ /dev/null
@@ -1 +0,0 @@
-Update syntax highlighters
\ No newline at end of file
diff --git a/changelogs/unreleased/1197-dark64 b/changelogs/unreleased/1197-dark64
deleted file mode 100644
index 8f9cbe01..00000000
--- a/changelogs/unreleased/1197-dark64
+++ /dev/null
@@ -1 +0,0 @@
-Fix padding bug in keccak implementation, add support for keccak-224 and sha3-224
\ No newline at end of file
diff --git a/changelogs/unreleased/1199-dark64 b/changelogs/unreleased/1199-dark64
deleted file mode 100644
index 11f3703d..00000000
--- a/changelogs/unreleased/1199-dark64
+++ /dev/null
@@ -1 +0,0 @@
-Add `backend` option in `zokrates-js`, bring back bellman, add a log writer to support printing logs in js
\ No newline at end of file
diff --git a/changelogs/unreleased/1209-dark64 b/changelogs/unreleased/1209-dark64
deleted file mode 100644
index aebb5a1b..00000000
--- a/changelogs/unreleased/1209-dark64
+++ /dev/null
@@ -1 +0,0 @@
-Error out at compile time if the type of a logged value could not be inferred
\ No newline at end of file
diff --git a/zokrates_ark/Cargo.toml b/zokrates_ark/Cargo.toml
index a90cbd26..86508b55 100644
--- a/zokrates_ark/Cargo.toml
+++ b/zokrates_ark/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zokrates_ark"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
diff --git a/zokrates_ast/Cargo.toml b/zokrates_ast/Cargo.toml
index 2a2429e7..cc022d0a 100644
--- a/zokrates_ast/Cargo.toml
+++ b/zokrates_ast/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zokrates_ast"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 
 [features]
diff --git a/zokrates_cli/Cargo.toml b/zokrates_cli/Cargo.toml
index cf311561..c34f651e 100644
--- a/zokrates_cli/Cargo.toml
+++ b/zokrates_cli/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zokrates_cli"
-version = "0.8.0"
+version = "0.8.1"
 authors = ["Jacob Eberhardt <jacob.eberhardt@tu-berlin.de>", "Dennis Kuhnert <mail@kyroy.com>", "Thibaut Schaeffer <thibaut@schaeff.fr>"]
 repository = "https://github.com/Zokrates/ZoKrates.git"
 edition = "2018"
diff --git a/zokrates_core/Cargo.toml b/zokrates_core/Cargo.toml
index 8f43e282..183b10c5 100644
--- a/zokrates_core/Cargo.toml
+++ b/zokrates_core/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zokrates_core"
-version = "0.7.0"
+version = "0.7.1"
 edition = "2018"
 authors = ["Jacob Eberhardt <jacob.eberhardt@tu-berlin.de>", "Dennis Kuhnert <mail@kyroy.com>"]
 repository = "https://github.com/Zokrates/ZoKrates"
diff --git a/zokrates_interpreter/Cargo.toml b/zokrates_interpreter/Cargo.toml
index 36f80bb7..29096255 100644
--- a/zokrates_interpreter/Cargo.toml
+++ b/zokrates_interpreter/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zokrates_interpreter"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 
 [features]
diff --git a/zokrates_js/Cargo.toml b/zokrates_js/Cargo.toml
index e8d9e5f9..4c946aef 100644
--- a/zokrates_js/Cargo.toml
+++ b/zokrates_js/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zokrates_js"
-version = "1.1.1"
+version = "1.1.2"
 authors = ["Darko Macesic"]
 edition = "2018"
 
diff --git a/zokrates_js/package.json b/zokrates_js/package.json
index 54887b57..a76543ea 100644
--- a/zokrates_js/package.json
+++ b/zokrates_js/package.json
@@ -1,6 +1,6 @@
 {
     "name": "zokrates-js",
-    "version": "1.1.1",
+    "version": "1.1.2",
     "module": "index.js",
     "main": "node/index.js",
     "description": "JavaScript bindings for ZoKrates",
diff --git a/zokrates_parser/Cargo.toml b/zokrates_parser/Cargo.toml
index bd486d56..d968e822 100644
--- a/zokrates_parser/Cargo.toml
+++ b/zokrates_parser/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zokrates_parser"
-version = "0.3.0"
+version = "0.3.1"
 authors = ["JacobEberhardt <jacob.eberhardt@tu-berlin.de>"]
 edition = "2018"
 
diff --git a/zokrates_stdlib/Cargo.toml b/zokrates_stdlib/Cargo.toml
index b01ca55b..5ce77db8 100644
--- a/zokrates_stdlib/Cargo.toml
+++ b/zokrates_stdlib/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zokrates_stdlib"
-version = "0.3.0"
+version = "0.3.1"
 authors = ["Stefan Deml <stefandeml@gmail.com>", "schaeff <thibaut@schaeff.fr>"]
 edition = "2018"