adds sparse merkle tree to the stdlib

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

Hide file tree

Showing 6 changed files with 710 additions and 1 deletion.
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;