pub fn execution_proof_check_on_trie_backend<H, Exec>(
	trie_backend: &TrieBackend<MemoryDB<H>, H>,
	overlay: &mut OverlayedChanges,
	exec: &Exec,
	method: &str,
	call_data: &[u8],
) -> Result<Vec<u8>, Box<Error>>
where
	H: Hasher,
	Exec: CodeExecutor<H>,
	H::Out: Ord + HeapSizeOf,
{
	let mut sm = StateMachine {
		backend: trie_backend,
		changes_trie_storage: None as Option<&changes_trie::InMemoryStorage<H>>,
		offchain_ext: NeverOffchainExt::new(),
		overlay,
		exec,
		method,
		call_data,
		_hasher: PhantomData,
	};
	sm.execute_using_consensus_failure_handler::<_, NeverNativeValue, fn() -> _>(
		native_else_wasm(),
		false,
		None,
	).map(|(result, _, _)| result.into_encoded())
}
/// Check execution proof on proving backend, generated by `prove_execution` call.
Check execution proof on proving backend, generated by `prove_execution` call.
Check execution proof on proving backend generated by ` prove_execution ` call .
pub fn execution_proof_check_on_trie_backend<H, Exec>(
	trie_backend: &TrieBackend<MemoryDB<H>, H>,
	overlay: &mut OverlayedChanges,
	exec: &Exec,
	method: &str,
	call_data: &[u8],
) -> Result<Vec<u8>, Box<Error>>
where
	H: Hasher,
	Exec: CodeExecutor<H>,
	H::Out: Ord + HeapSizeOf,
{
	let mut sm = StateMachine {
		backend: trie_backend,
		changes_trie_storage: None as Option<&changes_trie::InMemoryStorage<H>>,
		offchain_ext: NeverOffchainExt::new(),
		overlay,
		exec,
		method,
		call_data,
		_hasher: PhantomData,
	};
	sm.execute_using_consensus_failure_handler::<_, NeverNativeValue, fn() -> _>(
		native_else_wasm(),
		false,
		None,
	).map(|(result, _, _)| result.into_encoded())
}
pub fn execution_proof_check_on_trie_backend < H , Exec > ( trie_backend : & TrieBackend < MemoryDB < H > , H > , overlay : & mut OverlayedChanges , exec : & Exec , method : & str , call_data : & [ u8 ] , ) -> Result < Vec < u8 > , Box < Error > > where H : Hasher , Exec : CodeExecutor < H > , H :: Out : Ord + HeapSizeOf , { let mut sm = StateMachine { backend : trie_backend , changes_trie_storage : None as Option < & changes_trie :: InMemoryStorage < H > > , offchain_ext : NeverOffchainExt :: new ( ) , overlay , exec , method , call_data , _hasher : PhantomData , } ; sm . execute_using_consensus_failure_handler :: < _ , NeverNativeValue , fn ( ) -> _ > ( native_else_wasm ( ) , false , None , ) . map ( | ( result , _ , _ ) | result . into_encoded ( ) ) }
Check execution proof on proving backend, generated by `prove_execution` call.
Check execution proof on proving backend generated by ` prove_execution ` call .
trie_backend
&TrieBackend<MemoryDB<H>, H>
overlay
&mut OverlayedChanges
exec
&Exec
method
&str
call_data
&[u8]
trie_backend
&TrieBackend<MemoryDB<H>, H>
overlay
&mut OverlayedChanges
exec
&Exec
method
&str
call_data
&[u8]