blockifier_reexecution: use apollo sierra compile to casm

[AvivYossef-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[github-actions]

Artifacts upload workflows:

• Started at 2025-11-11T09:31:55Z
• Started at 2025-11-12T13:03:56Z
• Started at 2025-11-12T13:48:49Z
• Started at 2025-11-13T08:22:41Z

[AvivYossef-starkware]

• blockifier_reexecution: use apollo sierra compile to casm #10077 👈 (View in Graphite)
• main-v0.14.1

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

[noaov1]

@noaov1 reviewed 3 of 3 files at r1, all commit messages.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @AvivYossef-starkware)

---

crates/blockifier_reexecution/src/state_reader/compile.rs line 81 at r1 (raw file):

    let serde_value = serde_json::to_value(&sierra).map_err(serde_err_to_state_err)?;
    let sierra_contract: SierraContractClass =
        serde_json::from_value(serde_value).map_err(serde_err_to_state_err)?;

Suggestion:

    let sierra_contract =
         SierraContractClass::try_from(serde_value).map_err(serde_err_to_state_err)?;

---

crates/blockifier_reexecution/src/state_reader/compile.rs line 84 at r1 (raw file):

    let sierra_version = SierraVersion::extract_from_program(&sierra_contract.sierra_program)
        .map_err(StateError::from)?;
    let raw_class = RawClass::try_from(sierra_contract.clone()).map_err(serde_err_to_state_err)?;

Is the clone needed?

Code quote:

    let raw_class = RawClass::try_from(sierra_contract.clone()).map_err(serde_err_to_state_err)?;

[AvivYossef-starkware]

Reviewable status: 2 of 3 files reviewed, 2 unresolved discussions (waiting on @noaov1)

---

crates/blockifier_reexecution/src/state_reader/compile.rs line 84 at r1 (raw file):

Previously, noaov1 (Noa Oved) wrote…

Is the clone needed?

No

---

crates/blockifier_reexecution/src/state_reader/compile.rs line 81 at r1 (raw file):

    let serde_value = serde_json::to_value(&sierra).map_err(serde_err_to_state_err)?;
    let sierra_contract: SierraContractClass =
        serde_json::from_value(serde_value).map_err(serde_err_to_state_err)?;

It doesn't work, we need to impl try_from for Sierra contract class,
for it.

[noaov1]

@noaov1 reviewed 2 of 2 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @AvivYossef-starkware)

[AvivYossef-starkware]

@AvivYossef-starkware reviewed 2 of 2 files at r3.
Reviewable status: all files reviewed (commit messages unreviewed), all discussions resolved (waiting on @AvivYossef-starkware)

[AvivYossef-starkware]

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