blockifier: set missing config validations

[ArniStarkware]

Note

Low Risk
Config-only validation changes; main risk is newly enforced validation causing previously-accepted configs to fail at startup.

Overview
Adds missing validator support and nested validation to ensure ContractClassManagerConfig and its native_compiler_config are validated when included in higher-level configs.

Updates BatcherStaticConfig and GatewayStaticConfig to mark contract_class_manager_config as #[validate(nested)], and updates blockifier to derive Validate for ContractClassManagerConfig (plus adds the validator dependency).

^{Written by Cursor Bugbot for commit 432618e. This will update automatically on new commits. Configure here.}

[reviewable-StarkWare]

This change is 

[github-actions]

Artifacts upload workflows:

• Started at 2026-02-18T11:15:35Z
• Started at 2026-02-18T12:40:53Z
• Started at 2026-02-18T18:17:37Z
• Started at 2026-02-18T18:17:38Z
• Started at 2026-02-18T19:00:50Z
• Started at 2026-02-19T07:57:30Z
• Started at 2026-02-19T12:03:47Z

[ArniStarkware]

• blockifier: set missing config validations #12695 : 2 dependent PRs (#12696 , #12703 ) 👈 (View in Graphite)
• blockifier: refactor native class manager get runnable to be more readable #12536 : 1 other dependent PR (#12717 )
• blockifier: implement contains for native classes whitelist #12544 : 1 other dependent PR (#12475 )
• main-v0.14.2

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

[avi-starkware]

@avi-starkware reviewed 5 files and all commit messages, and made 2 comments.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on ArniStarkware and nadin-Starkware).

---

crates/blockifier/Cargo.toml line 49 at r1 (raw file):

cairo-native = { workspace = true, optional = true }
cairo-vm.workspace = true
dashmap.workspace = true

Why is dashmap needed?

Code quote:

dashmap.workspace = true

---

crates/blockifier/src/blockifier/config.rs line 143 at r1 (raw file):

pub struct ContractClassManagerConfig {
    pub cairo_native_run_config: CairoNativeRunConfig,
    #[validate(range(min = 1, message = "`contract_cache_size` must be greater than 0"))]

Can we just have an assertion instead?
(In the constructor of the class manager)

Code quote:

    #[validate(range(min = 1, message = "`contract_cache_size` must be greater than 0"))]

[ArniStarkware]

crates/blockifier/Cargo.toml line 49 at r1 (raw file):

Previously, avi-starkware (Avi Cohen) wrote…

Why is dashmap needed?

is was moved (alphabetized).

[ArniStarkware]

@avi-starkware, a short explanation regarding the validator::Validate trait.
Whenever a config is being fed into the infra, the validate schema is run on it. It will not allow the SRE person to load an invalid config.

[ArniStarkware]

@ArniStarkware made 1 comment.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on avi-starkware and nadin-Starkware).

---

crates/blockifier/src/blockifier/config.rs line 143 at r1 (raw file):

Previously, avi-starkware (Avi Cohen) wrote…

Can we just have an assertion instead?
(In the constructor of the class manager)

I can remove this validation. We can discuss it in a different context.
It never existed, and it worked just fine.

[ArniStarkware]

crates/blockifier/src/blockifier/config.rs line 143 at r1 (raw file):

Previously, ArniStarkware (Arnon Hod) wrote…

I can remove this validation. We can discuss it in a different context.
It never existed, and it worked just fine.

reverted.

[avi-starkware]

@avi-starkware reviewed 2 files and all commit messages, made 1 comment, and resolved 2 discussions.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on nadin-Starkware).

[Itay-Tsabary-Starkware]

@Itay-Tsabary-Starkware made 1 comment.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on ArniStarkware and nadin-Starkware).

---

crates/apollo_batcher_config/src/config.rs line 240 at r2 (raw file):

    pub contract_class_manager_config: ContractClassManagerConfig,
    pub commitment_manager_config: CommitmentManagerConfig,
    pub max_l1_handler_txs_per_block_proposal: usize,

Why aren't all the fields validated?

Code quote:

pub struct BatcherStaticConfig {
    // TODO(Arni): Set nested validation for storage config.
    pub storage: StorageConfig,
    pub outstream_content_buffer_size: usize,
    pub input_stream_content_buffer_size: usize,
    pub block_builder_config: BlockBuilderConfig,
    pub pre_confirmed_block_writer_config: PreconfirmedBlockWriterConfig,
    #[validate(nested)]
    pub contract_class_manager_config: ContractClassManagerConfig,
    pub commitment_manager_config: CommitmentManagerConfig,
    pub max_l1_handler_txs_per_block_proposal: usize,

[ArniStarkware]

crates/apollo_batcher_config/src/config.rs line 240 at r2 (raw file):

Previously, Itay-Tsabary-Starkware wrote…

Why aren't all the fields validated?

Spectacular question.

I partially answered it in #12703.

[ArniStarkware]

crates/apollo_batcher_config/src/config.rs line 240 at r2 (raw file):

Previously, ArniStarkware (Arnon Hod) wrote…

Spectacular question.

I partially answered it in #12703.

pub storage: StorageConfig, - Addressed in #12703
pub outstream_content_buffer_size: usize, - buffer size. Should we validate
pub input_stream_content_buffer_size: usize,  - buffer size. Should we validate 
pub block_builder_config: BlockBuilderConfig, - Has no current validation on it, and this struct is complicated.
pub pre_confirmed_block_writer_config: PreconfirmedBlockWriterConfig, - Has no current validation on it, but it has uszie and u64 as members. 
pub contract_class_manager_config: ContractClassManagerConfig, - validated as of this PR.
pub commitment_manager_config: CommitmentManagerConfig, - Has no current validation on it, but it holds two usizes as members.
pub max_l1_handler_txs_per_block_proposal: usize, - not validated. Not sure what the value should be.... If there is a lower bound or an upper bound.... I can imagine a case where this number is zero.

[Itay-Tsabary-Starkware]

@Itay-Tsabary-Starkware resolved 1 discussion.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on nadin-Starkware).

[Itay-Tsabary-Starkware]

@Itay-Tsabary-Starkware reviewed 5 files and all commit messages, and made 1 comment.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on nadin-Starkware).