Re: [tor-dev] Shor's Algorithm meets Lattices