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