blockifier: get compiled class hash v2 dict state reader

[AvivYossef-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[AvivYossef-starkware]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• blockifier: activate migration #8377
• blockifier: get compiled class hash v2 dict state reader #8435 👈 (View in Graphite)
• blockifier: add compiled class hash to feature data contract #8471
• blockifier: get compiled class hash v2 feature contract #8436
• main-v0.14.1

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

[github-actions]

Artifacts upload workflows:

• Started at 2025-08-05T12:54:33Z
• Started at 2025-08-06T12:04:15Z
• Started at 2025-08-07T08:20:31Z

[meship-starkware]

Reviewed 1 of 1 files at r1, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @noaov1)

---

a discussion (no related file):
Can you add a simple test that adds a class and tries to read the compiled class and compiled class v2?
Can be in a separate PR

[noaov1]

Reviewed 1 of 1 files at r1.
Reviewable status: all files reviewed, 3 unresolved discussions (waiting on @AvivYossef-starkware)

---

crates/blockifier/src/test_utils/dict_state_reader.rs line 88 at r1 (raw file):

    fn get_compiled_class_hash(&self, class_hash: ClassHash) -> StateResult<CompiledClassHash> {
        // Try to get the v2 compiled class hash first.

Why is it needed? What will happen if we want to declare an "old" class (to test the migration)?
Note that the use of add_class is for the preprocess (so it can be an old declare)

Code quote:

        // Try to get the v2 compiled class hash first.

---

crates/blockifier/src/test_utils/dict_state_reader.rs line 98 at r1 (raw file):

        // Fallback.
        let compiled_class_hash =
            self.class_hash_to_compiled_class_hash.get(&class_hash).copied().unwrap_or_default();

Note that this is updated only in case of declare transaction (and not in add_class)

Code quote:

 self.class_hash_to_compiled_class_hash.get(&class_hash).copied().unwrap_or_default();

[meship-starkware]

Reviewed 5 of 5 files at r2, all commit messages.
Reviewable status: all files reviewed, 3 unresolved discussions (waiting on @AvivYossef-starkware)

[AvivYossef-starkware]

Reviewable status: all files reviewed, 3 unresolved discussions (waiting on @meship-starkware and @noaov1)

---

a discussion (no related file):

Previously, meship-starkware (Meshi Peled) wrote…

Can you add a simple test that adds a class and tries to read the compiled class and compiled class v2?
Can be in a separate PR

Still relevant?

---

crates/blockifier/src/test_utils/dict_state_reader.rs line 88 at r1 (raw file):

Previously, noaov1 (Noa Oved) wrote…

Why is it needed? What will happen if we want to declare an "old" class (to test the migration)?
Note that the use of add_class is for the preprocess (so it can be an old declare)

Discussed

---

crates/blockifier/src/test_utils/dict_state_reader.rs line 98 at r1 (raw file):

Previously, noaov1 (Noa Oved) wrote…

Note that this is updated only in case of declare transaction (and not in add_class)

Discussed

[meship-starkware]

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

---

a discussion (no related file):

Previously, AvivYossef-starkware wrote…

Still relevant?

No, we will test it as part of the migration

[noaov1]

Reviewed 1 of 5 files at r2, all commit messages.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @AvivYossef-starkware)

---

crates/blockifier/src/test_utils/dict_state_reader.rs line 30 at r2 (raw file):

impl DictStateReader {
    /// Adds a contract class to the state reader.

Suggestion:

/// Pre-process: declares a class.

---

crates/blockifier/src/test_utils/dict_state_reader.rs line 57 at r2 (raw file):

    /// Adds the compiled class hashes of the contract to the state reader.
    /// The `hash_version` parameter is used to determine if we should add the class before the
    //  migration.

Suggestion:

    ///  migration.