Provable lattice reduction of ℤ^n with blocksize n /2

The Lattice Isomorphism Problem (LIP) is the computational task of recovering, assuming it exists, an orthogonal linear transformation sending one lattice to another. For cryptographic purposes, the case of the trivial lattice ℤ^n is of particular interest ( ℤ LIP). Heuristic analysis suggests that the BKZ algorithm with blocksize β = n/2 + o(n) solves such instances (Ducas, Postlethwaite, Pulles, van Woerden, ASIACRYPT 2022). In this work, I propose a provable version of this statement, namely, that ℤ LIP can indeed be solved by making polynomially many calls to a Shortest Vector Problem oracle in dimension at most n/2 + 1 .