Not a bad assessment of the situation. I'm not sure Zerocoin is a bandoned though. it went open source may 27th i think. That means its out there for others to use in their coins not abandoned.