refactor: use stwo_air_utils for par air generation

[Alon-Ti]

• follows current design in stwo-cairo for this opcode.
• inline write_trace_row
• add LookupData that wraps InteractionClaimGenerator fields, which
  also holds n_calls.
• fix edge cases if input is smaller than LOG_N_LANES

---

This change is 

[Alon-Ti]

• Updated ret opcode test. #52
• Parallelized add_mul trace gen. #51
• refactor: use stwo_air_utils for par air generation #50 👈 (View in Graphite)
• main

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

[giladchase]

Reviewed 11 of 11 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @Alon-Ti)

---

crates/prover/src/cairo_air/mod.rs line 140 at r1 (raw file):

        //         )
        //     })
        //     .collect_vec();

do we want to just remove all of these?

Code quote:

        // let ret_components = cairo_claim
        //     .ret
        //     .iter()
        //     .zip(interaction_claim.ret.iter())
        //     .map(|(claim, interaction_claim)| {
        //         ret_opcode::Component::new(
        //             tree_span_provider,
        //             ret_opcode::Eval {
        //                 claim: claim.clone(),
        //                 memory_lookup: interaction_elements.addr_to_value_lookup.clone(),
        //                 state_lookup: interaction_claim.addr_to_value.clone(),
        //             },
        //             interaction_claim.logup_sums,
        //         )
        //     })
        //     .collect_vec();

[Alon-Ti]

Merge activity

• Mar 1, 8:58 AM EST: A user merged this pull request with Graphite.