From 9a8a7b610583a2373fb01b76422fa4cce34c825f Mon Sep 17 00:00:00 2001
From: Daniel Lubarov <daniel@lubarov.com>
Date: Tue, 6 Apr 2021 19:22:12 -0700
Subject: [PATCH] Non-circuit version

---
 src/gadgets/merkle_proofs.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/gadgets/merkle_proofs.rs b/src/gadgets/merkle_proofs.rs
index 97f2ba2b..94abb0e1 100644
--- a/src/gadgets/merkle_proofs.rs
+++ b/src/gadgets/merkle_proofs.rs
@@ -12,6 +12,14 @@ pub struct MerkleProofTarget {
     pub siblings: Vec<Target>,
 }
 
+pub(crate) fn verify_merkle_proof<F: Field>(
+    leaf_index: usize,
+    leaf_data: Vec<F>,
+    proof: MerkleProof<F>,
+) {
+    todo!()
+}
+
 impl<F: Field> CircuitBuilder<F> {
     pub(crate) fn verify_merkle_proof(
         &mut self,