Function executive_state::prove_transaction_virtual

pub fn prove_transaction_virtual<H: AsHashDB<KeccakHasher, DBValue> + Send + Sync>(
    db: H, 
    root: H256, 
    transaction: &SignedTransaction, 
    mashina: &Machine, 
    env_info: &EnvInfo, 
    factories: Factories
) -> Option<(Bytes, Vec<DBValue>)>

Prove a virtual transaction on the given state. Returns None when the transaction could not be proved, and a proof otherwise.