Function ethcore::state::prove_transaction

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

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