v0.20.0

0.20.0 - 2024-08-14

Changed

• Modify the prover to match the paper [#831]
• Modify the verifier to match the paper [#831]
• Rename some variables to match the paper [#831]
• Modify the parallelization to have a faster verifier [#834]

Removed

• Remove docs [#819]
• Remove unused Evaluations struct

v0.19.2

0.19.2 - 2024-03-27

Added

• Add zeroize as an optional dependency [#818]
• Add zeroize feature [#818]
• Add Zeroize trait implementation for Witness behind zeroize feature [#818]

v0.19.1

0.19.1 - 2024-02-28

Changed

• Reduce hades constants count in circuit compression from 960 to 335 [#813]

Added

• Add Default trait for Witness [#815]

v0.19.0

0.19.0 - 2024-01-03

Fixed

• Fix inconsistency in gate ordering of arithmetic verifier key [#797]
• Fix leading coefficients might be zero [#796]
• Fix tests when default features are turned off by placing them behind the alloc feature

Changed

• Improve InvalidCircuitSize error [#792]
• Hide all modules except 'prelude' [#782]
• Turn Composer trait into a struct [#802]
• Rename Arithmetization to Gate [#802]
• Change internal module structure [#805]:
  • Move compiler module to root
  • Move prover and verifier modules under compiler
  • Move compress module under composer
  • Move constraint_system module under composer
  • Move permutation module under composer
• Change API for circuit (de-)compression [#804]

Removed

• Remove Builder struct with introduction of Composer struct [#802]
• Remove example from README in favor of an actual example in the example directory that is behind the alloc feature [#346]

Added

• Add example for circuit creation [#346]

v0.18.0

0.18.0 - 2023-12-13

Changed

• dusk-bls12_381 -> 0.13
• dusk-jubjub -> 0.14

v0.17.0

0.17.0 - 2023-11-1

Added

• Add JubJubScalarMalformed error [#784]
• Add blinding factors to the quotient polynomial [#773]

Changed

• Update criterion dev-dependency to 0.5
• Fix clippy warnings [#774]
• Rename composer::Polynomial to composer::Arithmetization
• Rename fft::{Polynomial as FftPolynomial} to fft::Polynomial

v0.16.0

0.16.0 - 2023-10-11

Added

• Add size method to the Circuit trait [#767]
• Add ff dependency

Removed

• Remove PublicParameters from parameters for circuit compression [#767]
• Remove canonical and canonical_derive dependency
• Remove canon feature

Changed

• update dusk-bls12_381 dependency to "0.12"
• update dusk-jubjub dependency to "0.13"

v0.15.0

Fixed

• Fix panic when creating proof for circuit with different circuit size [#760]
• Fix panic when testing in debug mode [#763]

Removed

• Remove 'setup' funcion from common test module [#763]

Changed

• Change range and logic component to be generic over the const BIT_PAIRS [#763]

v0.14.1

0.14.1 - 2022-06-28

Added

• Add compress to compiler [#752]

v0.14.0

Added

• Add and restructure tests for assert_equal_point [#725]
• Add and restructure tests for assert_equal_public_point [#727]
• Add and restructure tests for append_gate [#737]
• Add and restructure tests for assert_equal and assert_equal_constant [#733]
• Add and restructure tests for logic component [#734]
• Add and restructure tests for range component [#735]
• Add and restructure tests for boolean and select components [#731]
• Add tests for gate_add and gate_mul [#736]
• Add and restructure tests for component_decomposition [#738]

Removed

• Remove bit_iterator macro [#632]

Fixed

• Fix negation of public input values when using composer.append_public [#717]
• Fix assert_equal_point method [#720]
• Fix negation of constant in append_equal_constant [#728]
• Fix negation of public point coordinates in assert_equal_public_point [#728]
• Fix ProverKey::serialization_size and number of coefficients in a constraint [#743]
• Fix range gate for bit_num = 0 [#746]