Do you have a source on Tor being funded by the CIA?
It's disingenuous to say that Tor reacted only after being deanonymized personally:
1. It was well known that Nick Mathewson worked for Tor long before this attack.
2. Tor added code that allowed them to detect the attack before they knew their IPs were deanonymized: that's the only way they found out their IPs were deanonymized.
