A Toolkit for Succinct Lattice-Based Zero Knowledge ProofsBeatrice BiasioliMadalina Bolboceanuet al.2026CCS 2026Conference paper