chore: lint

CHANGELOG.md

@@ -7,6 +7,9 @@
 - [BREAKING] Updated Winterfell dependency to v0.12 (#374).
 - Added debug-only duplicate column check in `build_subtree` (#378).
 - Filter out empty values in concurrent version of `Smt::with_entries` to fix a panic (#383).
+- Added property-based testing (proptest) and fuzzing for `Smt::with_entries` and `Smt::compute_mutations` (#385).
+- Sort keys in a leaf in the concurrent implementation of `Smt::with_entries`, ensuring consistency with the sequential version (#385).
+- Skip unchanged leaves in the concurrent implementation of `Smt::compute_mutations` (#385).
 
 ## 0.13.3 (2025-02-18)
 

Cargo.toml

@@ -93,4 +93,4 @@ cc = { version = "1.2", optional = true, features = ["parallel"] }
 glob = "0.3"
 
 [lints.rust]
-unexpected_cfgs = { level = "warn", check-cfg = ['cfg(fuzzing)'] }
+unexpected_cfgs = { level = "warn", check-cfg = ['cfg(fuzzing)'] }

src/merkle/smt/full/concurrent/tests.rs

@@ -473,7 +473,7 @@ fn test_smt_construction_with_entries_unsorted() {
         (RpoDigest::new([ONE, ONE, Felt::new(2_u64), ONE]), [ONE; 4]),
         (RpoDigest::new([ONE; 4]), [ONE; 4]),
     ];
-    let control = Smt::with_entries_sequential(entries.clone()).unwrap();
+    let control = Smt::with_entries_sequential(entries).unwrap();
     let smt = Smt::with_entries(entries).unwrap();
     assert_eq!(smt.root(), control.root());
     assert_eq!(smt, control);