Fix off-by-one error in AOCL membership verification test

This closes #54.
Neptune-Crypto · Sep 25, 2023 · 45e9d7a · 45e9d7a
1 parent 6db39fa
commit 45e9d7a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/benchmarks/tasm_neptune_transaction_verify_aocl_membership.json b/benchmarks/tasm_neptune_transaction_verify_aocl_membership.json
@@ -1,9 +1,9 @@
 [
   {
     "name": "tasm_neptune_transaction_verify_aocl_membership",
-    "clock_cycle_count": 819,
+    "clock_cycle_count": 849,
     "hash_table_height": 36,
-    "u32_table_height": 116,
+    "u32_table_height": 112,
     "case": "CommonCase"
   },
   {

diff --git a/src/models/blockchain/transaction/validity/tasm/verify_aocl_membership.rs b/src/models/blockchain/transaction/validity/tasm/verify_aocl_membership.rs
@@ -194,7 +194,7 @@ impl Function for VerifyAoclMembership {
         std::collections::HashMap<BFieldElement, BFieldElement>,
     ) {
         let mut rng: StdRng = SeedableRng::from_seed(seed);
-        let num_leafs = rng.gen_range(0..100);
+        let num_leafs = rng.gen_range(1..100);
         let leafs = (0..num_leafs).map(|_| rng.gen::<Digest>()).collect_vec();
         let mmr = get_rustyleveldb_ammr_from_digests::<Hash>(leafs);