release: bump compiler version to 2.19.0-rc.2 (#14314)

dorimedini-starkware · web-flow · commit 8fec81e6f733 · 2026-06-03T15:29:15.000Z
Signed-off-by: Dori Medini &lt;dori@starkware.co&gt;
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -253,12 +253,12 @@ c-kzg = "2.1.5"
 cached = "0.44.0"
 cairo-air = "1.1.0"
 cairo-felt = "0.9.1"
-cairo-lang-casm = "2.19.0-rc.0"
-cairo-lang-runner = "2.19.0-rc.0"
-cairo-lang-sierra = "2.19.0-rc.0"
-cairo-lang-sierra-to-casm = "2.19.0-rc.0"
-cairo-lang-starknet-classes = "2.19.0-rc.0"
-cairo-lang-utils = "2.19.0-rc.0"
+cairo-lang-casm = "2.19.0-rc.2"
+cairo-lang-runner = "2.19.0-rc.2"
+cairo-lang-sierra = "2.19.0-rc.2"
+cairo-lang-sierra-to-casm = "2.19.0-rc.2"
+cairo-lang-starknet-classes = "2.19.0-rc.2"
+cairo-lang-utils = "2.19.0-rc.2"
 cairo-native = "0.9.0-rc.7"
 cairo-program-runner-lib = "1.1.0"
 cairo-vm = "3.2.0"
diff --git a/crates/apollo_compile_to_casm/src/allowed_libfuncs.json b/crates/apollo_compile_to_casm/src/allowed_libfuncs.json
@@ -199,9 +199,21 @@
         "sha256_process_block_syscall": null,
         "sha256_state_handle_digest": null,
         "sha256_state_handle_init": null,
-        "sha512_process_block_syscall": null,
-        "sha512_state_handle_digest": null,
-        "sha512_state_handle_init": null,
+        "sha512_process_block_syscall": {
+            "major": 1,
+            "minor": 9,
+            "patch": 0
+        },
+        "sha512_state_handle_digest": {
+            "major": 1,
+            "minor": 9,
+            "patch": 0
+        },
+        "sha512_state_handle_init": {
+            "major": 1,
+            "minor": 9,
+            "patch": 0
+        },
         "snapshot_take": null,
         "span_from_tuple": null,
         "squashed_felt252_dict_entries": {
diff --git a/crates/apollo_compile_to_casm_types/src/test.rs b/crates/apollo_compile_to_casm_types/src/test.rs
@@ -22,14 +22,17 @@ fn test_size_of_serialized() {
 
 #[test]
 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.8.0\"]}";
+    let sierra_version = format!("{}", SierraVersion::LATEST);
+    let expected = format!(
+        "{{\"V1\":[{{\"bytecode\":[\"0x1\",\"0x1\",\"0x1\"],\"compiler_version\":\"\",\"\
+         entry_points_by_type\":{{\"CONSTRUCTOR\":[],\"EXTERNAL\":[],\"L1_HANDLER\":[]}},\"hints\"\
+         :[],\"prime\":\"0x0\"}},\"{sierra_version}\"]}}"
+    );
     let raw_executable_class = RawExecutableClass::test_casm_contract_class();
     let serialized = serde_json::to_string(&raw_executable_class.0).unwrap();
 
-    assert_eq!(serialized, EXPECTED);
-    assert_eq!(raw_executable_class.size().unwrap(), EXPECTED.len());
+    assert_eq!(serialized, expected);
+    assert_eq!(raw_executable_class.size().unwrap(), expected.len());
 }
 
 #[test]
diff --git a/crates/apollo_deployments/resources/app_configs/gateway_config.json b/crates/apollo_deployments/resources/app_configs/gateway_config.json
@@ -24,11 +24,11 @@
   "gateway_config.static_config.stateless_tx_validator_config.max_l2_gas_amount": 1210000000,
   "gateway_config.static_config.stateless_tx_validator_config.max_proof_size": 480000,
   "gateway_config.static_config.stateless_tx_validator_config.max_sierra_version.major": 1,
-  "gateway_config.static_config.stateless_tx_validator_config.max_sierra_version.minor": 8,
+  "gateway_config.static_config.stateless_tx_validator_config.max_sierra_version.minor": 9,
   "gateway_config.static_config.stateless_tx_validator_config.max_sierra_version.patch": 0,
   "gateway_config.static_config.stateless_tx_validator_config.max_signature_length": 4000,
   "gateway_config.static_config.stateless_tx_validator_config.min_gas_price": 8000000000,
   "gateway_config.static_config.stateless_tx_validator_config.min_sierra_version.major": 1,
   "gateway_config.static_config.stateless_tx_validator_config.min_sierra_version.minor": 1,
   "gateway_config.static_config.stateless_tx_validator_config.min_sierra_version.patch": 0
-}
+}
diff --git a/crates/apollo_deployments/resources/app_configs/replacer_gateway_config.json b/crates/apollo_deployments/resources/app_configs/replacer_gateway_config.json
@@ -24,7 +24,7 @@
   "gateway_config.static_config.stateless_tx_validator_config.max_l2_gas_amount": 1210000000,
   "gateway_config.static_config.stateless_tx_validator_config.max_proof_size": 480000,
   "gateway_config.static_config.stateless_tx_validator_config.max_sierra_version.major": 1,
-  "gateway_config.static_config.stateless_tx_validator_config.max_sierra_version.minor": 8,
+  "gateway_config.static_config.stateless_tx_validator_config.max_sierra_version.minor": 9,
   "gateway_config.static_config.stateless_tx_validator_config.max_sierra_version.patch": 0,
   "gateway_config.static_config.stateless_tx_validator_config.max_signature_length": 4000,
   "gateway_config.static_config.stateless_tx_validator_config.min_gas_price": "$$$_GATEWAY_CONFIG-STATIC_CONFIG-STATELESS_TX_VALIDATOR_CONFIG-MIN_GAS_PRICE_$$$",
diff --git a/crates/apollo_gateway_config/src/config.rs b/crates/apollo_gateway_config/src/config.rs
@@ -169,7 +169,7 @@ impl Default for StatelessTransactionValidatorConfig {
             max_contract_bytecode_size: 81920,
             max_contract_class_object_size: 4089446,
             min_sierra_version: VersionId::new(1, 1, 0),
-            max_sierra_version: VersionId::new(1, 8, usize::MAX),
+            max_sierra_version: VersionId::new(1, 9, usize::MAX),
             allow_client_side_proving: true,
             max_proof_size: 480000,
         }
diff --git a/crates/apollo_infra_utils/src/cairo_compiler_version.txt b/crates/apollo_infra_utils/src/cairo_compiler_version.txt
@@ -1 +1 @@
-2.19.0-rc.0
+2.19.0-rc.2
diff --git a/crates/apollo_integration_tests/resources/proof_flow/proof.bin b/crates/apollo_integration_tests/resources/proof_flow/proof.bin
diff --git a/crates/apollo_integration_tests/resources/proof_flow/proof_facts.json b/crates/apollo_integration_tests/resources/proof_flow/proof_facts.json
@@ -4,7 +4,7 @@
   "0x6ecb73d21c7d98ddd4148f5bcd91cc2747c65364245fbf32a63b05cca1685c2",
   "0x5649525455414c5f534e4f5330",
   "0x0",
-  "0x16bcf42661609d3e6095235597f329fa8e35bf79082997a40149fdb2ef6975a",
-  "0x1ad2c853941f7f8abefca26097b05c0dfdf62626254533a118936a9939397f8",
+  "0x3abe9bf84386186c934bd977b04e9ffc20cc5f4660b418e9d3315fe70b4dd4d",
+  "0x49a02886df904a120ce081cb0d3262214adda6f5d158b5dca4eb51c74048bcd",
   "0x0"
 ]
diff --git a/crates/apollo_integration_tests/src/state_reader.rs b/crates/apollo_integration_tests/src/state_reader.rs
@@ -382,7 +382,7 @@ fn initialize_papyrus_test_state(
 /// `cargo +nightly-2025-07-14 test -p starknet_os_flow_tests --features
 /// starknet_transaction_prover/stwo_proving --release generate_proof_fixtures -- --ignored`.
 pub const EXPECTED_PROOF_FLOW_GENESIS_GLOBAL_ROOT: Expect =
-    expect!["0x7d9c165e57cf22a07e90cf2a7aefdfde8d4a0caa977c898968fce3e9b4763b2"];
+    expect!["0x1f494e26800f29ed05504531c6591aea214c6e64f3ea2fcf9d896060fd141e7"];
 
 pub fn integration_test_genesis_global_root() -> GlobalRoot {
     GlobalRoot(Felt::from_hex_unchecked(EXPECTED_PROOF_FLOW_GENESIS_GLOBAL_ROOT.data()))
diff --git a/crates/apollo_node/resources/config_schema.json b/crates/apollo_node/resources/config_schema.json
@@ -3137,7 +3137,7 @@
   "gateway_config.static_config.stateless_tx_validator_config.max_sierra_version.minor": {
     "description": "The minor version of the configuration.",
     "privacy": "Public",
-    "value": 8
+    "value": 9
   },
   "gateway_config.static_config.stateless_tx_validator_config.max_sierra_version.patch": {
     "description": "The patch version of the configuration.",
diff --git a/crates/blockifier_test_utils/resources/feature_contracts/cairo1/test_contract.cairo b/crates/blockifier_test_utils/resources/feature_contracts/cairo1/test_contract.cairo
@@ -15,7 +15,7 @@ mod TestContract {
     use core::pedersen::PedersenTrait;
     use core::poseidon::PoseidonTrait;
     use core::sha256::{SHA256_INITIAL_STATE, compute_sha256_u32_array, sha256_state_handle_init};
-    use core::sha512::compute_sha512_u64_array;
+    use core::sha512::{compute_sha512_u64_array, u3};
     use dict::Felt252DictTrait;
     use ec::EcPointTrait;
     use starknet::class_hash::ClassHashZero;
@@ -709,7 +709,7 @@ mod TestContract {
     }
 
     fn test_sha512_helper(
-        input: Array<u64>, last_word: u64, last_num_bytes: u32, expected_first_word: u64,
+        input: Array<u64>, last_word: u64, last_num_bytes: u3, expected_first_word: u64,
     ) {
         let [res, _, _, _, _, _, _, _] = compute_sha512_u64_array(input, last_word, last_num_bytes);
         assert(res == expected_first_word, 'Wrong hash value');
diff --git a/crates/blockifier_test_utils/src/fee_token_addresses.rs b/crates/blockifier_test_utils/src/fee_token_addresses.rs
@@ -8,4 +8,4 @@ use expect_test::{expect, Expect};
 /// `cargo +nightly-2025-07-14 test -p starknet_os_flow_tests --features
 /// starknet_transaction_prover/stwo_proving --release generate_proof_fixtures -- --ignored`.
 pub const EXPECTED_STRK_FEE_TOKEN_ADDRESS: Expect =
-    expect!["0x40d4791db41c1685ab040ebd1580fac0fb4a51bd00fad38db281f5ed9ec7196"];
+    expect!["0x216e06f4761eb833ec9fbc9d08ae554427a2e6f23539d669a26d7e9997222b3"];
diff --git a/crates/central_systest_blobs/resources/blob_file_generation b/crates/central_systest_blobs/resources/blob_file_generation
@@ -1 +1 @@
-25
+30
diff --git a/crates/central_systest_blobs/resources/chain_info.json b/crates/central_systest_blobs/resources/chain_info.json
@@ -1,4 +1,4 @@
 {
   "chain_id": "0x534e5f505245494e544547524154494f4e5f5345504f4c4941",
-  "strk_fee_token_address": "0x06c6a50ee425e9ff35846be376051b8cdbdc1aadc6c954209fe3fd247a571b33"
+  "strk_fee_token_address": "0x02a923bbf356314a81a808026faa2122dd28b43dfe377e07c3eab991f3ff546f"
 }
diff --git a/crates/central_systest_blobs/resources/preconfirmed_block.json b/crates/central_systest_blobs/resources/preconfirmed_block.json
@@ -24,12 +24,12 @@
         "events": [
           {
             "data": [
-              "0x3d3759cf036b96f8105f40dcf3fe0c209be3419154aa458d03336ad0443ce81",
+              "0x77d86fd8780d6ecbc3e1b630d434217c2b021664800bc586bb2c418f568b636",
               "0x1000",
               "0x1089a9",
               "0x0"
             ],
-            "from_address": "0x6c6a50ee425e9ff35846be376051b8cdbdc1aadc6c954209fe3fd247a571b33",
+            "from_address": "0x2a923bbf356314a81a808026faa2122dd28b43dfe377e07c3eab991f3ff546f",
             "keys": [
               "0x99cd8bde557814842a3121e8ddfd433a539b8c9f14bf31ebf108d12e6196e9"
             ]
@@ -56,7 +56,7 @@
         },
         "execution_status": "SUCCEEDED",
         "l2_to_l1_messages": [],
-        "transaction_hash": "0x29253f69c9f9302f0244a058beaa8010bb939fd36c2c98fdb6999e9efa07085",
+        "transaction_hash": "0x434636493650de691a72e8979f076ab818030bc4cfae858ad8515f4e8287267",
         "transaction_index": 0
       }
     ],
@@ -66,14 +66,14 @@
         "deployed_contracts": [],
         "migrated_compiled_classes": [],
         "nonces": {
-          "0x3d3759cf036b96f8105f40dcf3fe0c209be3419154aa458d03336ad0443ce81": "0xc"
+          "0x77d86fd8780d6ecbc3e1b630d434217c2b021664800bc586bb2c418f568b636": "0xc"
         },
         "old_declared_contracts": [],
         "replaced_classes": [],
         "storage_diffs": {
-          "0x6c6a50ee425e9ff35846be376051b8cdbdc1aadc6c954209fe3fd247a571b33": [
+          "0x2a923bbf356314a81a808026faa2122dd28b43dfe377e07c3eab991f3ff546f": [
             {
-              "key": "0x2cbac7495ce24b399327e9282b09d029b1dd772b24b7e8dcd0467fedab5af58",
+              "key": "0x1c570b9473497df42aabd456113206b43651a9190f475f4b702c1ce2a78f875",
               "value": "0xfffffffffffffffffffffffff98b7243"
             },
             {
@@ -89,10 +89,10 @@
         "account_deployment_data": [],
         "calldata": [
           "0x1",
-          "0x43299b38c95de8c24688ff488d375450de78981a4687d495603db8450c4e444",
+          "0x5964d32d9c55665ea1d0cc1bf73f31a2d01d02b68a70a5b55e8caefc7be33e0",
           "0x4ea6d2b84c4aea3baab8c031143fcd1fdf95debad5f888784f8db17e1c17f4",
           "0x2",
-          "0x2dcde596c118a8c9016ce29e5fc592b285018c772966ade1f3077d8dd6e5bca",
+          "0x3f77d75706f78a1102c272d72bbee0e26727a67881606534211c99fbeb21a61",
           "0x2000"
         ],
         "fee_data_availability_mode": 0,
@@ -114,13 +114,13 @@
             "max_price_per_unit": "0x3b9aca00"
           }
         },
-        "sender_address": "0x3d3759cf036b96f8105f40dcf3fe0c209be3419154aa458d03336ad0443ce81",
+        "sender_address": "0x77d86fd8780d6ecbc3e1b630d434217c2b021664800bc586bb2c418f568b636",
         "signature": [
-          "0x747d3bc3bc45bf165a867f1b3a6c1037faa712995dbb2a3960e3b27b54b1579",
-          "0xff4f43df4e2a3ceed86d14b6746294c3dbff3322466ae0b2280ad3b4d9d056"
+          "0x18104132007d94c7c4734bc388f7798e8c80a9d16cbebcf4fbffc2144d84f1f",
+          "0x3e0fce2a600904d45b3e99ae4e85144910809b2ac8acd82ef8eab64bb72dc16"
         ],
         "tip": "0x0",
-        "transaction_hash": "0x29253f69c9f9302f0244a058beaa8010bb939fd36c2c98fdb6999e9efa07085",
+        "transaction_hash": "0x434636493650de691a72e8979f076ab818030bc4cfae858ad8515f4e8287267",
         "type": "INVOKE_FUNCTION",
         "version": "0x3"
       }
diff --git a/crates/central_systest_blobs/src/cende_blob_regression_test.rs b/crates/central_systest_blobs/src/cende_blob_regression_test.rs
@@ -136,9 +136,9 @@ const CHAIN_INFO_PATH: &str = "../resources/chain_info.json";
 const PRECONFIRMED_BLOCK_PATH: &str = "../resources/preconfirmed_block.json";
 
 const EXPECTED_OPERATOR_ADDRESS: Expect =
-    expect!["0x03d3759cf036b96f8105f40dcf3fe0c209be3419154aa458d03336ad0443ce81"];
+    expect!["0x077d86fd8780d6ecbc3e1b630d434217c2b021664800bc586bb2c418f568b636"];
 const EXPECTED_FEE_TOKEN_ADDRESS: Expect =
-    expect!["0x06c6a50ee425e9ff35846be376051b8cdbdc1aadc6c954209fe3fd247a571b33"];
+    expect!["0x02a923bbf356314a81a808026faa2122dd28b43dfe377e07c3eab991f3ff546f"];
 static OPERATOR_ADDRESS: LazyLock<ContractAddress> =
     LazyLock::new(|| contract_address!(EXPECTED_OPERATOR_ADDRESS.data));
 static FEE_TOKEN_ADDRESS: LazyLock<ContractAddress> =
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, 8, 0));
+    pub const LATEST: Self = Self(Version::new(1, 9, 0));
 
     pub fn new(major: u64, minor: u64, patch: u64) -> Self {
         Self(Version::new(major, minor, patch))
@@ -142,6 +142,12 @@ impl From<(u64, u64, u64)> for SierraVersion {
     }
 }
 
+impl Display for SierraVersion {
+    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
+        write!(f, "{}.{}.{}", self.0.major, self.0.minor, self.0.patch)
+    }
+}
+
 /// All relevant information about a declared contract class, including the compiled contract class
 /// and other parameters derived from the original declare transaction required for billing.
 #[derive(Clone, Debug, Deserialize, Eq, PartialEq, Serialize)]
diff --git a/crates/starknet_os_flow_tests/src/fuzz_tests.rs b/crates/starknet_os_flow_tests/src/fuzz_tests.rs
@@ -88,15 +88,15 @@ static IS_CAIRO1: LazyLock<BTreeMap<ClassHash, bool>> = LazyLock::new(|| {
 
 /// Initial fuzz contract addresses.
 static FUZZ_ADDRESS_ORCHESTRATOR_EXPECT: Expect =
-    expect!["0x38f136db1159afdd3edfab673cf87a6e54fcc37c860dcfa0f98a5742a5213cb"];
+    expect!["0x12c6534d1a74b484788fb0fe86b5ebc36fea89e61fe6e5bae369d8120374f46"];
 static FUZZ_ADDRESS_CAIRO1_A_EXPECT: Expect =
-    expect!["0x188df0205a3d5dfd572dcc2b8d8942fa90b97017f772a9db170d8ca35a286f8"];
+    expect!["0x540e9f2a93b44679088aeaa2c575ecc3ac8649d1fede8fc413bbbc62bd75f51"];
 static FUZZ_ADDRESS_CAIRO1_B_EXPECT: Expect =
-    expect!["0x7758b558dff20f4dcffe3585207087b9123e0e1944861662f5b633a9b77aab4"];
+    expect!["0x39d47cb8c81b24c6b3f6cd8b39271da97a13a0c700309e42faf682f9d16e0a3"];
 static FUZZ_ADDRESS_CAIRO0_A_EXPECT: Expect =
-    expect!["0x5b5a5eb884441ce9346b6a292e77fbbd6797d89134fba1e3ab16f9676c4ada6"];
+    expect!["0x72d7470f205d9956c6b2211acefd00be64116bfe453fc533f5138e0501f1ca7"];
 static FUZZ_ADDRESS_CAIRO0_B_EXPECT: Expect =
-    expect!["0x5c94de69e68d8c9e2bd82f6214cb1e7f99b72ff16486118450f3863d144b96d"];
+    expect!["0x3bf01869bbb5a4cab6631d78e73388e9f7100d75ab9dcc3de4a4d6a84ba24ea"];
 static FUZZ_ADDRESS_ORCHESTRATOR: LazyLock<ContractAddress> = LazyLock::new(|| {
     ContractAddress::try_from(felt!(FUZZ_ADDRESS_ORCHESTRATOR_EXPECT.data())).unwrap()
 });

Original file line number	Diff line number	Diff line change
`@@ -169,7 +169,7 @@ impl Default for StatelessTransactionValidatorConfig {`
`169`	`169`	`max_contract_bytecode_size: 81920,`
`170`	`170`	`max_contract_class_object_size: 4089446,`
`171`	`171`	`min_sierra_version: VersionId::new(1, 1, 0),`
`172`		`- max_sierra_version: VersionId::new(1, 8, usize::MAX),`
	`172`	`+ max_sierra_version: VersionId::new(1, 9, usize::MAX),`
`173`	`173`	`allow_client_side_proving: true,`
`174`	`174`	`max_proof_size: 480000,`
`175`	`175`	`}`