Merge pull request #1294 from Zokrates/rc/0.8.6

Release 0.8.6

.circleci/config.yml

@@ -12,7 +12,7 @@ jobs:
   build:
     docker:
       - image: zokrates/env:latest
-    resource_class: large
+    resource_class: xlarge
     steps:
       - checkout
       - run:
@@ -68,7 +68,7 @@ jobs:
     docker:
       - image: zokrates/env:latest
       - image: trufflesuite/ganache-cli:next
-    resource_class: large
+    resource_class: xlarge
     steps:
       - checkout
       - run:

.gitignore

@@ -13,6 +13,7 @@ verifier.sol
 proof.json
 universal_setup.dat
 witness
+witness.json
 
 # ZoKrates source files at the root of the repository
 /*.zok

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.6] - 2023-04-13
+
+### Release
+- https://github.com/Zokrates/ZoKrates/releases/tag/0.8.6 <!-- markdown-link-check-disable-line -->
+
+### Changes
+- Make ZoKrates build on stable rust (#1288, @schaeff)
+- Introduce sourcemaps, introduce `inspect` command to identify costly parts of the source (#1285, @schaeff)
+- Change witness format to binary, optimize backend integration code to improve proving time (#1289, @dark64)
+- Fixed precedence issue on Sudoku example. (#1287, @Turupawn)
+- Reduce compiled program size by deduplicating assembly solvers (#1268, @dark64)
+
 ## [0.8.5] - 2023-03-28
 
 ### Release