test(native_blockifier): move alias constants to python

crates/blockifier/src/state/stateful_compression.rs

@@ -23,8 +23,9 @@ static ALIAS_COUNTER_STORAGE_KEY: LazyLock<StorageKey> =
     LazyLock::new(|| StorageKey(PatriciaKey::try_from(Felt::ZERO).unwrap()));
 // The maximal contract address for which aliases are not used and all keys are serialized as is,
 // without compression.
-static MAX_NON_COMPRESSED_CONTRACT_ADDRESS: LazyLock<ContractAddress> =
-    LazyLock::new(|| ContractAddress(PatriciaKey::try_from(Felt::from_hex_unchecked("0xf")).unwrap()));
+static MAX_NON_COMPRESSED_CONTRACT_ADDRESS: LazyLock<ContractAddress> = LazyLock::new(|| {
+    ContractAddress(PatriciaKey::try_from(Felt::from_hex_unchecked("0xf")).unwrap())
+});
 // The minimal value for a key to be allocated an alias. Smaller keys are serialized as is (their
 // alias is identical to the key).
 static MIN_VALUE_FOR_ALIAS_ALLOC: LazyLock<PatriciaKey> =

crates/native_blockifier/src/lib.rs

@@ -20,6 +20,11 @@ pub mod state_readers;
 pub mod storage;
 pub mod test_utils;
 
+use blockifier::state::stateful_compression::{
+    ALIAS_COUNTER_STORAGE_KEY,
+    MAX_NON_COMPRESSED_CONTRACT_ADDRESS,
+    MIN_VALUE_FOR_ALIAS_ALLOC,
+};
 use errors::{add_py_exceptions, UndeclaredClassHashError};
 use py_block_executor::PyBlockExecutor;
 use py_objects::PyExecutionResources;
@@ -64,6 +69,12 @@ fn native_blockifier(py: Python<'_>, py_module: &PyModule) -> PyResult<()> {
         estimate_casm_hash_computation_resources_for_testing_single,
         py
     )?)?;
+    py_module.add("ALIAS_COUNTER_STORAGE_KEY", u16::from(*ALIAS_COUNTER_STORAGE_KEY))?;
+    py_module.add(
+        "MAX_NON_COMPRESSED_CONTRACT_ADDRESS",
+        u16::from(*MAX_NON_COMPRESSED_CONTRACT_ADDRESS),
+    )?;
+    py_module.add("INITIAL_AVAILABLE_ALIAS", u16::from(*MIN_VALUE_FOR_ALIAS_ALLOC))?;
 
     Ok(())
 }