Aggarwal, Dadush, Regev, and Stephens-Davidowitz (ADRS) gave a 2n+o(n)2^{n+o(n)} time algorithm for the Shortest Vector Problem (SVP) based on discrete Gaussian sampling (DGS), together with an honest sampler producing 2n/22^{n/2} samples above the smoothing parameter in 2n/2+o(n)2^{n/2+o(n)} time and space. Gao, Feng, and Hu (GFH) subsequently introduced DGS on random prime-index superlattices, making this sampler available at the shortest vector scale and obtaining a 20.7314n+o(n)2^{0.7314n+o(n)} time algorithm. In a different direction, the Becker--Ducas--Gama--Laarhoven (BDGL) sieve uses spherical product codes to find correlated pairs and runs in 20.2925n+o(n)2^{0.2925n+o(n)} time under the random list heuristic.

We combine the random superlattice DGS framework with a single BDGL product code decoding layer. The algorithm splits the DGS output into two lists. For a fixed shortest vector vv, the Gaussian midpoint identity turns the event X−Y=vX-Y=v into a birthday event, while equal quotient labels certify that the reported difference belongs to the input lattice. The product code decoder locates the corresponding pair without enumerating all pairwise differences.

Our analysis makes no random list assumption. For a fixed shortest vector vv, once the retained lists contain a pair x,yx,y with x−y=vx-y=v, the BDGL product code finds that pair with high probability. We extend the product code analysis so that this guarantee is compatible with the claimed time and space bounds. A centered quotient line gives a 20.5822n+o(n)2^{0.5822n+o(n)} time algorithm. We then replace the line through the zero residue with a random affine translate. This lets us target a rarer midpoint shell. As a result, we obtain a randomized classical algorithm for SVP that runs in 20.5596n+o(n)2^{0.5596n+o(n)} time and uses 2n/2+o(n)2^{n/2+o(n)} space.