Skip to content

Latest commit

 

History

History
255 lines (149 loc) · 5.98 KB

CHANGELOG.md

File metadata and controls

255 lines (149 loc) · 5.98 KB
Raw

Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

[Unreleased]

Added

  • Introduced a new type that unifies the Public Inputs PublicInputValue. #416
  • Impl padded_circuit_size for VerifierKey #351
  • Impl a generic method that can verify Proofs of any Circuit. #396

Removed

  • Removed previous implementations attached to PublicInputValues. #416
  • Deprecated anyhow and thiserror #343

Changed

  • Store the sparse repr of the PI and positions in a BTreeMap #427
  • Transcript Init and trim size are associated constants of the Circuit trait #351
  • Circuit trait now only requires padded_circuit_size for trimming. #351
  • Remove verify_proof & build_pi from Circuit. #396
  • Updated the native errors to all originate from the same enum

[0.5.1] - 02-02-21

Changed

  • Implement Clone for PublicParameters #383

[0.5.0] - 27-01-21

Changed

  • Upgrade canonical to v0.5 (#371)
  • Upgrade dusk-bls12_381 to v0.6
  • Upgrade dusk-jubjub to v0.8

[0.4.0] - 26-01-21

Fixed

  • Heavy data structures from unchecked #332

Changed

  • Refactored to/from_bytes criteria for some structs (#333)
  • API breaking - Implement to/from unchecked bytes for public parameters (#332)

[0.3.6] - 17-12-20

Added

  • To/From bytes impl for PublicInput.

Changed

  • Changed compute_permutation_poly to simpler version.

[0.3.5] - 25-11-20

Changed

  • Changed Proof & ProofEvaluations byte conversion fn signatures.

Added

  • Implemented Canon for Proof.

[0.3.4] - 02-11-20

Changed

  • dusk-jubjub update to v0.5.0 with API renaming
  • dusk-bls12_381 update to v0.3.0 with API renaming

[0.3.3] - 02-11-20

Added

  • canon feature to manage Canon derivations usage in ecc libs.

Changed

  • dusk-jubjub update to v0.4.0
  • dusk-bls12_381 update to v0.2.0

[0.3.2] - 29-10-20

Changed

  • dusk-bls12_381 update to v0.1.5
  • dusk-jubjub update to v0.3.10
  • Fixes #311 - big_mul and big_mul_gate documentation nit.

[0.3.1] - 05-10-20

Added

  • Method to change the trim_params_size for the Circuit trait.

[0.3.0] - 05-10-20

Changed

  • Circuit trait API & usability improvements (#313)

[0.2.11] - 29-09-20

Changed

  • Now Circuit inputs are set in the circuit structure as Option<T>.
  • Make PublicInput::value() fn public.
  • Make pi_builder return Result<T>
  • Refactored examples for the Circuit trait impl according to the new changes.

Removed

  • Removed CircuitInputs from the crate.

[0.2.10] - 23-09-20

Added

  • Added CircuitBuilder trait and a example for it.

[0.2.9] - 11-09-20

Added

  • Added ProverKey & Verifierkey to the public API as exported types.

Changed

  • Use dusk-bls12_381 v0.1.4.
  • Use dusk-jubjub v0.3.8.

[0.2.8] - 25-08-20

Added

  • Add a variable_base_scalar_mul method using a variable base curve add gate.

Changed

  • ecc::scalar_mul now named fixed_base_scalar_mul

[0.2.7] - 13-08-20

Added

  • Anyhow & thiserror for error handling support.
  • Serialisation methods for the crate public structures & serde support.
  • Add a variable_base_scalar_mul method using a variable base curve add gate.

Removed

  • failure for error support since has been deprecated.

Changed

  • add_witness_to_circuit_description requires now just to send a Scalar and returns a constant & constrained witness Variable.
  • Update add_witness_to_circuit_description fn sig (#282, #284)
  • dusk-jubjub version updated to 0.3.6
  • ecc::scalar_mul now named fixed_base_scalar_mul

[0.2.6] - 03-08-20

Changed

  • Make public inputs vector publicly accessible.

[0.2.5] - 31-07-20

Changed

  • ECC Point from ecc:scalar_mul should have its attributes exposed.

[0.2.4] - 29-07-20

Changed

  • Changed dusk-jubjub version to v0.3.5 to fix Fr random gen.

[0.2.3] - 28-07-20

Changed

  • Changed dusk-jubjub version to v0.3.4 to update dhke generation.

[0.2.2] - 25-07-20

Added

  • Method to create constrained witness values. @CPerezz

Changed

  • Visibility of the Proof::verify() fn to pub(crate). @CPerezz
  • Changed dusk-jubjub version to v0.3.3 since v0.3.2 was yanked.

[0.2.1] - 24-07-20 [yanked]

Added

  • Method to create constrained witness values. @CPerezz

Changed

  • Visibility of the Proof::verify() fn to pub(crate). @CPerezz

[0.2.0] - 20-07-20

Added

  • Prover and Verifier abstraction @kevaundray
  • Error handling and custom errors @CPerezz
  • Add prelude file @CPerezz
  • Add identity separation challenge to each identity. @kevaundray
  • Decouple Prover and Verifier Key @kevaundray
  • Remove Preprocessed circuit @kevaundray
  • Implement ECC gate @kevaundray
  • Add math-related docs @Bounce23
  • Add identity separation challenge to each identity @kevaundray

Changed

  • Widget splitting to modularize the codebase @kevaundray

Fixed

  • Bug in "front-end" assertions in logic_constraint gates @CPerezz
  • Broken links in the docs @CPerezz

Removed

  • Serde support for the time being.

[0.1.0] - 25-04-20

Added

  • PLONK algorithm implementation.
  • Example folders.
  • Doc notes with kateX.
  • KZG10 polynomial commitment scheme implementation.
  • fft module with Polynomial ops implemented.
  • Proof system module.