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--