Lattice-Based Zero-Knowledge Proofs and Applications: Shorter, Simpler, and More General BLOOM: Bimodal Lattice One-Out-of-Many Proofs and Applications CFAIL 2023 Theme Song