fn add_lagrange_basis_with_cache<G: CommitmentCurve, C: LagrangeCache<G>>(
srs: &SRS<G>,
domain: Radix2EvaluationDomain<G::ScalarField>,
cache: &C,
)fn add_lagrange_basis_with_cache<G: CommitmentCurve, C: LagrangeCache<G>>(
srs: &SRS<G>,
domain: Radix2EvaluationDomain<G::ScalarField>,
cache: &C,
)