Method verify_using_randomized_mult_checker

schnorr_pok/src/partial.rs:170–186

Same as `Self::is_valid` except it uses `RandomizedMultChecker` to combine the scalar multiplication checks into a single

(
        &self,
        bases: Vec<G>,
        y: G,
        t: G,
        challenge: &G::ScalarField,
        missing_responses: BTreeMap<usize, G::ScalarField>,
        rmc: &mut RandomizedMultChec

    /// Same as `Self::is_valid` except it uses `RandomizedMultChecker` to combine the scalar multiplication checks into a single
    pub fn verify_using_randomized_mult_checker(
        &self,
        bases: Vec<G>,
        y: G,
        t: G,
        challenge: &G::ScalarField,
        missing_responses: BTreeMap<usize, G::ScalarField>,
        rmc: &mut RandomizedMultChecker<G>,
    ) -> Result<(), SchnorrError> {
        let full_resp = self.pre_verify(&bases, missing_responses)?;
        rmc.add_many(
            bases.into_iter().chain(iter::once(y)),
            full_resp.iter().chain(iter::once(&-*challenge)),
            t,
        );
        Ok(())
    }

    /// Get indices for which it does not have any response. These responses will be fetched from other protocols.
    pub fn get_missing_response_indices(&self) -> BTreeSet<usize> {