INNER CODE UNIT · Rust

check_combinations

arkworks-rs/poly-commit · poly-commit/src/lib.rs:489

    fn check_combinations<'a, R: RngCore>(
        vk: &Self::VerifierKey,
        linear_combinations: impl IntoIterator<Item = &'a LinearCombination<F>>,
        commitments: impl IntoIterator<Item = &'a LabeledCommitment<Self::Commitment>>,
        eqn_query_set: &QuerySet<P::Point>,
        eqn_evaluations: &Evaluations<P::Point, F>,
        proof: &BatchLCProof<F, Self::BatchProof>,
        sponge: &mut impl CryptographicSponge,
        rng: &mut R,
    ) -> Result<bool, Self::Error>
    where
        Self::Commitment: 'a,
    {
        // The default implementation does this by batch-checking each
        // batch-opening proof of polynomials appearing in those LC that were
        // queried at the same point, then computing the evaluations of each LC
        // using the proved polynomial evaluations.
        let BatchLCProof { proof, evals } = proof;

View source record →