Non-circuit version

This commit is contained in:
Daniel Lubarov 2021-04-06 19:22:12 -07:00
parent e8eb658f8e
commit 9a8a7b6105

View File

@ -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,