release: bump compiler dep to 2.17 and repo to version = "0.18.0-rc.0" (#13471)

avivg-starkware · web-flow · commit 48d0c0ee17b7 · 2026-03-26T08:44:01.000Z
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -117,7 +117,7 @@ members = [
 ]
 
 [workspace.package]
-version = "0.18.0-dev.2"
+version = "0.18.0-rc.0"
 edition = "2021"
 repository = "https://github.com/starkware-libs/sequencer/"
 license = "Apache-2.0"
@@ -141,12 +141,12 @@ apollo_class_manager_types.path = "crates/apollo_class_manager_types"
 apollo_committer.path = "crates/apollo_committer"
 apollo_committer_config.path = "crates/apollo_committer_config"
 apollo_committer_types.path = "crates/apollo_committer_types"
-apollo_compilation_utils = { path = "crates/apollo_compilation_utils", version = "0.18.0-dev.2" }
+apollo_compilation_utils = { path = "crates/apollo_compilation_utils", version = "0.18.0-rc.0" }
 apollo_compile_to_casm.path = "crates/apollo_compile_to_casm"
 apollo_compile_to_casm_types.path = "crates/apollo_compile_to_casm_types"
-apollo_compile_to_native = { path = "crates/apollo_compile_to_native", version = "0.18.0-dev.2" }
-apollo_compile_to_native_types = { path = "crates/apollo_compile_to_native_types", version = "0.18.0-dev.2" }
-apollo_config = { path = "crates/apollo_config", version = "0.18.0-dev.2" }
+apollo_compile_to_native = { path = "crates/apollo_compile_to_native", version = "0.18.0-rc.0" }
+apollo_compile_to_native_types = { path = "crates/apollo_compile_to_native_types", version = "0.18.0-rc.0" }
+apollo_config = { path = "crates/apollo_config", version = "0.18.0-rc.0" }
 apollo_config_manager.path = "crates/apollo_config_manager"
 apollo_config_manager_config.path = "crates/apollo_config_manager_config"
 apollo_config_manager_types.path = "crates/apollo_config_manager_types"
@@ -164,7 +164,7 @@ apollo_gateway_types.path = "crates/apollo_gateway_types"
 apollo_http_server.path = "crates/apollo_http_server"
 apollo_http_server_config.path = "crates/apollo_http_server_config"
 apollo_infra.path = "crates/apollo_infra"
-apollo_infra_utils = { path = "crates/apollo_infra_utils", version = "0.18.0-dev.2" }
+apollo_infra_utils = { path = "crates/apollo_infra_utils", version = "0.18.0-rc.0" }
 apollo_integration_tests.path = "crates/apollo_integration_tests"
 apollo_l1_gas_price.path = "crates/apollo_l1_gas_price"
 apollo_l1_gas_price_provider_config.path = "crates/apollo_l1_gas_price_provider_config"
@@ -179,7 +179,7 @@ apollo_mempool_p2p.path = "crates/apollo_mempool_p2p"
 apollo_mempool_p2p_config.path = "crates/apollo_mempool_p2p_config"
 apollo_mempool_p2p_types.path = "crates/apollo_mempool_p2p_types"
 apollo_mempool_types.path = "crates/apollo_mempool_types"
-apollo_metrics = { path = "crates/apollo_metrics", version = "0.18.0-dev.2" }
+apollo_metrics = { path = "crates/apollo_metrics", version = "0.18.0-rc.0" }
 apollo_monitoring_endpoint.path = "crates/apollo_monitoring_endpoint"
 apollo_monitoring_endpoint_config.path = "crates/apollo_monitoring_endpoint_config"
 apollo_network.path = "crates/apollo_network"
@@ -189,7 +189,7 @@ apollo_node.path = "crates/apollo_node"
 apollo_node_config.path = "crates/apollo_node_config"
 apollo_p2p_sync.path = "crates/apollo_p2p_sync"
 apollo_p2p_sync_config.path = "crates/apollo_p2p_sync_config"
-apollo_proc_macros = { path = "crates/apollo_proc_macros", version = "0.18.0-dev.2" }
+apollo_proc_macros = { path = "crates/apollo_proc_macros", version = "0.18.0-rc.0" }
 apollo_proc_macros_tests.path = "crates/apollo_proc_macros_tests"
 apollo_proof_manager.path = "crates/apollo_proof_manager"
 apollo_proof_manager_config.path = "crates/apollo_proof_manager_config"
@@ -202,12 +202,12 @@ apollo_rpc_execution.path = "crates/apollo_rpc_execution"
 apollo_sierra_compilation_config.path = "crates/apollo_sierra_compilation_config"
 apollo_signature_manager.path = "crates/apollo_signature_manager"
 apollo_signature_manager_types.path = "crates/apollo_signature_manager_types"
-apollo_sizeof = { path = "crates/apollo_sizeof", version = "0.18.0-dev.2" }
-apollo_sizeof_macros = { path = "crates/apollo_sizeof_macros", version = "0.18.0-dev.2" }
+apollo_sizeof = { path = "crates/apollo_sizeof", version = "0.18.0-rc.0" }
+apollo_sizeof_macros = { path = "crates/apollo_sizeof_macros", version = "0.18.0-rc.0" }
 apollo_staking.path = "crates/apollo_staking"
 apollo_staking_config.path = "crates/apollo_staking_config"
 apollo_starknet_client.path = "crates/apollo_starknet_client"
-apollo_starknet_os_program = { path = "crates/apollo_starknet_os_program", version = "0.18.0-dev.2" }
+apollo_starknet_os_program = { path = "crates/apollo_starknet_os_program", version = "0.18.0-rc.0" }
 apollo_state_reader.path = "crates/apollo_state_reader"
 apollo_state_sync.path = "crates/apollo_state_sync"
 apollo_state_sync_config.path = "crates/apollo_state_sync_config"
@@ -216,7 +216,7 @@ apollo_state_sync_types.path = "crates/apollo_state_sync_types"
 apollo_storage.path = "crates/apollo_storage"
 apollo_task_executor.path = "crates/apollo_task_executor"
 apollo_test_utils.path = "crates/apollo_test_utils"
-apollo_time = { path = "crates/apollo_time", version = "0.18.0-dev.2" }
+apollo_time = { path = "crates/apollo_time", version = "0.18.0-rc.0" }
 apollo_transaction_converter.path = "crates/apollo_transaction_converter"
 ark-bls12-381 = "0.5.0"
 ark-ec = "0.5.0"
@@ -236,23 +236,23 @@ bench_tools.path = "crates/bench_tools"
 bincode = "1.3.3"
 bitvec = "1.0.1"
 blake2 = "0.10.6"
-blockifier = { path = "crates/blockifier", version = "0.18.0-dev.2" }
+blockifier = { path = "crates/blockifier", version = "0.18.0-rc.0" }
 blockifier_reexecution.path = "crates/blockifier_reexecution"
-blockifier_test_utils = { path = "crates/blockifier_test_utils", version = "0.18.0-dev.2" }
+blockifier_test_utils = { path = "crates/blockifier_test_utils", version = "0.18.0-rc.0" }
 byteorder = "1.4.3"
 bytes = "1"
 bzip2 = { version = "0.5.0", default-features = false }
 c-kzg = "2.1.5"
 cached = "0.44.0"
 cairo-air = "1.1.0"
 cairo-felt = "0.9.1"
-cairo-lang-casm = "2.16.0"
-cairo-lang-runner = "2.16.0"
-cairo-lang-sierra = "2.16.0"
-cairo-lang-sierra-to-casm = "2.16.0"
-cairo-lang-starknet-classes = "2.16.0"
-cairo-lang-utils = "2.16.0"
-cairo-native = "0.9.0-rc.2"
+cairo-lang-casm = "2.17.0-rc.4"
+cairo-lang-runner = "2.17.0-rc.4"
+cairo-lang-sierra = "2.17.0-rc.4"
+cairo-lang-sierra-to-casm = "2.17.0-rc.4"
+cairo-lang-starknet-classes = "2.17.0-rc.4"
+cairo-lang-utils = "2.17.0-rc.4"
+cairo-native = "0.9.0-rc.4"
 cairo-program-runner-lib = "1.1.0"
 cairo-vm = "3.2.0"
 camelpaste = "0.1.0"
@@ -324,8 +324,8 @@ paste = "1.0.15"
 phf = "0.11"
 pretty_assertions = "1.4.0"
 primitive-types = "0.12.1"
-privacy-circuit-verify = { git = "https://github.com/starkware-libs/proving-utils", rev = "dbc39e745d23424f1997ce3505ce5f83805cefde" }
-privacy-prove = { git = "https://github.com/starkware-libs/proving-utils", rev = "dbc39e745d23424f1997ce3505ce5f83805cefde" }
+privacy-circuit-verify = { git = "https://github.com/starkware-libs/proving-utils", rev = "0305dbe" }
+privacy-prove = { git = "https://github.com/starkware-libs/proving-utils", rev = "0305dbe" }
 proc-macro2 = "1.0"
 prometheus-parse = "0.2.4"
 prost = "0.12.1"
@@ -367,15 +367,15 @@ starknet-ff = "0.3.7"
 starknet-rust = "0.17.0"
 starknet-rust-core = "0.16.0"
 starknet-types-core = "0.2.4"
-starknet_api = { path = "crates/starknet_api", version = "0.18.0-dev.2" }
+starknet_api = { path = "crates/starknet_api", version = "0.18.0-rc.0" }
 starknet_committer.path = "crates/starknet_committer"
 starknet_committer_and_os_cli.path = "crates/starknet_committer_and_os_cli"
 starknet_committer_cli.path = "crates/starknet_committer_cli"
 starknet_os.path = "crates/starknet_os"
 starknet_os_flow_tests.path = "crates/starknet_os_flow_tests"
 starknet_patricia.path = "crates/starknet_patricia"
 starknet_patricia_storage.path = "crates/starknet_patricia_storage"
-starknet_proof_verifier = { path = "crates/starknet_proof_verifier", version = "0.18.0-dev.2" }
+starknet_proof_verifier = { path = "crates/starknet_proof_verifier", version = "0.18.0-rc.0" }
 starknet_transaction_prover.path = "crates/starknet_transaction_prover"
 static_assertions = "1.1.0"
 strum = "0.27.2"
diff --git a/crates/apollo_compile_to_casm/src/allowed_libfuncs.json b/crates/apollo_compile_to_casm/src/allowed_libfuncs.json
@@ -117,7 +117,11 @@
         "get_class_hash_at_syscall": null,
         "get_execution_info_syscall": null,
         "get_execution_info_v2_syscall": null,
-        "get_execution_info_v3_syscall": null,
+        "get_execution_info_v3_syscall": {
+            "major": 1,
+            "minor": 8,
+            "patch": 0
+        },
         "hades_permutation": null,
         "i128_const": null,
         "i128_diff": null,
diff --git a/crates/apollo_compile_to_casm/src/compile_test.rs b/crates/apollo_compile_to_casm/src/compile_test.rs
@@ -35,7 +35,7 @@ const SIERRA_COMPILATION_CONFIG: SierraCompilationConfig = SierraCompilationConf
 
 // Libfuncs in allowed_libfuncs.json but not yet in Cairo's audited list.
 // Remove entries once they're added to the audited list.
-const PENDING_LIBFUNCS: &[&str] = &["get_execution_info_v3_syscall"];
+const PENDING_LIBFUNCS: &[&str] = &[];
 
 fn compiler() -> SierraToCasmCompiler {
     SierraToCasmCompiler::new(SIERRA_COMPILATION_CONFIG)
diff --git a/crates/apollo_compile_to_casm_types/src/test.rs b/crates/apollo_compile_to_casm_types/src/test.rs
@@ -24,7 +24,7 @@ fn test_size_of_serialized() {
 fn compact_serialization() {
     const EXPECTED: &str = "{\"V1\":[{\"bytecode\":[\"0x1\",\"0x1\",\"0x1\"],\"compiler_version\":\
                             \"\",\"entry_points_by_type\":{\"CONSTRUCTOR\":[],\"EXTERNAL\":[],\"\
-                            L1_HANDLER\":[]},\"hints\":[],\"prime\":\"0x0\"},\"1.7.0\"]}";
+                            L1_HANDLER\":[]},\"hints\":[],\"prime\":\"0x0\"},\"1.8.0\"]}";
     let raw_executable_class = RawExecutableClass::test_casm_contract_class();
     let serialized = serde_json::to_string(&raw_executable_class.0).unwrap();
 
diff --git a/crates/apollo_compile_to_native/src/constants.rs b/crates/apollo_compile_to_native/src/constants.rs
@@ -4,4 +4,4 @@
 
 pub(crate) const CAIRO_NATIVE_BINARY_NAME: &str = "starknet-native-compile";
 
-pub const REQUIRED_CAIRO_NATIVE_VERSION: &str = "0.9.0-rc.2";
+pub const REQUIRED_CAIRO_NATIVE_VERSION: &str = "0.9.0-rc.4";
diff --git a/crates/apollo_infra_utils/src/cairo_compiler_version.rs b/crates/apollo_infra_utils/src/cairo_compiler_version.rs
@@ -2,4 +2,4 @@
 #[path = "cairo_compiler_version_test.rs"]
 mod cairo_compiler_version_test;
 
-pub const CAIRO1_COMPILER_VERSION: &str = "2.16.0";
+pub const CAIRO1_COMPILER_VERSION: &str = "2.17.0-rc.4";
diff --git a/crates/blockifier/src/bouncer_test.rs b/crates/blockifier/src/bouncer_test.rs
@@ -804,11 +804,11 @@ fn class_hash_migration_data_from_state(
 
     if should_migrate {
         expect![[r#"
-            111243605
+            111245775
         "#]]
         .assert_debug_eq(&migration_sierra_gas.0);
         expect![[r#"
-            269415472
+            269417662
         "#]]
         .assert_debug_eq(&migration_proving_gas.0);
     } else {
diff --git a/crates/blockifier_test_utils/src/contracts.rs b/crates/blockifier_test_utils/src/contracts.rs
@@ -432,9 +432,6 @@ impl FeatureContract {
             Self::Experimental => {
                 LibfuncArg::ListFile("./resources/experimental_libfuncs.json".to_string())
             }
-            // TODO(AvivG): Remove once the compiler outputs Sierra ≥1.8.0.
-            Self::TestContract(_) => LibfuncArg::ListName("all".to_string()),
-
             Self::LegacyTestContract | Self::CairoStepsTestContract => {
                 LibfuncArg::ListFile(allowed_libfuncs_legacy_json_path())
             }
diff --git a/crates/starknet_api/src/contract_class/structs.rs b/crates/starknet_api/src/contract_class/structs.rs
@@ -78,7 +78,7 @@ impl SierraVersion {
     /// Version of deprecated contract class (Cairo 0).
     pub const DEPRECATED: Self = Self(Version::new(0, 0, 0));
 
-    pub const LATEST: Self = Self(Version::new(1, 7, 0));
+    pub const LATEST: Self = Self(Version::new(1, 8, 0));
 
     pub fn new(major: u64, minor: u64, patch: u64) -> Self {
         Self(Version::new(major, minor, patch))
diff --git a/crates/starknet_os/src/hints/hint_implementation/compiled_class/compiled_class_test.rs b/crates/starknet_os/src/hints/hint_implementation/compiled_class/compiled_class_test.rs
@@ -53,10 +53,10 @@ use crate::vm_utils::{get_address_of_nested_fields_from_base_address, LoadCairoO
 // V1 (Poseidon) HASH CONSTS
 /// Expected Poseidon hash for the test contract.
 const EXPECTED_V1_HASH: expect_test::Expect =
-    expect!["695083628483333658951120649675925810581194853520678549337469729569818230987"];
+    expect!["999275515568006028307283908900764751466300037034630245880145212575608036868"];
 const EXPECTED_BUILTIN_USAGE_FULL_CONTRACT_V1_HASH: expect_test::Expect =
     expect!["poseidon_builtin: 16023"];
-const EXPECTED_N_STEPS_FULL_CONTRACT_V1_HASH: Expect = expect!["190702"];
+const EXPECTED_N_STEPS_FULL_CONTRACT_V1_HASH: Expect = expect!["190705"];
 // Expected execution resources for loading partial contract.
 const EXPECTED_BUILTIN_USAGE_PARTIAL_CONTRACT_V1_HASH: expect_test::Expect =
     expect!["poseidon_builtin: 469, range_check_builtin: 233"];
@@ -67,11 +67,11 @@ const ALLOWED_MARGIN_N_STEPS: usize = 127;
 //  V2 (Blake) HASH CONSTS
 /// Expected Blake hash for the test contract
 const EXPECTED_V2_HASH: expect_test::Expect =
-    expect!["2623458436807550198734332480815982315539765886359127802831902189580009899243"];
+    expect!["2283996186416818293582511354369937106720755819352182396112367539994319472752"];
 // Expected execution resources for loading full contract.
 const EXPECTED_BUILTIN_USAGE_FULL_CONTRACT_V2_HASH: expect_test::Expect =
-    expect!["range_check_builtin: 32599"];
-const EXPECTED_N_STEPS_FULL_CONTRACT_V2_HASH: Expect = expect!["616887"];
+    expect!["range_check_builtin: 32600"];
+const EXPECTED_N_STEPS_FULL_CONTRACT_V2_HASH: Expect = expect!["616905"];
 // Expected execution resources for loading partial contract.
 const EXPECTED_BUILTIN_USAGE_PARTIAL_CONTRACT_V2_HASH: expect_test::Expect =
     expect!["range_check_builtin: 1332"];
diff --git a/crates/starknet_os_flow_tests/src/fuzz_tests.rs b/crates/starknet_os_flow_tests/src/fuzz_tests.rs
@@ -69,15 +69,15 @@ static IS_CAIRO1: LazyLock<BTreeMap<ClassHash, bool>> = LazyLock::new(|| {
 
 /// Initial fuzz contract addresses.
 static FUZZ_ADDRESS_ORCHESTRATOR_EXPECT: Expect =
-    expect!["0x42a4e070a0336c42c1de292bc3de986ae479bc5187d86a6dca4c52c6e502d6f"];
+    expect!["0x69d54a15354f288de868a0210ec33d6e2ab6ece44fc7f9928294240086736ec"];
 static FUZZ_ADDRESS_CAIRO1_A_EXPECT: Expect =
-    expect!["0x16e64f8a922cdc8d5ad1f82e95bc2275edc58df5d5ee0e534aab447416af2dc"];
+    expect!["0x634f0613f6df82b4e13834a12a12bff3553f3f679f4718924a70dce8495dd25"];
 static FUZZ_ADDRESS_CAIRO1_B_EXPECT: Expect =
-    expect!["0x79e5bbf94726e2c61e1e3af00c35bea7677e8ae44e7e924ebc3fcf4344622eb"];
+    expect!["0x1603f10e783471750094cd6e8d759de8bbed187436f5a97e148bfe1811ff533"];
 static FUZZ_ADDRESS_CAIRO0_A_EXPECT: Expect =
-    expect!["0x479702bc960f2f44f7f3e035004b39a3ff75dc20241c125cba6ee7b6219980a"];
+    expect!["0x64eb9d64ea195139e48c9b188bc2e0a6e6c45935e64499744be63112d1e08ad"];
 static FUZZ_ADDRESS_CAIRO0_B_EXPECT: Expect =
-    expect!["0x1c66f6247710a781b756f57d771c841c6dedd224eb7c53130656c2f03f8ab48"];
+    expect!["0x44a188168acc2ea7c3fa8554db01650b7e2ee981101b9ab4a27c2be77b36a48"];
 static FUZZ_ADDRESS_ORCHESTRATOR: LazyLock<ContractAddress> = LazyLock::new(|| {
     ContractAddress::try_from(felt!(FUZZ_ADDRESS_ORCHESTRATOR_EXPECT.data())).unwrap()
 });
diff --git a/crates/starknet_os_flow_tests/src/test_manager.rs b/crates/starknet_os_flow_tests/src/test_manager.rs
@@ -101,7 +101,7 @@ use crate::utils::{
 /// must be updated.
 pub(crate) const EXPECTED_STRK_FEE_TOKEN_ADDRESS: Expect = expect![
     r#"
-    0x1d9267d6952e9d1fc449d4b2f91b439b65b48365294b9c0731a9faf578e1b14
+    0x4ff17bf76a1c6cebb82601a43bcab4f9650aea543c44f28e8863f8b624e4b58
 "#
 ];
 const SEQUENCER_ADDRESS_FELT: Felt = Felt::from_hex_unchecked(TEST_SEQUENCER_ADDRESS);

Original file line number	Diff line number	Diff line change
`@@ -4,4 +4,4 @@`
`4`	`4`
`5`	`5`	`pub(crate) const CAIRO_NATIVE_BINARY_NAME: &str = "starknet-native-compile";`
`6`	`6`
`7`		`-pub const REQUIRED_CAIRO_NATIVE_VERSION: &str = "0.9.0-rc.2";`
	`7`	`+pub const REQUIRED_CAIRO_NATIVE_VERSION: &str = "0.9.0-rc.4";`
Original file line number	Diff line number	Diff line change
`@@ -432,9 +432,6 @@ impl FeatureContract {`
`432`	`432`	`Self::Experimental => {`
`433`	`433`	`LibfuncArg::ListFile("./resources/experimental_libfuncs.json".to_string())`
`434`	`434`	`}`
`435`		`- // TODO(AvivG): Remove once the compiler outputs Sierra ≥1.8.0.`
`436`		`- Self::TestContract(_) => LibfuncArg::ListName("all".to_string()),`
`437`		`-`
`438`	`435`	`Self::LegacyTestContract \| Self::CairoStepsTestContract => {`
`439`	`436`	`LibfuncArg::ListFile(allowed_libfuncs_legacy_json_path())`
`440`	`437`	`}`