Optimize poly folding

[andrewmilson]

This change is 

[andrewmilson]

• Change stwo_cairo_verifier:: to crate:: #185 : 2 dependent PRs (#186 , #191 )
• Remove pow function #184
• Implement Serde on StarkProof #164
• Update Cairo to version 2.8.4 #174
• Optimize hash_node #163
• Optimize poly folding #162 👈 (View in Graphite)
• Implement batch_inverse on M31,CM31 #137 : 1 other dependent PR (#138 )
• Optimize Coset::at #135
• Refactor FriVerifier::decommit_inner_layers #134
• Add README for cairo verifier #153
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[ilyalesokhin-starkware]

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

---

stwo_cairo_verifier/src/poly/line.cairo line 259 at r1 (raw file):

            .subline_evals {
                let x_inv = domain_initials_inv.pop_front().unwrap();
                let f_at_x = *eval.values[0];

can you use pop_front?

Code quote:

  let f_at_x = *eval.values[0];

---

stwo_cairo_verifier/src/poly/circle.cairo line 182 at r1 (raw file):

            .subcircle_evals {
                let y_inv = domain_initial_ys_inv.pop_front().unwrap();
                let f_at_p = *eval.bit_reversed_values[0];

Can you use pop_front?

Code quote:

*eval.bit_reversed_values[0]

[andrewmilson]

Reviewable status: 0 of 4 files reviewed, 2 unresolved discussions (waiting on @ilyalesokhin-starkware and @shaharsamocha7)

---

stwo_cairo_verifier/src/poly/circle.cairo line 182 at r1 (raw file):

Previously, ilyalesokhin-starkware wrote…

Can you use pop_front?

Done.

---

stwo_cairo_verifier/src/poly/line.cairo line 259 at r1 (raw file):

Previously, ilyalesokhin-starkware wrote…

can you use pop_front?

Done.

[ilyalesokhin-starkware]

stwo_cairo_verifier/src/poly/circle.cairo line 182 at r1 (raw file):

Previously, andrewmilson (Andrew Milson) wrote…

Done.

nice

[ilyalesokhin-starkware]

Reviewed 1 of 4 files at r1, 3 of 3 files at r2.
Reviewable status: all files reviewed (commit messages unreviewed), all discussions resolved (waiting on @shaharsamocha7)