Some people keep posting rubbish like theymos can not lift the ban anytime soon because of Tornado Cash sanction that was lifted but I was not asking them such question.
The question I want to ask is that are decentralized mixers among. I mean in the court case. Tornado cash is not for bitcoin but at least it is still a mixer but decentralized. Or theymos is referring to only centralized mixers?
When in doubt, just re-read theymos definition of mixer. So if i understand how Tornado Cash works, then it doesn't fulfill requirements number 2.
--snip--
2. It is possible for the mixer to steal property passing through it. Assume that the sender does everything as correctly as possible. Also assume that no miners/verifiers on the base-layer cryptocurrency are evil. But assume that every other actor involved is evil (everyone able to vote in a DAO, every coordination server, every counterparty, every member of a multisig, etc.). Ignore short-term software bugs which are expected to be quickly fixed.
--snip--
Thanks for this good post. How theymos categorize both centralized and decentralized mixers has been the reason I ask a question on this thread if decentralized mixers will also count because theymos differentiated them during the campaign ban. I think those centralized mixers have no legal issues that they are facing right now. Chipmixer, Sinbad and others that have been taken down are beyond coming back and have no legal case to win is what I think.