Tornado is flagrantly mixing with known offenders, and even indicated them as such in the UI.
The contracts are permissionless. Any Ethereum account can call the "deposit" function. That same account can generate a zk-proof of the deposit. Any Ethereum account can withdraw, provided they have a proof of deposit.
The proof of deposit could be communicated in any number of ways that have nothing to do with Tornado Cash - mail, email, Signal, whatever.
If the account into which you are receiving a withdrawal doesn't have money to pay for the transaction, you can send your proof to a relayer who submits the transaction for a portion of the withdrawal amount. Because it's a zero-knowledge proof, the relayer does not know which account made the initial deposit.
The whole system is private and permissionless. I don't know what Tornado Cash could do other than simply indicating that a known bad actor made a deposit.
Not exist.
Like, this is the fundamental disjoint between this complaint and reality. "Your system behaves enough like a pattern that is core to how society works" is the filter here, not "have I cleverly designed it to not perfectly fit the pattern". The law isn't applied via robot.
Does that mean the creator of the mathematical concept and the code should be punished?
I understand what you are saying, though. My complaint is really that the authorities are willing to stifle such radical innovation to continue to maintain control. Even that shouldn't be a surprise, but I continue to feel outrage when I see this kind of thing.
