0.3-Lydia

Changelog

Features

• Refactor of the APIs to build a layer of abstraction for proof systems used in the backend and ease the support for multiple proof systems:

  • Related issues: #3
  • Related PRs: #19

• Support for the Groth16 SNARK:

  • Related issues: #3
  • Related PRs: #22

• Multi-party computation protocol for the SRS generation of Groth16:

  • Related issues: #20, #90, #95, #105
  • Related PRs: #40, #41, #48, #67, #68, #73, #76, #77, #78, #88, #119

• Support for higher denomination private payments:

  • Related issues: #24
  • Related PRs: #101

• Support for R1CS export in json format and minimal R1CS-json parser to analyze the Arithmetic Circuit:

  • Related PRs: #124

Security fixes

• Fix the transaction malleability attack:

  • Related issues: #7, #120
  • Related PRs: #43, #59, #61, #132

• Fix a double spend attack based on modular arithmetic on primary inputs:

  • Related issues: #38
  • Related PRs: #74, #85

Circuit optimizations

• Switch to MiMC-based compression function in the Merkle tree of commitments:

  • Related issues: #4
  • Related PRs: #34, #42

• Switch to Blake2s compression function to instantiate COMMs and PRFs:

  • Related issues: #49
  • Related PRs: #63, #81, #87

Other enhancements

• Better tooling to maintain and raise code standards:
  • Related issues: #57, #60
  • Related PRs: #62, #65

These come along with various PRs to enhance code quality (#25, #29, #64, #110, #114, #121)

• Refactor of the build:

  • Related issues: #10, #37, #46
  • Related PRs: #28, #32, #33, #39, #47

• Refactor of the Python client to split functionalities into separate modules and use type annotations

  • Related issues: #56, #113
  • Related PRs: #107, #111, #112, #127