[tor-dev] Shor's Algorithm meets Lattices