Function executive_state::check_proof

pub fn check_proof(
    proof: &[DBValue], 
    root: H256, 
    transaction: &SignedTransaction, 
    mashina: &Machine, 
    env_info: &EnvInfo
) -> ProvedExecution

Check the given proof of execution. Err(ExecutionError::Internal) indicates failure, everything else indicates a successful proof (as the transaction itself may be poorly chosen).