Knowledge with Online Extractors -- A Formal Treatment of Onion Routing -- Simple and