https://www.rt.com/usa/420219-tor-us-government-funded-bbg/
Back in the late aughts a user claimed to have found some extremely suspicious activity:
https://web.archive.org/web/20070515180447/http://jadeserpen...
Some folks get emotionally invested in tor and get really bent out of shape when you bring this up. You will hear silly arguments about open source code as if that was any kind of guarantee about what’s running on a server you can’t inspect. Or maybe according to some explainer they read, its secrecy is unbreakable, despite that correlation attacks on the protocol have been known for years.