pub fn generate_proof_for_operations(
        &self,
        operations: &Vec<Operation>,
    ) -> Result<(SerializedAdProof, ADDigest)> {
        let mut new_prover = BatchAVLProver::new(self.base.tree.clone(), false);
        for op in operations.iter() {
            new_prover.perform_one_operation(op)?;
        }
        Ok((new_prover.generate_proof(), new_prover.digest().unwrap()))
    }
///
/// Generates the proof for all the operations in the list.
/// Does NOT modify the tree
////
Generates the proof for all the operations in the list.
Does NOT modify the tree
Generates the proof for all the operations in the list . Does NOT modify the tree
pub fn generate_proof_for_operations(
        &self,
        operations: &Vec<Operation>,
    ) -> Result<(SerializedAdProof, ADDigest)> {
        let mut new_prover = BatchAVLProver::new(self.base.tree.clone(), false);
        for op in operations.iter() {
            new_prover.perform_one_operation(op)?;
        }
        Ok((new_prover.generate_proof(), new_prover.digest().unwrap()))
    }
pub fn generate_proof_for_operations ( & self , operations : & Vec < Operation > , ) -> Result < ( SerializedAdProof , ADDigest ) > { let mut new_prover = BatchAVLProver :: new ( self . base . tree . clone ( ) , false ) ; for op in operations . iter ( ) { new_prover . perform_one_operation ( op ) ? ; } Ok ( ( new_prover . generate_proof ( ) , new_prover . digest ( ) . unwrap ( ) ) ) }
Generates the proof for all the operations in the list.
Generates the proof for all the operations in the list .
&self
operations
&Vec<Operation>
&self
operations
&Vec<Operation>