Function verify_upper_bound

Source
pub fn verify_upper_bound(
    projection: ProjectionVector,
    beta_squared: Zq,
) -> bool