Merge main-v0.14.0 into main

[dorimedini-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[dorimedini-starkware]

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

[github-actions]

Artifacts upload workflows:

• Started at 2025-07-06T14:21:40Z
• Started at 2025-07-06T14:58:41Z
• Started at 2025-07-06T15:03:47Z
• Started at 2025-07-06T15:19:44Z
• Started at 2025-07-07T07:09:56Z

[github-actions]

Benchmark movements: No major performance changes detected.

[Itay-Tsabary-Starkware]

Reviewed 14 of 25 files at r2.
Reviewable status: 215 of 226 files reviewed, all discussions resolved (waiting on @meship-starkware)

[meship-starkware]

Reviewed 10 of 225 files at r1, 4 of 25 files at r2.
Reviewable status: 219 of 226 files reviewed, 1 unresolved discussion (waiting on @dorimedini-starkware)

---

crates/blockifier/src/bouncer.rs line 534 at r2 (raw file):

                .collect::<HashSet<_>>(),
            "Sierra and proving gas data should have the same class hashes."
        );

Can you remove this? It seems like we accidentally did it twice. You can also add a todo for me to do it later

Code quote:

        assert_eq!(
            tx_weights
                .casm_hash_computation_data_sierra_gas
                .class_hash_to_casm_hash_computation_gas
                .keys()
                .collect::<HashSet<_>>(),
            tx_weights
                .casm_hash_computation_data_proving_gas
                .class_hash_to_casm_hash_computation_gas
                .keys()
                .collect::<HashSet<_>>(),
            "Sierra and proving gas data should have the same class hashes."
        );

[meship-starkware]

Reviewed 16 of 25 files at r2, all commit messages.
Reviewable status: 221 of 226 files reviewed, 1 unresolved discussion (waiting on @dorimedini-starkware)

[meship-starkware]

Reviewed 191 of 225 files at r1, 4 of 25 files at r2.
Reviewable status: 225 of 226 files reviewed, 1 unresolved discussion (waiting on @dorimedini-starkware)

[dorimedini-starkware]

Reviewable status: 225 of 226 files reviewed, 1 unresolved discussion (waiting on @meship-starkware)

---

crates/blockifier/src/bouncer.rs line 534 at r2 (raw file):

Previously, meship-starkware (Meshi Peled) wrote…

Can you remove this? It seems like we accidentally did it twice. You can also add a todo for me to do it later

where is the second appearance?

[meship-starkware]

Reviewed 1 of 25 files at r2, 1 of 1 files at r3.
Reviewable status: all files reviewed (commit messages unreviewed), all discussions resolved (waiting on @dorimedini-starkware)

[meship-starkware]

Reviewable status: all files reviewed (commit messages unreviewed), all discussions resolved (waiting on @dorimedini-starkware)

[dorimedini-starkware]

Reviewed all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @dorimedini-starkware)