pub fn batch_dlog_accumulator_check<G: CommitmentCurve>(
urs: &SRS<G>,
comms: &[G],
chals: &[G::ScalarField],
) -> bool
pub fn batch_dlog_accumulator_check<G: CommitmentCurve>(
urs: &SRS<G>,
comms: &[G],
chals: &[G::ScalarField],
) -> bool