“Efficient Hybrid Exact/Relaxed Lattice Proofs and Applications to Rounding and VRFs” is accepted to appear at CRYPTO 2023 (CORE rank: A*)! See the full paper here