Merge pull request #1290 from Zokrates/rc/0.8.5

Release 0.8.5

Author: Schaeff

.github/workflows/js-format-check.yml

@@ -6,6 +6,6 @@ jobs:
     steps:
       - uses: actions/checkout@v2
       - name: Check format with prettier
-        uses: creyD/prettier_action@v4.2
+        uses: creyD/prettier_action@v4.3
         with:
           prettier_options: --check ./**/*.{js,ts,json}

CHANGELOG.md

@@ -4,6 +4,17 @@ All notable changes to this project will be documented in this file.
 ## [Unreleased]
 https://github.com/Zokrates/ZoKrates/compare/latest...develop
 
+## [0.8.5] - 2023-03-28
+
+### Release
+- https://github.com/Zokrates/ZoKrates/releases/tag/0.8.5 <!-- markdown-link-check-disable-line -->
+
+### Changes
+- Reduce memory usage and runtime by refactoring the reducer (ssa, propagation, unrolling and inlining) (#1283, @schaeff)
+- Fix `radix-path` help message on `mpc init` subcommand (#1280, @dark64)
+- Fix a potential crash in `zokrates-js` due to inefficient serialization of a setup keypair (#1277, @dark64)
+- Show help when running `zokrates mpc` (#1275, @dark64)
+
 ## [0.8.4] - 2023-01-31
 
 ### Release

Cargo.lock

@@ -1,6 +1,6 @@
 [package]
 name = "zokrates_analysis"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 
 [features]

zokrates_analysis/Cargo.toml

@@ -629,8 +629,6 @@ fn fold_statement<'ast, T: Field>(
                 })
                 .collect(),
         )],
-        typed::TypedStatement::PushCallLog(..) => vec![],
-        typed::TypedStatement::PopCallLog => vec![],
         typed::TypedStatement::For(..) => unreachable!(),
     };
 

zokrates_analysis/src/flatten_complex_types.rs

@@ -161,10 +161,6 @@ pub fn analyse<'ast, T: Field>(
     let r = reduce_program(r).map_err(Error::from)?;
     log::trace!("\n{}", r);
 
-    log::debug!("Static analyser: Propagate");
-    let r = Propagator::propagate(r)?;
-    log::trace!("\n{}", r);
-
     log::debug!("Static analyser: Concretize structs");
     let r = StructConcretizer::concretize(r);
     log::trace!("\n{}", r);