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