Debates with smooth sometimes really help me clarify my own designs.
Some transactions are unwound. Unwinding less transactions by being able to segregate transactions in the attacked fork and add to the non-attacked fork those which are not downstream from a double-spend or stolen coinbase afaics doesn't decrease fungibility? Rather it aids a potential political consensus to choose the non-attacked fork.
It does because you are imposing traceability, and with traceability comes the threat of blacklists or whitelists.
That is a risk but doesn't necessarily follow because afaics to absolutely enforce it you must be able to regulate or control the miners.
Also lack of traceability doesn't mean there can't be blacklists or whitelists. The crackdown could even cause people not to mix their coins since mixing with a delisted coin could delist the entire anonymity set.
Also perhaps you can imagine a coin design that was unlinkable because every transaction only had one input and one output. But it would have very high overhead. It would remain traceable.
The point I am making here is that anonymous coins need to be very resistant to fork attacks, because long duration forks are more intractable to recover from.
And my other salient point was that checkpoints can be an illusion.
Also with the resolution of any double spend comes the judgement of which is the "correct" spend.
Not at least for the coinbase double-spends.
For the other double-spends, I had proposed they both get trashed, because with a crack on private keys only the attacker can double-spend his coins. Of course everyone downstream is penalized, but stolen money is stolen money (the alternative might be to split the value between all recipients).
Monero coinbases can't be spent or used used as mixes until they are unlocked (rather short now IMO, but will probably change that) so unless the fork is prolonged, and you are on it for a prolonged period of time, none of your spends will be mixed with coinbases nor with anything downstream of coinbases.
Analogously to tx fees, I don't think penalizing users is beneficial if it can be designed another way.
You also can't mix with an output you can't see, so the threat of chain replacement doesn't affect you as an innocent third party.
I don't understand. I am super hungry.
Once the chain replacement is noticed, most likely exchanges (at least the well-run ones) go frozen rather quickly, and again few if any transactions will be affected.
I believe only in decentralized exchanges for the future.
Again penalizing many users is not a design option I prefer.
With any coin you can certainly be downstream of a double spend with no real recourse. Lets say someone double spends to an exchange, and then you withdraw.
Again I see a future only with decentralized exchanges and thus not mixed risk, except for on chain anonymity mixes.
But moreover, I think much more important for anonymous coins to very sure they can't be fork attacked with much less than 50% of the hashrate.
What happens with a transparent or non-transaparent blockchain is that your withdraw from the exchange is unwound (when the other fork prevails) and the exchange is likely out a lot of coins and could go bankrupt. If not then they just reissue the withdraw transaction to you with some other coins.
A distinction is that with on chain transparency (i.e. decentralized exchanges) then there is no collectivized bankruptcy (other than cascade into anonymity set mixes).