blockifier: move logic inside casm_v2hash_resource_estimate

[avivg-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[avivg-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: move blake_estimation_consts into struct #8698
• blockifier: move logic inside casm_v2hash_resource_estimate #8694 👈 (View in Graphite)
• blockifier: encode_and_blake into trait #8696
• blockifier: move execution utils logic to casm_estimation #8693
• blockifier: encode blake in trait #8695
• blockifier: move logic inside felt_size_count #8692
• blockifier: move blake constants to felt_size_count #8701
• blockifier: rename blake encoding constants #8731
• blockifier: change input to felt_counts fn count_blake_opcodes #8704
• blockifier: change input to felt_counts fn compute_blake_hash_steps #8702
• 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-19T16:29:56Z
• Started at 2025-08-19T17:01:39Z
• Started at 2025-08-20T05:28:02Z
• Started at 2025-08-20T07:34:53Z
• Started at 2025-08-20T07:52:53Z
• Started at 2025-08-20T08:12:07Z
• Started at 2025-08-20T08:39:42Z
• Started at 2025-08-20T08:46:34Z
• Started at 2025-08-20T08:55:09Z
• Started at 2025-08-20T09:19:41Z
• Started at 2025-08-20T10:24:34Z
• Started at 2025-08-20T11:16:28Z
• Started at 2025-08-20T12:07:49Z
• Started at 2025-08-20T13:28:45Z
• Started at 2025-08-20T13:30:11Z
• Started at 2025-08-20T13:30:12Z

[avivg-starkware]

Reviewable status: 0 of 4 files reviewed, 1 unresolved discussion

---

crates/blockifier/src/execution/casm_hash_estimation.rs line 276 at r2 (raw file):

        .expect("Overflow computing small felt steps");
    big_steps.checked_add(small_steps).expect("Overflow computing total felt steps")
}

inserted this logic directly to estimate_steps_of_encode_felt252_data_and_calc_blake_hash and removed redundant "checked arithmetic"

Code quote:

fn base_steps_for_blake_hash(n_u32s: usize) -> usize {
    let rem_u32s = n_u32s % FeltSizeCount::U32_WORDS_PER_MESSAGE;
    if rem_u32s == 0 {
        blake_estimation::BASE_STEPS_FULL_MSG
    } else {
        // This computation is based on running blake2s with different inputs.
        // Note: all inputs expand to an even number of u32s --> `rem_u32s` is always even.
        blake_estimation::BASE_STEPS_PARTIAL_MSG
            + (rem_u32s / 2) * blake_estimation::STEPS_PER_2_U32_REMINDER
    }
}

fn felts_steps(n_big_felts: usize, n_small_felts: usize) -> usize {
    let big_steps = n_big_felts
        .checked_mul(blake_estimation::STEPS_BIG_FELT)
        .expect("Overflow computing big felt steps");
    let small_steps = n_small_felts
        .checked_mul(blake_estimation::STEPS_SMALL_FELT)
        .expect("Overflow computing small felt steps");
    big_steps.checked_add(small_steps).expect("Overflow computing total felt steps")
}