INNER CODE UNIT · Rust

batch_open

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

    fn batch_open<'a>(
        ck: &Self::CommitterKey,
        labeled_polynomials: impl IntoIterator<Item = &'a LabeledPolynomial<F, P>>,
        commitments: impl IntoIterator<Item = &'a LabeledCommitment<Self::Commitment>>,
        query_set: &QuerySet<P::Point>,
        sponge: &mut impl CryptographicSponge,
        states: impl IntoIterator<Item = &'a Self::CommitmentState>,
        rng: Option<&mut dyn RngCore>,
    ) -> Result<Self::BatchProof, Self::Error>
    where
        P: 'a,
        Self::CommitmentState: 'a,
        Self::Commitment: 'a,
    {
        // The default implementation achieves proceeds by rearranging the queries in
        // order to gather (i.e. batch) all polynomials that should be queried at
        // the same point, then opening their commitments simultaneously with a
        // single call to `open` (per point)

View source record →