Tor, the system for anonymizing Internet traffic by routing it through a succession of “onion” routers, has been compromised. In the lab. Using a previously-known exploit. One that has yet to be seen in the wild. And one that was researched in consultation with Tor developers.