From 81969f00e89f9d2801e41d34be11473bf07aa891 Mon Sep 17 00:00:00 2001 From: M Berger <76954195+tessico@users.noreply.github.com> Date: Thu, 15 Dec 2022 16:24:00 +0100 Subject: [PATCH] Add missing changelog for MerkleTreeGadget refactor (#163) --- CHANGELOG.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index f26efd87f..e6deb0b98 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -45,6 +45,12 @@ and follow [semantic versioning](https://semver.org/) for our releases. - [#148](https://github.com/EspressoSystems/jellyfish/pull/148), [#156](https://github.com/EspressoSystems/jellyfish/pull/156) (`jf-primitives`) Refactored BLS Signature implementation - #148 Added trait bounds on associated types of `trait SignatureScheme` - #156 Improved BLS correctness and API compliance with IRTF standard with better doc +- [#158](https://github.com/EspressoSystems/jellyfish/pull/158) (`jf-primitives`) Refactored `MerkleTreeGadget` API: + - Generic only over `MerkleTreeScheme`. + - New methods for allocating variables: `create_leaf_variable`, `create_membership_proof_variable`, `create_root_variable`. + - New methods for enforcing constraints: `is_member` and `enforce_merkle_proof`. + - Move the remaining methods to the internals of circuit implementation for `RescueMerkleTree`. + - Implement `MerkleTreeGadget` for `RescueMerkleTree`. ### Fixed