The Bounded-Systems-Theory Empirical Test
The 2013 Snowden disclosures provided primary-source evidence for the engine s BST application to Tor. Internal NSA presentations — notably the "Tor Stinks" June 2012 slide deck — revealed: NSA cannot break Tor s underlying mathematics comprehensively.