A proof useful for Lattice statements (and secure with only Lattice assumptions or at least post-quantum plausible assumptions).
A proof useful for Lattice statements (and secure with only Lattice assumptions or at least post-quantum plausible assumptions).