0.7 - Daric

Changelog

Features

• Zecale support for Zeth transaction aggregation

  • Related PRs: #343, #344, #345, #349

• Data structures serialization/deserialization improvements

  • Related PRs: #358

• Support native cpp snark verifier

  • Related PRs: #358

• New flags for prover_server command to export data

  • Related PRs: #368

Security fixes

• Bump cryptography python package from 3.2 to 3.3.2

  • Related PRs: #353

• Upgrade solidity code to 0.8 solidity version (to support safe arithmetic, non-experimental ABIEncoderv2 etc.)

  • Related issues: #96, #149
  • Related PRs: #352

Optimizations

• Swith MiMC round function degree and corresponding round numbers
  • Related issues: #364
  • Related PRs: #369

Tooling

• Ran contract tests as part of the CI

  • Related PRs: #341

• Support caching on the CI and add integration tests

  • Related issues: #324, #150
  • Related PRs: #326

• Migrate docker build from Docker Hub to Github Container Regisry

  • Related PRs: #350

• Better code re-use for the Continuous Integration

  • Related PRs: #354

• Update custom ganache-cli to bring changes in libff used in bls12-377 and bw6-761 precompiled contracts

  • Related PRs: #347, #362

Code quality

• Solidity code cleanup to align with newly established coding standards
  • Related issues: #321, #335
  • Related PRs: #361, #366

Fixes

• Fixed R1CS serialization

  • Related PRs: #346

• Fix test data for Groth16 to ease cross-library tests with NeoDIZK

  • Related PRs: #365