refactor: use stwo_air_utils for par air generation

- 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

Author: Gilad Chase

Cargo.lock

@@ -22,13 +22,18 @@ num-traits = "0.2.17"
 paste = "1.0"
 pretty_assertions = "1.4.1"
 rand = "0.8.5"
+rayon = { version = "1.10.0" }
 ruint = "1.12.3"
 serde = "1.0.207"
 serde_json = "1.0.1"
 sonic-rs = "0.3.10"
 starknet-ff = "0.3.7"
+stwo-air-utils = { git = "https://github.com/starkware-libs/stwo", rev = "bede666c" }
+stwo-air-utils-derive = { git = "https://github.com/starkware-libs/stwo", rev = "bede666c" }
 # TODO(ShaharS): take stwo version from the source repository.
-stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "bede666c" }
+stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "bede666c", features = [
+    "parallel",
+] }
 thiserror = "1.0.63"
 tracing = "0.1.40"
 tracing-subscriber = "0.3.18"

Cargo.toml

@@ -10,8 +10,11 @@ cairo-vm.workspace = true
 hex.workspace = true
 itertools.workspace = true
 num-traits.workspace = true
+rayon.workspace = true
 serde.workspace = true
 sonic-rs.workspace = true
+stwo-air-utils.workspace = true
+stwo-air-utils-derive.workspace = true
 stwo-prover.workspace = true
 thiserror.workspace = true
 tracing.workspace = true