Here:
http://docdro.id/CXDq93aUpd.: in (1), there should be exp in the sum as well (so that the transition probabilities sum to 1). Already uploaded the corrected version to docdroid.
Thanks for the update. You described an interesting tip selection algorithm. Probably it makes a lot of sense. It makes lazy tips (nice term btw) less likely to be confirmed. However those lazy tips can still be connected to the recent part of the DAG by interested parties. I'm not sure though, that we are considering exactly the same scenario.
The first question. On fig. 1 you placed the second doublespending transaction not to the root of the parasitic subtangle but significantly higher. So the question is: is there a reason why the attacker would want to accumulate PoW not above but below the second doublespending transaction?
The second question. When the attacker reveals his parasitic subtangle, the resulting united tangle contains two contradicting transactions (the doublespends). And the second doublespend (included in the parasitic subtangle) has much more PoW confirming it. So is it just a matter of tip selection? Or should the first doublespend and all transactions depending on it be excluded from the DAG at this point?
P.S. "Excluded from the DAG" isn't the right phrase. I meant shouldn't they be excluded from candidates for confirmation, because they confirm the less confirmed doublespend?
I think there is no way to prevent the attacker to publish a parasite chain that contains a double-spend that,
at the moment, has more PoW in it than the legit tx. The idea is that the nodes won't select the attacker's tips, so his double-spend will eventually fall to limbo (and the legit tx will continue to gain weight),
even if it had initially more cumulative weight. For that exact reason, the nodes won't use the rule "confirm the more confirmed double-spend", it's rather "the tip that I found first has the priority".
Hope that answers all questions
