Method check_elems

poly-commit/src/sonic_pc/mod.rs:94–133

(
        combined_comms: BTreeMap<Option<usize>, E::G1>,
        combined_witness: E::G1,
        combined_adjusted_witness: E::G1,
        vk: &VerifierKey<E>,
    )

    }

    fn check_elems(
        combined_comms: BTreeMap<Option<usize>, E::G1>,
        combined_witness: E::G1,
        combined_adjusted_witness: E::G1,
        vk: &VerifierKey<E>,
    ) -> Result<bool, Error> {
        let check_time = start_timer!(|| "Checking elems");
        let mut g1_projective_elems: Vec<E::G1> = Vec::new();
        let mut g2_prepared_elems: Vec<E::G2Prepared> = Vec::new();

        for (degree_bound, comm) in combined_comms.into_iter() {
            let shift_power = if let Some(degree_bound) = degree_bound {
                vk.get_shift_power(degree_bound)
                    .ok_or(Error::UnsupportedDegreeBound(degree_bound))?
            } else {
                vk.prepared_h.clone()
            };

            g1_projective_elems.push(comm);
            g2_prepared_elems.push(shift_power);
        }

        g1_projective_elems.push(-combined_adjusted_witness);
        g2_prepared_elems.push(vk.prepared_h.clone());

        g1_projective_elems.push(-combined_witness);
        g2_prepared_elems.push(vk.prepared_beta_h.clone());

        let g1_prepared_elems_iter: Vec<E::G1Prepared> =
            E::G1::normalize_batch(g1_projective_elems.as_slice())
                .into_iter()
                .map(|a| a.into())
                .collect::<Vec<_>>();

        let is_one: bool = E::multi_pairing(g1_prepared_elems_iter, g2_prepared_elems)
            .0
            .is_one();
        end_timer!(check_time);
        Ok(is_one)
    }
}

impl<E, P> PolynomialCommitment<E::ScalarField, P> for SonicKZG10<E, P>