[tor-dev] future-proofing by combining ciphers (was: Draft sketch document with ideas for future crypto ops)