adds sparse merkle tree to the stdlib

zksecurity · Jan 1, 2025 · 479c9c5 · 479c9c5
1 parent 6f8db33
commit 479c9c5
Show file tree

Hide file tree

Showing 7 changed files with 712 additions and 2 deletions.
diff --git a/src/stdlib/mod.rs b/src/stdlib/mod.rs
@@ -99,7 +99,7 @@ pub fn init_stdlib_dep<B: Backend>(
     server_mode: &mut Option<crate::server::ServerShim>,
 ) -> usize {
     // list the stdlib dependency in order
-    let libs = vec!["bits", "comparator", "multiplexer", "mimc", "int"];
+    let libs = vec!["bits", "comparator", "multiplexer", "mimc", "int" , "smt"];
 
     let mut node_id = node_id;