pub fn lll_reduce(basis: &[Vec<i64>]) -> Vec<Vec<BigInt>>Expand description
LLL-reduce an integer lattice basis (the rows of basis), returning a reduced basis of the same
lattice with short, nearly-orthogonal vectors. Exact arithmetic throughout (Gram–Schmidt over the
rationals, size reduction with |μ| ≤ ½, the Lovász swap at δ = ¾), so the result is a certified
LLL-reduced basis. The first row is a short vector — for a lattice built to encode a cryptographic
weakness, that short vector is the leaked secret.