blockifier: set missing config validations

Author: ArniStarkware

Cargo.lock

@@ -228,11 +228,13 @@ impl SerializeConfig for FirstBlockWithPartialBlockHash {
 #[derive(Clone, Debug, Serialize, Deserialize, Validate, PartialEq)]
 #[validate(schema(function = "validate_batcher_static_config"))]
 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,

crates/apollo_batcher_config/src/config.rs

@@ -24,10 +24,12 @@ use crate::compiler_version::VersionId;
 
 const DEFAULT_BUCKET_NAME: &str = "proof-archive";
 
+// TODO(Arni): Set nested validation for other members of this struct.
 #[derive(Clone, Debug, Deserialize, PartialEq, Serialize, Validate)]
 pub struct GatewayStaticConfig {
     pub stateless_tx_validator_config: StatelessTransactionValidatorConfig,
     pub stateful_tx_validator_config: StatefulTransactionValidatorConfig,
+    #[validate(nested)]
     pub contract_class_manager_config: ContractClassManagerConfig,
     pub chain_info: ChainInfo,
     pub block_declare: bool,

crates/apollo_gateway_config/src/config.rs

@@ -46,6 +46,7 @@ cairo-lang-starknet-classes.workspace = true
 cairo-lang-utils.workspace = true
 cairo-native = { workspace = true, optional = true }
 cairo-vm.workspace = true
+dashmap.workspace = true
 derive_more = { workspace = true, features = [
   "add",
   "add_assign",
@@ -76,7 +77,7 @@ starknet_api.workspace = true
 strum.workspace = true
 strum_macros.workspace = true
 thiserror.workspace = true
-dashmap.workspace = true
+validator.workspace = true
 
 [dev-dependencies]
 assert_matches.workspace = true

crates/blockifier/Cargo.toml

@@ -7,6 +7,7 @@ use serde::de::{self, Deserializer};
 use serde::ser::Serializer;
 use serde::{Deserialize, Serialize};
 use starknet_api::core::ClassHash;
+use validator::Validate;
 
 use crate::blockifier::transaction_executor::DEFAULT_STACK_SIZE;
 use crate::state::contract_class_manager::DEFAULT_COMPILATION_REQUEST_CHANNEL_SIZE;
@@ -136,10 +137,11 @@ impl SerializeConfig for WorkerPoolConfig {
     }
 }
 
-#[derive(Clone, Debug, Deserialize, PartialEq, Serialize)]
+#[derive(Clone, Debug, Deserialize, PartialEq, Serialize, Validate)]
 pub struct ContractClassManagerConfig {
     pub cairo_native_run_config: CairoNativeRunConfig,
     pub contract_cache_size: usize,
+    #[validate(nested)]
     pub native_compiler_config: SierraCompilationConfig,
 }