Function sp_state_machine::execution_proof_check_on_trie_backend

pub fn execution_proof_check_on_trie_backend<H, Exec, Spawn>(
    trie_backend: &TrieBackend<MemoryDB<H>, H>,
    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,
    H::Out: Ord + 'static + Codec,
    Exec: CodeExecutor + Clone + 'static,
    Spawn: SpawnNamed + Send + 'static,

Check execution proof on proving backend, generated by prove_execution call.

Examples found in repository

src/lib.rs (lines 605-613)

	pub fn execution_proof_check<H, 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 + 'static,
		Exec: CodeExecutor + Clone + 'static,
		H::Out: Ord + 'static + codec::Codec,
		Spawn: SpawnNamed + Send + 'static,
	{
		let trie_backend = create_proof_check_backend::<H>(root, proof)?;
		execution_proof_check_on_trie_backend::<_, _, _>(
			&trie_backend,
			overlay,
			exec,
			spawn_handle,
			method,
			call_data,
			runtime_code,
		)
	}