Fri lat layer using coeffs

[spapinistarkware]

This change is 

[spapinistarkware]

Current dependencies on/for this PR:

• Fri lat layer using coeffs #391 👈
• LinePoly backend #350 : 1 other dependent PR (#352 )
• dev

This stack of pull requests is managed by Graphite.

[shaharsamocha7]

Reviewed 1 of 1 files at r1, all commit messages.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @spapinistarkware)

---

src/core/fri.rs line 79 at r1 (raw file):

    config: FriConfig,
    inner_layers: Vec<FriLayerProver<H>>,
    last_layer_coeffs: Vec<SecureField>,

Should we add a comment about the order of the coeffs?

Code quote:

last_layer_coeffs: Vec<SecureField>,

---

src/core/fri.rs line 189 at r1 (raw file):

    /// The layer is committed to by sending the verifier all the coefficients of the remaining
    /// polynomial.
    ///

Add a doc about the return value

Code quote:

///

[spapinistarkware]

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @shaharsamocha7)

---

src/core/fri.rs line 189 at r1 (raw file):

Previously, shaharsamocha7 wrote…

Add a doc about the return value

Done.