Orizi/update audited (#4364)

starkware-libs · Nov 6, 2023 · 41a25ed · 41a25ed
1 parent 5878fcf
commit 41a25ed
Show file tree

Hide file tree

Showing 3 changed files with 96 additions and 24 deletions.
diff --git a/crates/cairo-lang-starknet/src/allowed_libfuncs_lists/all.json b/crates/cairo-lang-starknet/src/allowed_libfuncs_lists/all.json
@@ -126,13 +126,13 @@
         "replace_class_syscall",
         "revoke_ap_tracking",
         "secp256k1_add_syscall",
-        "secp256k1_get_xy_syscall",
         "secp256k1_get_point_from_x_syscall",
+        "secp256k1_get_xy_syscall",
         "secp256k1_mul_syscall",
         "secp256k1_new_syscall",
         "secp256r1_add_syscall",
-        "secp256r1_get_xy_syscall",
         "secp256r1_get_point_from_x_syscall",
+        "secp256r1_get_xy_syscall",
         "secp256r1_mul_syscall",
         "secp256r1_new_syscall",
         "send_message_to_l1_syscall",
@@ -150,21 +150,17 @@
         "struct_construct",
         "struct_deconstruct",
         "struct_snapshot_deconstruct",
-        "u256_guarantee_inv_mod_n",
-        "u256_is_zero",
-        "u256_safe_divmod",
-        "u256_sqrt",
+        "u128_byte_reverse",
         "u128_const",
         "u128_eq",
+        "u128_guarantee_mul",
         "u128_is_zero",
+        "u128_mul_guarantee_verify",
         "u128_overflowing_add",
         "u128_overflowing_sub",
         "u128_safe_divmod",
         "u128_sqrt",
-        "u128_byte_reverse",
         "u128_to_felt252",
-        "u128_guarantee_mul",
-        "u128_mul_guarantee_verify",
         "u128s_from_felt252",
         "u16_bitwise",
         "u16_const",
@@ -177,6 +173,10 @@
         "u16_to_felt252",
         "u16_try_from_felt252",
         "u16_wide_mul",
+        "u256_guarantee_inv_mod_n",
+        "u256_is_zero",
+        "u256_safe_divmod",
+        "u256_sqrt",
         "u32_bitwise",
         "u32_const",
         "u32_eq",

diff --git a/crates/cairo-lang-starknet/src/allowed_libfuncs_lists/audited.json b/crates/cairo-lang-starknet/src/allowed_libfuncs_lists/audited.json
@@ -17,6 +17,9 @@
         "bool_to_felt252",
         "bool_xor_impl",
         "branch_align",
+        "bytes31_const",
+        "bytes31_to_felt252",
+        "bytes31_try_from_felt252",
         "call_contract_syscall",
         "class_hash_const",
         "class_hash_to_felt252",
@@ -59,7 +62,52 @@
         "get_block_hash_syscall",
         "get_builtin_costs",
         "get_execution_info_syscall",
+        "get_execution_info_v2_syscall",
         "hades_permutation",
+        "i128_const",
+        "i128_diff",
+        "i128_eq",
+        "i128_is_zero",
+        "i128_overflowing_add_impl",
+        "i128_overflowing_sub_impl",
+        "i128_to_felt252",
+        "i128_try_from_felt252",
+        "i16_const",
+        "i16_diff",
+        "i16_eq",
+        "i16_is_zero",
+        "i16_overflowing_add_impl",
+        "i16_overflowing_sub_impl",
+        "i16_to_felt252",
+        "i16_try_from_felt252",
+        "i16_wide_mul",
+        "i32_const",
+        "i32_diff",
+        "i32_eq",
+        "i32_is_zero",
+        "i32_overflowing_add_impl",
+        "i32_overflowing_sub_impl",
+        "i32_to_felt252",
+        "i32_try_from_felt252",
+        "i32_wide_mul",
+        "i64_const",
+        "i64_diff",
+        "i64_eq",
+        "i64_is_zero",
+        "i64_overflowing_add_impl",
+        "i64_overflowing_sub_impl",
+        "i64_to_felt252",
+        "i64_try_from_felt252",
+        "i64_wide_mul",
+        "i8_const",
+        "i8_diff",
+        "i8_eq",
+        "i8_is_zero",
+        "i8_overflowing_add_impl",
+        "i8_overflowing_sub_impl",
+        "i8_to_felt252",
+        "i8_try_from_felt252",
+        "i8_wide_mul",
         "into_box",
         "jump",
         "keccak_syscall",
@@ -72,10 +120,15 @@
         "replace_class_syscall",
         "revoke_ap_tracking",
         "secp256k1_add_syscall",
-        "secp256k1_get_xy_syscall",
         "secp256k1_get_point_from_x_syscall",
+        "secp256k1_get_xy_syscall",
         "secp256k1_mul_syscall",
         "secp256k1_new_syscall",
+        "secp256r1_add_syscall",
+        "secp256r1_get_point_from_x_syscall",
+        "secp256r1_get_xy_syscall",
+        "secp256r1_mul_syscall",
+        "secp256r1_new_syscall",
         "send_message_to_l1_syscall",
         "snapshot_take",
         "storage_address_from_base",
@@ -91,20 +144,17 @@
         "struct_construct",
         "struct_deconstruct",
         "struct_snapshot_deconstruct",
-        "u256_safe_divmod",
-        "u256_sqrt",
-        "u256_is_zero",
+        "u128_byte_reverse",
         "u128_const",
         "u128_eq",
+        "u128_guarantee_mul",
         "u128_is_zero",
+        "u128_mul_guarantee_verify",
         "u128_overflowing_add",
         "u128_overflowing_sub",
         "u128_safe_divmod",
         "u128_sqrt",
-        "u128_byte_reverse",
         "u128_to_felt252",
-        "u128_guarantee_mul",
-        "u128_mul_guarantee_verify",
         "u128s_from_felt252",
         "u16_bitwise",
         "u16_const",
@@ -117,6 +167,10 @@
         "u16_to_felt252",
         "u16_try_from_felt252",
         "u16_wide_mul",
+        "u256_guarantee_inv_mod_n",
+        "u256_is_zero",
+        "u256_safe_divmod",
+        "u256_sqrt",
         "u32_bitwise",
         "u32_const",
         "u32_eq",

diff --git a/crates/cairo-lang-starknet/src/allowed_libfuncs_lists/experimental.json b/crates/cairo-lang-starknet/src/allowed_libfuncs_lists/experimental.json
@@ -66,33 +66,49 @@
         "get_block_hash_syscall",
         "get_builtin_costs",
         "get_execution_info_syscall",
+        "get_execution_info_v2_syscall",
         "hades_permutation",
         "i128_const",
+        "i128_diff",
         "i128_eq",
         "i128_is_zero",
+        "i128_overflowing_add_impl",
+        "i128_overflowing_sub_impl",
         "i128_to_felt252",
         "i128_try_from_felt252",
         "i16_const",
+        "i16_diff",
         "i16_eq",
         "i16_is_zero",
+        "i16_overflowing_add_impl",
+        "i16_overflowing_sub_impl",
         "i16_to_felt252",
         "i16_try_from_felt252",
         "i16_wide_mul",
         "i32_const",
+        "i32_diff",
         "i32_eq",
         "i32_is_zero",
+        "i32_overflowing_add_impl",
+        "i32_overflowing_sub_impl",
         "i32_to_felt252",
         "i32_try_from_felt252",
         "i32_wide_mul",
         "i64_const",
+        "i64_diff",
         "i64_eq",
         "i64_is_zero",
+        "i64_overflowing_add_impl",
+        "i64_overflowing_sub_impl",
         "i64_to_felt252",
         "i64_try_from_felt252",
         "i64_wide_mul",
         "i8_const",
+        "i8_diff",
         "i8_eq",
         "i8_is_zero",
+        "i8_overflowing_add_impl",
+        "i8_overflowing_sub_impl",
         "i8_to_felt252",
         "i8_try_from_felt252",
         "i8_wide_mul",
@@ -101,6 +117,7 @@
         "keccak_syscall",
         "library_call_syscall",
         "match_nullable",
+        "match_nullable_snapshot",
         "null",
         "nullable_from_box",
         "pedersen",
@@ -109,13 +126,13 @@
         "replace_class_syscall",
         "revoke_ap_tracking",
         "secp256k1_add_syscall",
-        "secp256k1_get_xy_syscall",
         "secp256k1_get_point_from_x_syscall",
+        "secp256k1_get_xy_syscall",
         "secp256k1_mul_syscall",
         "secp256k1_new_syscall",
         "secp256r1_add_syscall",
-        "secp256r1_get_xy_syscall",
         "secp256r1_get_point_from_x_syscall",
+        "secp256r1_get_xy_syscall",
         "secp256r1_mul_syscall",
         "secp256r1_new_syscall",
         "send_message_to_l1_syscall",
@@ -133,20 +150,17 @@
         "struct_construct",
         "struct_deconstruct",
         "struct_snapshot_deconstruct",
-        "u256_safe_divmod",
-        "u256_sqrt",
-        "u256_is_zero",
+        "u128_byte_reverse",
         "u128_const",
         "u128_eq",
+        "u128_guarantee_mul",
         "u128_is_zero",
+        "u128_mul_guarantee_verify",
         "u128_overflowing_add",
         "u128_overflowing_sub",
         "u128_safe_divmod",
         "u128_sqrt",
-        "u128_byte_reverse",
         "u128_to_felt252",
-        "u128_guarantee_mul",
-        "u128_mul_guarantee_verify",
         "u128s_from_felt252",
         "u16_bitwise",
         "u16_const",
@@ -159,6 +173,10 @@
         "u16_to_felt252",
         "u16_try_from_felt252",
         "u16_wide_mul",
+        "u256_guarantee_inv_mod_n",
+        "u256_is_zero",
+        "u256_safe_divmod",
+        "u256_sqrt",
         "u32_bitwise",
         "u32_const",
         "u32_eq",