pub fn verify_lower_bound<const N: usize, const D: usize>( projection: ProjectionVector<N, D>, beta_squared: Zq, ) -> bool