I'm assuming that the problem for Github is that they can't reliably know which of the contributors are "currently part of" TornadoCash and which ones are unrelated people who just contributed code some time ago, and since they absolutely must block the former, in the case of uncertainty the only safe option was to block everyone who seems related.
None of the Tornado developers are anonymous. They are all well known and respected members of the security/privacy community, and I have personally hung out with them multiple times in the US at public events, where they often speak etc. This isn't some shadowy cabal, they are programmers and mathematicians who think sometimes people might not want the world to see where they are spending their money. Crazy right?
> ...they are programmers and mathematicians who think sometimes people might not want the world to see where they are spending their money. Crazy right?
The IRS and bodies responsible for enforcing laws like those against "funding terror" (remember that?) certainly think that is crazy.
