///
/// Synchronize storage with prover's state
///
/// @param prover - prover to synchronize storage with
/// @return
///
/// ignoring additionalData
Synchronize storage with prover's state
Synchronize storage with prover ' s state
fn update(
        &mut self,
        prover: &mut BatchAVLProver,
        _additional_data: Vec<(ADKey, ADValue)>,
    ) -> Result<()> {
        let new_digest = prover.digest().unwrap();
        assert!(self
            .v
            .as_ref()
            .filter(|v| v.len() != new_digest.len())
            .is_none()); // Incorrect digest length
        self.v = Some(new_digest.clone());
        self.saved_nodes
            .insert(new_digest, (prover.top_node(), prover.get_tree().height));
        Ok(())
    }
fn update ( & mut self , prover : & mut BatchAVLProver , _additional_data : Vec < ( ADKey , ADValue ) > , ) -> Result < ( ) > { let new_digest = prover . digest ( ) . unwrap ( ) ; assert ! ( self v as_ref ( ) filter ( v v len ( ) new_digest len ( ) ) is_none ( ) ) ; // Incorrect digest length self . v = Some ( new_digest . clone ( ) ) ; self . saved_nodes . insert ( new_digest , ( prover . top_node ( ) , prover . get_tree ( ) . height ) ) ; Ok ( ( ) ) }
Synchronize storage with prover's state
Synchronize storage with prover ' s state
&mut self
prover
&mut BatchAVLProver
prover to synchronize storage with
prover to synchronize storage with
_additional_data
Vec<(ADKey, ADValue)>
return

ignoring
None