feat(ci): upgrade cairo-lang to 0.14.0a1 (#6353)

Author: dorimedini-starkware

Cargo.lock

@@ -150,6 +150,7 @@ base64 = "0.13.0"
 bincode = "1.3.3"
 bisection = "0.1.0"
 bitvec = "1.0.1"
+blake2 = "0.10.6"
 blockifier = { path = "crates/blockifier", version = "0.0.0" }
 blockifier_reexecution.path = "crates/blockifier_reexecution"
 blockifier_test_utils = { path = "crates/blockifier_test_utils", version = "0.0.0" }
@@ -175,6 +176,7 @@ criterion = "0.5.1"
 deadqueue = "0.2.4"
 defaultmap = "0.5.0"
 derive_more = "0.99.17"
+digest = "0.10.7"
 enum-as-inner = "0.6.1"
 enum-assoc = "1.1.0"
 enum-iterator = "1.4.1"

Cargo.toml

@@ -36,6 +36,7 @@ ark-ec.workspace = true
 ark-ff.workspace = true
 ark-secp256k1.workspace = true
 ark-secp256r1.workspace = true
+blake2.workspace = true
 blockifier_test_utils = { workspace = true, optional = true }
 cached.workspace = true
 cairo-lang-casm = { workspace = true, features = ["parity-scale-codec"] }
@@ -44,6 +45,7 @@ cairo-lang-starknet-classes.workspace = true
 cairo-native = { workspace = true, optional = true }
 cairo-vm.workspace = true
 derive_more.workspace = true
+digest.workspace = true
 indexmap.workspace = true
 itertools.workspace = true
 keccak.workspace = true

crates/blockifier/Cargo.toml

@@ -1,6 +1,9 @@
 use std::collections::HashMap;
 
+use blake2::Blake2s256;
 use cairo_vm::vm::runners::cairo_runner::ExecutionResources;
+use digest::Digest;
+use starknet_types_core::felt::Felt;
 
 use crate::blockifier_versioned_constants::{BaseGasCosts, BuiltinGasCosts};
 use crate::transaction::errors::NumericConversionError;
@@ -86,3 +89,76 @@ pub fn get_gas_cost_from_vm_resources(
         + n_memory_holes * base_costs.memory_hole_gas_cost
         + total_builtin_gas_cost
 }
+
+// Unpack each `Felt` into 32-bit words exactly as Cairo’s hint expects:
+/// - **Small** values `< 2^63` get **2** words: `[ high_32_bits, low_32_bits ]` from the last 8
+///   bytes of the 256-bit BE representation.
+/// - **Large** values `>= 2^63` get **8** words: the full 32-byte big-endian split, **with** the
+///   MSB of the first word set as a marker (`+2^255`).
+///
+/// # Returns
+/// A flat `Vec<u32>` containing all the unpacked words, in the same order.
+fn unpack_felt_into_u32(felts: Vec<Felt>) -> Vec<u32> {
+    // 2**63.
+    const SMALL_THRESHOLD: Felt = Felt::from_hex_unchecked("8000000000000000");
+    // MSB mask for the first u32 in the 8-limb case.
+    const BIG_MARKER: u32 = 1 << 31;
+
+    let mut unpacked_u32s = Vec::new();
+    for felt in felts {
+        let felt_as_be_bytes = felt.to_bytes_be();
+        if felt < SMALL_THRESHOLD {
+            // small: 2 limbs only, high‐32 then low‐32 of the last 8 bytes
+            let hi = u32::from_be_bytes(felt_as_be_bytes[24..28].try_into().unwrap());
+            let lo = u32::from_be_bytes(felt_as_be_bytes[28..32].try_into().unwrap());
+            unpacked_u32s.push(hi);
+            unpacked_u32s.push(lo);
+        } else {
+            // big: 8 limbs, big‐endian order
+            let start = unpacked_u32s.len();
+            for chunk in felt_as_be_bytes.chunks_exact(4) {
+                unpacked_u32s.push(u32::from_be_bytes(chunk.try_into().unwrap()));
+            }
+            // set the MSB of the very first limb as the Cairo hint does with "+ 2**255"
+            unpacked_u32s[start] |= BIG_MARKER;
+        }
+    }
+    unpacked_u32s
+}
+
+/// Packs the first 7 little-endian 32-bit words (28 bytes) of `bytes`
+/// into a single 224-bit Felt.
+fn pack_224_le_to_felt(bytes: &[u8]) -> Felt {
+    assert!(bytes.len() >= 28, "need at least 28 bytes to pack 7 words");
+
+    // 1) copy your 28-byte LE-hash into the low 28 bytes of a 32-byte buffer
+    let mut buf = [0u8; 32];
+    buf[..28].copy_from_slice(&bytes[..28]);
+
+    // 2) interpret the whole 32-byte buffer as a little-endian Felt
+    Felt::from_bytes_le(&buf)
+}
+
+pub fn blake2s_to_felt(data: &[u8]) -> Felt {
+    let mut hasher = Blake2s256::new();
+    hasher.update(data);
+    let hash32 = hasher.finalize();
+    pack_224_le_to_felt(hash32.as_slice())
+}
+
+/// Encodes a slice of `Felt` values into 32-bit words exactly as Cairo’s
+/// `encode_felt252_to_u32s` hint does, then hashes the resulting byte stream
+/// with Blake2s-256 and returns the 224-bit truncated digest as a `Felt`.
+pub fn encode_felt252_data_and_calc_224_bit_blake_hash(data: &[Felt]) -> Felt {
+    // 1) Unpack each Felt into 2 or 8 u32 limbs
+    let u32_words = unpack_felt_into_u32(data.to_vec());
+
+    // 2) Serialize the u32 limbs into a little-endian byte stream
+    let mut byte_stream = Vec::with_capacity(u32_words.len() * 4);
+    for word in u32_words {
+        byte_stream.extend_from_slice(&word.to_le_bytes());
+    }
+
+    // 3) Compute Blake2s-256 over the bytes and pack the first 224 bits into a Felt
+    blake2s_to_felt(&byte_stream)
+}

crates/blockifier/src/utils.rs

@@ -131,7 +131,7 @@
             "pedersen",
             "range_check"
         ],
-        "compiler_version": "0.13.5",
+        "compiler_version": "0.14.0a1",
         "data": [
             "0x40780017fff7fff",
             "0x1",

crates/blockifier_test_utils/resources/feature_contracts/cairo0/compiled/account_faulty_compiled.json

@@ -153,7 +153,7 @@
             "pedersen",
             "range_check"
         ],
-        "compiler_version": "0.13.5",
+        "compiler_version": "0.14.0a1",
         "data": [
             "0x480680017fff8000",
             "0x43616c6c436f6e7472616374",

crates/blockifier_test_utils/resources/feature_contracts/cairo0/compiled/account_with_dummy_validate_compiled.json

@@ -138,7 +138,7 @@
             "pedersen",
             "range_check"
         ],
-        "compiler_version": "0.13.5",
+        "compiler_version": "0.14.0a1",
         "data": [
             "0x480680017fff8000",
             "0x43616c6c436f6e7472616374",

crates/blockifier_test_utils/resources/feature_contracts/cairo0/compiled/account_with_long_validate_compiled.json

@@ -10,7 +10,7 @@
         "builtins": [
             "range_check"
         ],
-        "compiler_version": "0.13.5",
+        "compiler_version": "0.14.0a1",
         "data": [],
         "debug_info": null,
         "hints": {},

crates/blockifier_test_utils/resources/feature_contracts/cairo0/compiled/empty_contract_compiled.json

@@ -410,7 +410,7 @@
             "ecdsa",
             "ec_op"
         ],
-        "compiler_version": "0.13.5",
+        "compiler_version": "0.14.0a1",
         "data": [
             "0x40780017fff7fff",
             "0x1",

crates/blockifier_test_utils/resources/feature_contracts/cairo0/compiled/security_tests_contract_compiled.json

@@ -907,7 +907,7 @@
             "bitwise",
             "ec_op"
         ],
-        "compiler_version": "0.13.5",
+        "compiler_version": "0.14.0a1",
         "data": [
             "0x40780017fff7fff",
             "0x1",