Cairo-v0.14.0.1.

Author: dorimedini-starkware

src/starkware/cairo/common/cairo_blake2s/blake2s.cairo

@@ -667,7 +667,6 @@ const BLAKE2S_FINALIZE_INSTRUCTION = OFF_MINUS_1 * COUNTER_OFFSET + OFF_MINUS_3
     OPCODE_EXT_OFFSET;
 
 // Computes blake2s of `input` of size `len` felts, representing 32 bits each.
-// Note: this function guarantees that len > 0.
 func blake_with_opcode{range_check_ptr}(len: felt, data: felt*, out: felt*) {
     alloc_locals;
 
@@ -682,8 +681,16 @@ func blake_with_opcode{range_check_ptr}(len: felt, data: felt*, out: felt*) {
     assert state[7] = 0x5BE0CD19;
 
     // Express the length in bytes, subtract the remainder for finalize.
-    let (_, rem) = unsigned_div_rem(len - 1, 16);
-    local rem = rem + 1;
+    local rem;
+    if (len == 0) {
+        assert rem = 0;
+        tempvar range_check_ptr = range_check_ptr;
+    } else {
+        let (_, r) = unsigned_div_rem(len - 1, 16);
+        assert rem = r + 1;
+        tempvar range_check_ptr = range_check_ptr;
+    }
+
     local len_in_bytes = (len - rem) * 4;
 
     local range_check_ptr = range_check_ptr;

src/starkware/cairo/common/cairo_blake2s/blake2s_test.py

@@ -438,6 +438,23 @@ def test_unpack_into_u32s(program):
             ),
             False,
         ),
+        (
+            [],
+            True,
+            blake_state_into_felt(
+                [
+                    813310313,
+                    2491453561,
+                    3491828193,
+                    2085238082,
+                    1219908895,
+                    514171180,
+                    4245497115,
+                    4193177630,
+                ]
+            ),
+            False,
+        ),
     ],
 )
 def test_calculate_blake2s_hash_from_felt252s(

src/starkware/cairo/common/cairo_blake2s/blake2s_utils.py

@@ -166,7 +166,7 @@ def calculate_blake2s_hash_from_felt252s(
     total_bytes = len(words) * 4
     bytes_seen = 0
 
-    for i in range(0, len(words), 16):
+    for i in range(0, max(len(words), 1), 16):
         block = words[i : i + 16]
         if len(block) < 16:
             block += [0] * (16 - len(block))

src/starkware/cairo/lang/BUILD

@@ -10,12 +10,14 @@ py_library(
     ],
     data = [
         "@" + CAIRO_COMPILER_ARCHIVE,
+        "//src/starkware/starknet/builtins/segment_arena:segment_arena_cairo_lib",
     ],
     visibility = ["//visibility:public"],
     deps = [
         "//src/starkware/cairo/bootloaders:cairo_bootloader_generate_fact_lib",
         "//src/starkware/cairo/bootloaders:cairo_hash_program_lib",
         "//src/starkware/cairo/bootloaders:program_hash_test_utils_lib",
+        "//src/starkware/cairo/builtin_selection:cairo_builtin_selection_lib",
         "//src/starkware/cairo/common:cairo_common_lib",
         "//src/starkware/cairo/lang/compiler:cairo_compile_lib",
         "//src/starkware/cairo/lang/compiler:cairo_compile_test_utils_lib",

src/starkware/cairo/lang/VERSION

@@ -1 +1 @@
-0.14.0
+0.14.0.1

src/starkware/cairo/lang/compiler/cairo_compile.py

@@ -379,6 +379,25 @@ def cairo_assemble_program(
     return program
 
 
+def cairo_compile_wrapper(args: argparse.Namespace):
+    """
+    Wraps cairo_compile_common with the default pass manager and the assembler.
+    """
+
+    def pass_manager_factory(args: argparse.Namespace, module_reader: ModuleReader) -> PassManager:
+        return default_pass_manager(
+            prime=args.prime,
+            read_module=module_reader.read,
+            opt_unused_functions=args.opt_unused_functions,
+        )
+
+    cairo_compile_common(
+        args=args,
+        pass_manager_factory=pass_manager_factory,
+        assemble_func=cairo_assemble_program,
+    )
+
+
 def main():
     parser = argparse.ArgumentParser(description="A tool to compile Cairo code.")
     parser.add_argument(
@@ -395,21 +414,10 @@ def main():
         help="Disable proof mode (see --proof_mode).",
     )
 
-    def pass_manager_factory(args: argparse.Namespace, module_reader: ModuleReader) -> PassManager:
-        return default_pass_manager(
-            prime=args.prime,
-            read_module=module_reader.read,
-            opt_unused_functions=args.opt_unused_functions,
-        )
-
     try:
         cairo_compile_add_common_args(parser)
         args = parser.parse_args()
-        cairo_compile_common(
-            args=args,
-            pass_manager_factory=pass_manager_factory,
-            assemble_func=cairo_assemble_program,
-        )
+        cairo_compile_wrapper(args=args)
     except LocationError as err:
         print(err, file=sys.stderr)
         return 1

src/starkware/cairo/stark_verifier/air/dynamic_layout_proof.json

@@ -1,9 +1,9 @@
 {
     "public_input_test": {
-        "initial_hash_chain_seed": "0x0780925e94035a112642ac02f685584462e6290c6902a08c7cfc124883a21837"
+        "initial_hash_chain_seed": "0x0106ff8c067191534401309349553339cc4574f462295b55b1efd1e72818c7ef"
     },
     "dynamic_layout_public_input_test": {
-        "initial_hash_chain_seed": "0x064ad62db04b674633f85f7f80d3bad37d46cbae742d7b77fe4166be6f232393"
+        "initial_hash_chain_seed": "0x060ded6fa399a0bec38c1dd55104bdb30bc8a8e1de6a0f652e36cb83134fa076"
     },
     "diluted_test": {
         "spacing": 4,

src/starkware/cairo/stark_verifier/air/example_expected.json

@@ -164,7 +164,10 @@ const V1_BOUND_ACCOUNTS_CAIRO0_3 = (
 const V1_BOUND_ACCOUNTS_CAIRO0_4 = (
     0x041cb0280ebadaa75f996d8d92c6f265f6d040bb3ba442e5f86a554f1765244e
 );
-const V1_BOUND_ACCOUNTS_CAIRO0_LEN = 5;
+const V1_BOUND_ACCOUNTS_CAIRO0_5 = (
+    0x03530cc4759d78042f1b543bf797f5f3d647cde0388c33734cf91b7f7b9314a9
+);
+const V1_BOUND_ACCOUNTS_CAIRO0_LEN = 6;
 
 // List of Cairo1 account contracts that require the transaction version to be 1.
 const V1_BOUND_ACCOUNTS_CAIRO1_0 = (