INNER CODE UNIT · Rust

check

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

    fn check<'a>(
        vk: &Self::VerifierKey,
        commitments: impl IntoIterator<Item = &'a LabeledCommitment<Self::Commitment>>,
        point: &'a P::Point,
        values: impl IntoIterator<Item = F>,
        proof: &Self::Proof,
        sponge: &mut impl CryptographicSponge,
        rng: Option<&mut dyn RngCore>,
    ) -> Result<bool, Self::Error>
    where
        Self::Commitment: 'a;

    /// Open several polynomials at one or more points each (possibly different
    /// for each polynomial). Each entry in the in the query set of points
    /// contains the label of the polynomial which should be queried at that
    /// point.
    ///
    /// Behaviour is undefined if `query_set` contains the entries with the

View source record →