Function to_batch

Source

fn to_batch<'b, const FULL_ROUNDS: usize, G, EFqSponge, EFrSponge, OpeningProof: OpenProof<G, FULL_ROUNDS>>(
    verifier_index: &VerifierIndex<FULL_ROUNDS, G, OpeningProof::SRS>,
    proof: &'b ProverProof<G, OpeningProof, FULL_ROUNDS>,
    public_input: &[<G as AffineRepr>::ScalarField],
) -> Result<BatchEvaluationProof<'b, G, EFqSponge, OpeningProof, FULL_ROUNDS>>where
    G: KimchiCurve<FULL_ROUNDS>,
    G::BaseField: PrimeField,
    EFqSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField, FULL_ROUNDS>,
    EFrSponge: FrSponge<G::ScalarField> + From<&'static ArithmeticSpongeParams<G::ScalarField, FULL_ROUNDS>>,

to_batch

Function to_batch Copy item path

Function to_batch