feat: implement no child included single path node circuit

Lagrange-Labs · Aug 14, 2024 · 9798021 · 9798021
1 parent 99c9419
commit 9798021
Show file tree

Hide file tree

Showing 2 changed files with 417 additions and 0 deletions.
diff --git a/verifiable-db/src/results_tree/extraction/mod.rs b/verifiable-db/src/results_tree/extraction/mod.rs
@@ -3,6 +3,7 @@ use public_inputs::PublicInputs;
 
 pub(crate) mod child_included_single_path_node;
 pub(crate) mod full_node;
+pub(crate) mod no_child_included_single_path_node;
 pub(crate) mod partial_node;
 pub(crate) mod public_inputs;
 pub(crate) mod record;