execution_proof_check

tp_state_machine

Function execution_proof_check 

Source 
pub fn execution_proof_check<H, N, Exec, Spawn>(
    root: H::Out,
    proof: StorageProof,
    overlay: &mut OverlayedChanges,
    exec: &Exec,
    spawn_handle: Spawn,
    method: &str,
    call_data: &[u8],
    runtime_code: &RuntimeCode<'_>,
) -> Result<Vec<u8>, Box<dyn Error>>
where
    H: Hasher,
    Exec: CodeExecutor + Clone + 'static,
    H::Out: Ord + 'static + Codec,
    N: BlockNumber,
    Spawn: SpawnNamed + Send + 'static,
Expand description

Check execution proof, generated by prove_execution call.