starknet_os: os resources test - add 3 more syscalls

Author: dorimedini-starkware

crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/constants.cairo

@@ -72,7 +72,7 @@ const ALLOWED_VIRTUAL_OS_PROGRAM_HASHES_1 = (
     0x06ecb73d21c7d98ddd4148f5bcd91cc2747c65364245fbf32a63b05cca1685c2
 );
 const ALLOWED_VIRTUAL_OS_PROGRAM_HASHES_2 = (
-    0x028619dbc9767792fb536aaba7a2d55f70faadf808c95ec66b956d33fdee1bc0
+    0x06e0e4653c9bf533daba4c89a969a78f082fd2b7ebd38912ca8138441a897bea
 );
 const ALLOWED_VIRTUAL_OS_PROGRAM_HASHES_LEN = 3;
 
@@ -110,9 +110,9 @@ const SYSCALL_BASE_GAS_COST = 10000;
 const CALL_CONTRACT_GAS_COST = 91360;
 const DEPLOY_GAS_COST = 151970;
 const DEPLOY_CALLDATA_FACTOR_GAS_COST = 4850;
-const GET_BLOCK_HASH_GAS_COST = 10840;
+const GET_BLOCK_HASH_GAS_COST = 10810;
 const GET_CLASS_HASH_AT_GAS_COST = 10000;
-const GET_EXECUTION_INFO_GAS_COST = 12640;
+const GET_EXECUTION_INFO_GAS_COST = 11240;
 const LIBRARY_CALL_GAS_COST = 88660;
 const REPLACE_CLASS_GAS_COST = 10670;
 // TODO(Yoni, 1/1/2026): take into account Patricia updates and dict squash.

crates/apollo_starknet_os_program/src/program_hash.json

@@ -1,6 +1,6 @@
 {
-  "os": "0x6c751043e73e061179e08b9bc608ad2abcc46df4e4b552b05ed7ad6915ace0b",
-  "virtual_os": "0x28619dbc9767792fb536aaba7a2d55f70faadf808c95ec66b956d33fdee1bc0",
+  "os": "0x6953c7279f84f553ce738d580de5df707feef830c3ca1840829b6bbdf79db4e",
+  "virtual_os": "0x6e0e4653c9bf533daba4c89a969a78f082fd2b7ebd38912ca8138441a897bea",
   "aggregator": "0x700786d51b3854af43d8e12180380bda3029be6c1767e007858de6ca2edac40",
   "aggregator_with_prefix": "0xe08d300e3f5996e43d6d7cc5a20068e0e58cf1309089f2348317ac580f6c1f"
 }

crates/blockifier/resources/blockifier_versioned_constants_0_14_4.json

@@ -128,7 +128,7 @@
         "allowed_virtual_os_program_hashes": [
             "0x3e98c2d7703b03a7edb73ed7f075f97f1dcbaa8f717cdf6e1a57bf058265473",
             "0x6ecb73d21c7d98ddd4148f5bcd91cc2747c65364245fbf32a63b05cca1685c2",
-            "0x28619dbc9767792fb536aaba7a2d55f70faadf808c95ec66b956d33fdee1bc0"
+            "0x6e0e4653c9bf533daba4c89a969a78f082fd2b7ebd38912ca8138441a897bea"
         ],
         "constructor_entry_point_selector": "0x28ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194",
         "default_entry_point_selector": "0x0",
@@ -270,10 +270,10 @@
                 }
             },
             "GetBlockHash": {
-                "n_steps": 107,
+                "n_steps": 106,
                 "n_memory_holes": 0,
                 "builtin_instance_counter": {
-                    "range_check_builtin": 2
+                    "range_check_builtin": 3
                 }
             },
             "GetBlockNumber": {
@@ -294,7 +294,7 @@
                 }
             },
             "GetClassHashAt": {
-                "n_steps": 89,
+                "n_steps": 75,
                 "n_memory_holes": 0,
                 "builtin_instance_counter": {
                     "range_check_builtin": 1
@@ -308,7 +308,7 @@
                 }
             },
             "GetExecutionInfo": {
-                "n_steps": 125,
+                "n_steps": 111,
                 "n_memory_holes": 0,
                 "builtin_instance_counter": {
                     "range_check_builtin": 2

crates/blockifier/resources/versioned_constants_diff_regression/0.14.3_0.14.4.txt

@@ -1,4 +1,4 @@
-+ /os_constants/allowed_virtual_os_program_hashes/2: "0x28619dbc9767792fb536aaba7a2d55f70faadf808c95ec66b956d33fdee1bc0"
++ /os_constants/allowed_virtual_os_program_hashes/2: "0x6e0e4653c9bf533daba4c89a969a78f082fd2b7ebd38912ca8138441a897bea"
 ~ /os_resources/execute_syscalls/CallContract/n_steps: 901
 ~ /os_resources/execute_syscalls/Deploy/constant/builtin_instance_counter/pedersen_builtin: 8
 ~ /os_resources/execute_syscalls/Deploy/constant/n_steps: 1183

crates/blockifier_test_utils/resources/feature_contracts/cairo1/os_resources_test_contract.cairo

@@ -4,9 +4,10 @@ mod OsResourcesTestContract {
     use starknet::class_hash::ClassHashZero;
     use starknet::info::SyscallResultTrait;
     use starknet::syscalls::{
-        call_contract_syscall, deploy_syscall, emit_event_syscall, library_call_syscall,
+        call_contract_syscall, deploy_syscall, emit_event_syscall, get_execution_info_v2_syscall,
+        library_call_syscall,
     };
-    use starknet::{ClassHash, ContractAddress};
+    use starknet::{ClassHash, ContractAddress, get_block_hash_syscall, get_class_hash_at_syscall};
 
     const STABLE_EXTERNAL_ENTRY_POINT_SELECTOR: felt252 = selector!("external");
     const EXECUTE_FUNCTION_SELECTOR: felt252 = selector!("__execute__");
@@ -79,5 +80,14 @@ mod OsResourcesTestContract {
 
         // emit event syscall.
         emit_event_syscall(array![5].span(), array![7].span()).unwrap_syscall();
+
+        // get block hash syscall.
+        get_block_hash_syscall(0_u64).unwrap_syscall();
+
+        // get class hash at syscall.
+        get_class_hash_at_syscall(stable_address).unwrap_syscall();
+
+        // get execution info syscall.
+        get_execution_info_v2_syscall().unwrap_syscall();
     }
 }

crates/starknet_os_flow_tests/src/os_resources_test.rs

@@ -43,16 +43,13 @@ use crate::test_manager::{
 use crate::tests::NON_TRIVIAL_RESOURCE_BOUNDS;
 
 // TODO(Dori): Delete this, or at least reduce it to a minimal set of unmeasurable syscalls.
-const UNMEASURABLE_SYSCALLS: [Selector; 31] = [
+const UNMEASURABLE_SYSCALLS: [Selector; 28] = [
     Selector::DelegateCall,
     Selector::DelegateL1Handler,
-    Selector::GetBlockHash,
     Selector::GetBlockNumber,
     Selector::GetBlockTimestamp,
     Selector::GetCallerAddress,
-    Selector::GetClassHashAt,
     Selector::GetContractAddress,
-    Selector::GetExecutionInfo,
     Selector::GetSequencerAddress,
     Selector::GetTxInfo,
     Selector::GetTxSignature,