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
Bumps core proving/verification dependencies and adjusts proof deserialization/verification and native builtin cost wiring, which can change verification behavior and execution accounting despite being mostly dependency/API alignment.

Overview
Upgrades proving/verification dependencies from pinned git revs and dev versions to published crates, including cairo-air 1.1.0, Cairo compiler crates 2.16.0, and stwo 2.1.0, and adds new workspace deps (cairo-program-runner-lib, stwo-cairo-*, stwo-run-and-prove) for follow-up work.

Refactors proof verification to match the new cairo-air API by deserializing into CairoProofForRustVerifier and calling the simplified verify_cairo (no PreProcessedTraceVariant/conversion step), and updates proof-facts test data accordingly. The CASM compilation allowlist is reformatted to a versioned map and extended for new libfuncs (incl. blake-related), with tighter alignment tests; Cairo-native compilation is temporarily pinned to a git branch (and its version test ignored) while adding blake builtin support plumbing into native execution gas costs.

^{Written by Cursor Bugbot for commit b94d1f5. 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
• Started at 2026-02-23T09:38:40Z
• Started at 2026-02-23T11:09:06Z
• Started at 2026-02-23T11:39:13Z
• Started at 2026-02-23T11:57:16Z
• Started at 2026-02-23T12:26:32Z
• Started at 2026-02-23T12:32:51Z

[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).

[Yoni-Starkware]

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

---

crates/apollo_compile_to_casm/src/compile_test.rs line 133 at r4 (raw file):

#[test]
fn allowed_libfuncs_aligned_to_audited() {

Align allowed_libfunc file to the new format

[Yoni-Starkware]

@Yoni-Starkware partially reviewed 2 files and made 1 comment.
Reviewable status: 15 of 20 files reviewed, 3 unresolved discussions (waiting on avi-starkware, einat-starkware, and noaov1).

---

crates/apollo_compile_to_casm/src/compile_test.rs line 159 at r6 (raw file):

        "Audited libfuncs mismatch: (missing, extra)"
    );
}

Compare also the values, not just the keys of this file

Code quote:

    let expected_keys: HashSet<_> = expected.keys().collect();
    let actual_keys: HashSet<_> = actual.keys().collect();
    let missing: Vec<_> = expected_keys.difference(&actual_keys).map(ToString::to_string).collect();
    let extra: Vec<_> = actual_keys
        .difference(&expected_keys)
        .map(ToString::to_string)
        .filter(|libfunc| !pending_set.contains(libfunc))
        .collect();
    assert_eq!(
        (missing, extra),
        (Vec::<String>::new(), Vec::<String>::new()),
        "Audited libfuncs mismatch: (missing, extra)"
    );
}

[avi-starkware]

@avi-starkware made 2 comments and resolved 1 discussion.
Reviewable status: 14 of 22 files reviewed, 2 unresolved discussions (waiting on einat-starkware, noaov1, and Yoni-Starkware).

---

crates/apollo_compile_to_casm/src/compile_test.rs line 133 at r4 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Align allowed_libfunc file to the new format

Done.

---

crates/apollo_compile_to_casm/src/compile_test.rs line 159 at r6 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Compare also the values, not just the keys of this file

Done.

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

[Yoni-Starkware]

@Yoni-Starkware reviewed 8 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).

[avi-starkware]

@avi-starkware resolved 1 discussion.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on einat-starkware and noaov1).