Exact ℓ_p-CVP reduced to Euclidean SVP in polynomial space
The reduction enables polynomial-space algorithms for exact ℓ_p-CVP using existing SVP solvers, with time bounds N^{N/(2e)+o(N)} for p=2.
9 stories, newest first · one card per story
The reduction enables polynomial-space algorithms for exact ℓ_p-CVP using existing SVP solvers, with time bounds N^{N/(2e)+o(N)} for p=2.
New algorithm solves discrete Gaussian sampling and shortest vector problem in (3/2)^{n/2+o(n)} time and (4/3)^{n/2+o(n)} space.
A refuted 2026 quantum-algorithm claim frames which assumptions would move and which deployed parameters would not.
The algorithm matches Lagrange-Gauss complexity at O(nT^2) and saves at least 2n multiplications per iteration.
A Kirchner–Fouque BKW variant solves bounded-error LWE subexponentially with near-linear samples.
Researchers certify a dependency-preserving upper bound of 2^-164.81 on honest decapsulation failure for ML-KEM-768 within an explicit ROM/CBD abstraction.
Researchers show colluding nodes in decentralized federated learning can reconstruct private updates despite secure aggregation, using lattice-based attacks tied to the Hidden Subset Sum Problem.
Proves upper bounds on k-irreducible unit vector set rates, yielding nearly tight asymptotics relevant to tuple lattice sieving in cryptanalysis.
Researchers show the published lattice-hardness proof for MIMO decoding fails, as Regev's LWE reduction structure does not carry over to non-modular MIMO.
Today 1.6K readers · 2.4K views · 776 reads · all time 189K views