refactor(PR #11): rework Merkle tree layer and error type, remove sled and pmtree utilities, migrate to pmtree v3, fix override_range bug, generic PmTree<D,H> struct for any persistent backend

.github/workflows/ci.yml

@@ -192,7 +192,7 @@ jobs:
         run: cargo install cargo-tarpaulin
       - name: Run coverage
         run: |
-          cargo tarpaulin --out Html --output-dir ./coverage -- --test-threads 1
+          cargo tarpaulin --engine llvm --timeout 300 --out Html --output-dir ./coverage -- --test-threads 1
       - name: Upload coverage reports
         uses: actions/upload-artifact@v7
         with:

rln-cli/src/examples/multi_message_id.rs

@@ -6,8 +6,8 @@ use std::{
 use clap::{Parser, Subcommand};
 use rln::prelude::{
     default_graph_multi, default_zkey_multi, hash_to_field_le, keygen, poseidon_hash,
-    ArkGroth16Backend, Fr, IdSecret, PmTree, PmTreeConfig, PoseidonHash, RLNBuilder,
-    RLNProofValues, RLNWitnessInput, RecoverSecret, Stateful, RLN,
+    ArkGroth16Backend, Fr, IdSecret, PmTree, PmTreeSledConfig, PoseidonHash, RLNBuilder,
+    RLNProofValues, RLNWitnessInput, RecoverSecret, SledDB, Stateful, RLN,
 };
 use zerokit_utils::merkle_tree::{Hasher, ZerokitMerkleProof, ZerokitMerkleTree};
 
@@ -61,14 +61,14 @@ impl Identity {
 }
 
 struct RLNSystem {
-    rln: RLN<Stateful<PmTree>, ArkGroth16Backend>,
+    rln: RLN<Stateful<PmTree<SledDB, PoseidonHash>>, ArkGroth16Backend>,
     used_nullifiers: HashMap<Fr, RLNProofValues>,
     local_identities: HashMap<usize, Identity>,
 }
 
 impl RLNSystem {
     fn new() -> Result<Self> {
-        let pm_tree_config: PmTreeConfig = r#"{
+        let pm_tree_config: PmTreeSledConfig = r#"{
             "path": "./database",
             "temporary": false,
             "cache_capacity": 1073741824,
@@ -78,7 +78,11 @@ impl RLNSystem {
             "tree_depth": 20
         }"#
         .parse()?;
-        let pm_tree = PmTree::new(TREE_DEPTH, PoseidonHash::default_leaf(), pm_tree_config)?;
+        let pm_tree = PmTree::<SledDB, PoseidonHash>::new(
+            TREE_DEPTH,
+            PoseidonHash::default_leaf(),
+            pm_tree_config,
+        )?;
         let rln = RLNBuilder::stateful()
             .tree(pm_tree)
             .graph(default_graph_multi().clone())

rln-cli/src/examples/relay.rs

@@ -8,13 +8,10 @@ use std::{
 use clap::{Parser, Subcommand};
 use rln::prelude::{
     graph_from_raw, hash_to_field_le, keygen, poseidon_hash, zkey_from_raw, ArkGroth16Backend, Fr,
-    IdSecret, PmTree, PmTreeConfig, PoseidonHash, RLNBuilder, RLNProofValues, RLNWitnessInput,
-    RecoverSecret, Stateful, RLN,
-};
-use zerokit_utils::{
-    merkle_tree::{Hasher, ZerokitMerkleProof, ZerokitMerkleTree},
-    pm_tree::Mode,
+    IdSecret, PmTree, PmTreeMode, PmTreeSledConfig, PoseidonHash, RLNBuilder, RLNProofValues,
+    RLNWitnessInput, RecoverSecret, SledDB, Stateful, RLN,
 };
+use zerokit_utils::merkle_tree::{Hasher, ZerokitMerkleProof, ZerokitMerkleTree};
 
 const MESSAGE_LIMIT: u32 = 1;
 
@@ -62,7 +59,7 @@ impl Identity {
 }
 
 struct RLNSystem {
-    rln: RLN<Stateful<PmTree>, ArkGroth16Backend>,
+    rln: RLN<Stateful<PmTree<SledDB, PoseidonHash>>, ArkGroth16Backend>,
     used_nullifiers: HashMap<Fr, RLNProofValues>,
     local_identities: HashMap<usize, Identity>,
 }
@@ -82,12 +79,12 @@ impl RLNSystem {
         }
         let zkey = zkey_from_raw(&resources[0])?;
         let graph = graph_from_raw(&resources[1], Some(TREE_DEPTH), None)?;
-        let pm_tree_config = PmTreeConfig::new()
+        let pm_tree_config = PmTreeSledConfig::new()
             .path("./database")
             .temporary(false)
             .cache_capacity(1073741824)
             .flush_every_ms(500)
-            .mode(Mode::HighThroughput)
+            .mode(PmTreeMode::HighThroughput)
             .use_compression(false)
             .build()?;
         let pm_tree = PmTree::new(TREE_DEPTH, PoseidonHash::default_leaf(), pm_tree_config)?;