Function verify_lower_bound

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