Lattice-Based Zero-Knowledge Proofs Under A Few Dozen Kilobytes