PolyOps interpolate columns refactor

[jarnesino]

This PR introduces a new PolyOps trait function allows any backend to optimize interpolations of many columns.

---

This change is 

[ohad-starkware]

Reviewed all commit messages.
Reviewable status: 0 of 2 files reviewed, 3 unresolved discussions (waiting on @jarnesino)

---

crates/prover/src/core/pcs/prover.rs line 174 at r1 (raw file):

        let span = span!(Level::INFO, "Interpolation for commitment").entered();
        let polys: Vec<CirclePoly<B>> =
            B::interpolate_columns(columns, self.commitment_scheme.twiddles);

Suggestion:

        let polys = B::interpolate_columns(columns, self.commitment_scheme.twiddles);

---

crates/prover/src/core/poly/circle/ops.rs line 31 at r1 (raw file):

    /// Computes minimal polynomials that evaluate to the same values as each evaluation in `columns`.
    /// Used by the [`TreeBuilder::extend_evals()`] function.

discussed with team,
this doc is redundant; 'interpolate' is clear enough.

Code quote:

    /// Computes minimal polynomials that evaluate to the same values as each evaluation in `columns`.
    /// Used by the [`TreeBuilder::extend_evals()`] function.

---

crates/prover/src/core/poly/circle/ops.rs line 38 at r1 (raw file):

        columns
            .into_iter()
            .map(|eval| eval.interpolate_with_twiddles(&twiddles))

clippy hates the ref
try to run scripts/clippy.sh

Suggestion:

.map(|eval| eval.interpolate_with_twiddles(twiddles))

[jarnesino]

Reviewed all commit messages.
Reviewable status: 0 of 2 files reviewed, 3 unresolved discussions (waiting on @jarnesino)

crates/prover/src/core/pcs/prover.rs line 174 at r1 (raw file):

        let span = span!(Level::INFO, "Interpolation for commitment").entered();
        let polys: Vec<CirclePoly<B>> =
            B::interpolate_columns(columns, self.commitment_scheme.twiddles);

Suggestion:

        let polys = B::interpolate_columns(columns, self.commitment_scheme.twiddles);

crates/prover/src/core/poly/circle/ops.rs line 31 at r1 (raw file):

    /// Computes minimal polynomials that evaluate to the same values as each evaluation in `columns`.
    /// Used by the [`TreeBuilder::extend_evals()`] function.

discussed with team, this doc is redundant; 'interpolate' is clear enough.

Code quote:

    /// Computes minimal polynomials that evaluate to the same values as each evaluation in `columns`.
    /// Used by the [`TreeBuilder::extend_evals()`] function.

crates/prover/src/core/poly/circle/ops.rs line 38 at r1 (raw file):

        columns
            .into_iter()
            .map(|eval| eval.interpolate_with_twiddles(&twiddles))

clippy hates the ref try to run scripts/clippy.sh

Suggestion:

.map(|eval| eval.interpolate_with_twiddles(twiddles))

Changes made.
Thanks for the comments!

[shaharsamocha7]

Reviewed 2 of 2 files at r2, all commit messages.
Reviewable status: all files reviewed, 3 unresolved discussions (waiting on @jarnesino and @ohad-starkware)

I reviewed it instead