Method is_valid

bbs_plus/src/setup.rs:525–527

Check that all group elements are non-zero (returns false if any element is zero). A verifier on receiving these parameters must first check that they are valid and only then use them for any signature or proof of knowledge of signature verification.

(&self)

    /// A verifier on receiving these parameters must first check that they are valid and only
    /// then use them for any signature or proof of knowledge of signature verification.
    pub fn is_valid(&self) -> bool {
        !(self.g1.is_zero() || self.g2.is_zero() || cfg_iter!(self.h).any(|v| v.is_zero()))
    }

    impl_sig_params_prepared_bbs23!(G1Affine, G1);
}