apollo_transaction_converter: align proving deps with stwo 1.0.1

[avi-starkware]

Summary

• Migrate cairo-air from git rev to published 1.0.1, stwo from git rev to 2.0.1.
• Add workspace entries for cairo-program-runner-lib, stwo-cairo-adapter, stwo-cairo-prover, and stwo-run-and-prove (consumed in later PRs).
• Adapt proof_verification.rs to the simplified verify_cairo API (CairoProofForRustVerifier replaces CairoProofSorted + PreProcessedTraceVariant).

Stack: 1/4 — this PR isolates the global dependency/API migration from runner behavior changes.

Test plan

• cargo test -p apollo_transaction_converter
• cargo clippy -p apollo_transaction_converter --all-targets --all-features

🤖 Generated with Claude Code

---

Note

Medium Risk
Touches proof verification and core proving dependencies; while mostly dependency/API alignment, any mismatch in proof encoding/verification or Cairo compiler behavior could break verification at runtime.

Overview
Updates proving/verification dependencies by moving cairo-air and stwo from pinned git revs to crates.io releases, bumping Cairo compiler crates to 2.16.0, and adding new workspace deps (cairo-program-runner-lib, stwo-cairo-*, stwo-run-and-prove). cairo-native is switched to a specific git branch.

Adapts apollo_transaction_converter proof verification to the new cairo-air API by deserializing CairoProofForRustVerifier directly and calling the simplified verify_cairo without PreProcessedTraceVariant/conversion. Aligns compilation tooling/tests with updated audited libfuncs (adds blake/gas/boxing-related libfuncs, updates audited-libfunc alignment test), wires the new blake builtin gas cost into native execution, refreshes native test compilation helpers, and updates snapshots/example proof facts plus the pinned proving-utils revision.

^{Written by Cursor Bugbot for commit fa0d50b. This will update automatically on new commits. Configure here.}

[reviewable-StarkWare]

This change is 

[github-actions]

Artifacts upload workflows:

• Started at 2026-02-18T13:36:10Z
• Started at 2026-02-18T20:24:16Z
• Started at 2026-02-18T21:14:17Z
• Started at 2026-02-22T15:15:17Z
• Started at 2026-02-22T15:38:42Z
• Started at 2026-02-22T16:45:29Z

[Yoni-Starkware]

@Yoni-Starkware reviewed 1 file and all commit messages, and made 1 comment.
Reviewable status: 1 of 13 files reviewed, 1 unresolved discussion (waiting on avi-starkware, einat-starkware, and noaov1).

---

crates/apollo_compile_to_casm_types/src/test.rs line 27 at r1 (raw file):

    const EXPECTED: &str = "{\"V1\":[{\"prime\":\"0x0\",\"compiler_version\":\"\",\"bytecode\":[\"\
                            0x1\",\"0x1\",\"0x1\"],\"hints\":[],\"entry_points_by_type\":{\"\
                            EXTERNAL\":[],\"L1_HANDLER\":[],\"CONSTRUCTOR\":[]}},\"1.7.0\"]}";

Ho not again. I fixed this a few fix ago

Code quote:

    const EXPECTED: &str = "{\"V1\":[{\"prime\":\"0x0\",\"compiler_version\":\"\",\"bytecode\":[\"\
                            0x1\",\"0x1\",\"0x1\"],\"hints\":[],\"entry_points_by_type\":{\"\
                            EXTERNAL\":[],\"L1_HANDLER\":[],\"CONSTRUCTOR\":[]}},\"1.7.0\"]}";

[Yoni-Starkware]

@Yoni-Starkware made 1 comment.
Reviewable status: 1 of 13 files reviewed, 1 unresolved discussion (waiting on avi-starkware, einat-starkware, and noaov1).

---

crates/apollo_compile_to_casm_types/src/test.rs line 27 at r1 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Ho not again. I fixed this a few fix ago

There's an unnecessary feature that propagates from one of the new deps. TAL

[Yoni-Starkware]

@Yoni-Starkware made 1 comment.
Reviewable status: 1 of 13 files reviewed, 1 unresolved discussion (waiting on avi-starkware, einat-starkware, and noaov1).

---

crates/apollo_compile_to_casm_types/src/test.rs line 27 at r1 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

There's an unnecessary feature that propagates from one of the new deps. TAL

"preserve_order"

[avi-starkware]

crates/apollo_compile_to_casm_types/src/test.rs line 27 at r1 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

"preserve_order"

fixed (using stwo crates at v1.1.0 resolves this issue)

[avi-starkware]

Cargo.toml line 255 at r2 (raw file):

cairo-lang-starknet-classes = "2.16.0"
cairo-lang-utils = "2.16.0"
cairo-native = { git = "https://github.com/lambdaclass/cairo_native", branch = "tomer/blake_builtin" }

I had to use tomer's branch instead of a stable version since there is no published version of cairo_native which supports cairo-lang v2.16.0.

Note that tomer's branch still does not pass lambdaclass's ci

Code quote:

cairo-native = { git = "https://github.com/lambdaclass/cairo_native", branch = "tomer/blake_builtin" }

[Yoni-Starkware]

@Yoni-Starkware reviewed 14 files and all commit messages, made 1 comment, and resolved 1 discussion.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on einat-starkware and noaov1).