Proof for a tx by computing path to the merkle root