Add Jubjub to ECC stdlib

.circleci/config.yml

@@ -12,7 +12,7 @@ jobs:
   build:
     docker:
       - image: zokrates/env:latest
-    resource_class: large
+    resource_class: xlarge
     steps:
       - checkout
       - run:
@@ -22,6 +22,7 @@ jobs:
       - restore-sccache-cache
       - run:
           name: Build
+          no_output_timeout: "30m"
           command: RUSTFLAGS="-D warnings" ./build.sh
       - save-sccache-cache
   test:
@@ -68,14 +69,17 @@ jobs:
     docker:
       - image: zokrates/env:latest
       - image: trufflesuite/ganache-cli:next
-    resource_class: large
+    resource_class: xlarge
     steps:
       - checkout
       - run:
           name: Version information
           command: rustc --version; cargo --version; rustup --version
       - setup-sccache
       - restore-sccache-cache
+      - run:
+          name: Install foundry
+          command: ./scripts/install_foundry.sh
       - run:
           name: Run integration tests
           no_output_timeout: "30m"
@@ -119,11 +123,13 @@ jobs:
       - setup-sccache
       - restore-sccache-cache
       - run:
-          name: Check format
-          command: cargo fmt --all -- --check
-      - run:
-          name: Run clippy
-          command: cargo clippy -- -D warnings
+          name: Install headless chrome dependencies
+          command: |
+            apt-get update && apt-get install -yq \
+            ca-certificates fonts-liberation libasound2 libatk-bridge2.0-0 libatk1.0-0 libc6 libcairo2 libcups2 \
+            libdbus-1-3 libexpat1 libfontconfig1 libgbm1 libgcc1 libglib2.0-0 libgtk-3-0 libnspr4 libnss3 \
+            libpango-1.0-0 libpangocairo-1.0-0 libstdc++6 libx11-6 libx11-xcb1 libxcb1 libxcomposite1 libxcursor1 \
+            libxdamage1 libxext6 libxfixes3 libxi6 libxrandr2 libxrender1 libxss1 libxtst6 lsb-release wget xdg-utils
       - run:
           name: Run tests
           no_output_timeout: "30m"
@@ -187,7 +193,7 @@ commands:
     steps:
       - restore_cache:
           name: Restore sccache cache
-          key: sccache-cache-stable-{{ arch }}-{{ .Environment.CIRCLE_JOB }}
+          key: sccache-cache-stable-{{ .Environment.CACHE_VERSION }}-{{ arch }}-{{ .Environment.CIRCLE_JOB }}
   save-sccache-cache:
     steps:
       - save_cache:
@@ -244,7 +250,7 @@ workflows:
     jobs:
       - build
       - test
-      - wasm_test
+      # - wasm_test
       - integration_test
       - zokrates_js_build
       - zokrates_js_test
@@ -302,7 +308,7 @@ workflows:
           requires:
             - build
             - test
-            - wasm_test
+            # - wasm_test
             - integration_test
             - zokrates_js_build
             - zokrates_js_test

.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}

.gitignore

@@ -7,12 +7,17 @@ out
 out.ztf
 abi.json
 proof.json
+init.json
+steps.json
 proving.key
 verification.key
 verifier.sol
 proof.json
 universal_setup.dat
 witness
+witness.json
+nova.params
+running_instance.json
 
 # ZoKrates source files at the root of the repository
 /*.zok

CHANGELOG.md

@@ -4,6 +4,54 @@ All notable changes to this project will be documented in this file.
 ## [Unreleased]
 https://github.com/Zokrates/ZoKrates/compare/latest...develop
 
+## [0.8.7] - 2023-04-22
+
+### Release
+- https://github.com/Zokrates/ZoKrates/releases/tag/0.8.7 <!-- markdown-link-check-disable-line -->
+
+### Changes
+- Reduce memory usage of compilation (#1296, @schaeff)
+- Add initial support for the Nova proving scheme (#1235, @schaeff)
+
+## [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
+- 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
+- https://github.com/Zokrates/ZoKrates/releases/tag/0.8.4 <!-- markdown-link-check-disable-line -->
+
+### Changes
+- Fix array propagation for spreads and repeaters (#1269, @schaeff)
+- Remove solc dependency for tests, use foundry instead (#1266, @schaeff)
+- Optimize `zokrates-js` library size (#1264, @dark64)
+- Use multicore feature in ark and bellman to improve performance (#1261, @dark64)
+- Allow user-provided randomness in setup and proof generation (#1254, @dark64)
+- Fix typos (#1260, @rex4539)
+- Introduce constraint generation through assembly blocks (#1246, @dark64)
+- Loosen up whitespace restrictions to allow more formatting styles (#1232, @dark64)
+- Reduce cost of boolean array equality checks (#1228, @schaeff)
+
 ## [0.8.3] - 2022-10-11
 
 ### Release