Updated allowed lists. (#3687)

starkware-libs · Jul 16, 2023 · aababcc · aababcc
1 parent 1d645d0
commit aababcc
Show file tree

Hide file tree

Showing 2 changed files with 50 additions and 0 deletions.
diff --git a/crates/cairo-lang-starknet/src/allowed_libfuncs_lists/audited.json b/crates/cairo-lang-starknet/src/allowed_libfuncs_lists/audited.json
@@ -62,6 +62,7 @@
         "hades_permutation",
         "into_box",
         "jump",
+        "keccak_syscall",
         "library_call_syscall",
         "match_nullable",
         "null",
@@ -70,6 +71,11 @@
         "rename",
         "replace_class_syscall",
         "revoke_ap_tracking",
+        "secp256k1_add_syscall",
+        "secp256k1_get_xy_syscall",
+        "secp256k1_get_point_from_x_syscall",
+        "secp256k1_mul_syscall",
+        "secp256k1_new_syscall",
         "send_message_to_l1_syscall",
         "snapshot_take",
         "storage_address_from_base",
@@ -85,6 +91,7 @@
         "struct_construct",
         "struct_deconstruct",
         "struct_snapshot_deconstruct",
+        "u256_safe_divmod",
         "u256_sqrt",
         "u256_is_zero",
         "u128_const",
@@ -99,6 +106,7 @@
         "u128_guarantee_mul",
         "u128_mul_guarantee_verify",
         "u128s_from_felt252",
+        "u16_bitwise",
         "u16_const",
         "u16_eq",
         "u16_is_zero",
@@ -109,6 +117,7 @@
         "u16_to_felt252",
         "u16_try_from_felt252",
         "u16_wide_mul",
+        "u32_bitwise",
         "u32_const",
         "u32_eq",
         "u32_is_zero",
@@ -120,6 +129,7 @@
         "u32_try_from_felt252",
         "u32_wide_mul",
         "u512_safe_divmod_by_u256",
+        "u64_bitwise",
         "u64_const",
         "u64_eq",
         "u64_is_zero",
@@ -130,6 +140,7 @@
         "u64_to_felt252",
         "u64_try_from_felt252",
         "u64_wide_mul",
+        "u8_bitwise",
         "u8_const",
         "u8_eq",
         "u8_is_zero",

diff --git a/crates/cairo-lang-starknet/src/allowed_libfuncs_lists/experimental.json b/crates/cairo-lang-starknet/src/allowed_libfuncs_lists/experimental.json
@@ -67,8 +67,38 @@
         "get_builtin_costs",
         "get_execution_info_syscall",
         "hades_permutation",
+        "i128_const",
+        "i128_eq",
+        "i128_is_zero",
+        "i128_to_felt252",
+        "i128_try_from_felt252",
+        "i16_const",
+        "i16_eq",
+        "i16_is_zero",
+        "i16_to_felt252",
+        "i16_try_from_felt252",
+        "i16_wide_mul",
+        "i32_const",
+        "i32_eq",
+        "i32_is_zero",
+        "i32_to_felt252",
+        "i32_try_from_felt252",
+        "i32_wide_mul",
+        "i64_const",
+        "i64_eq",
+        "i64_is_zero",
+        "i64_to_felt252",
+        "i64_try_from_felt252",
+        "i64_wide_mul",
+        "i8_const",
+        "i8_eq",
+        "i8_is_zero",
+        "i8_to_felt252",
+        "i8_try_from_felt252",
+        "i8_wide_mul",
         "into_box",
         "jump",
+        "keccak_syscall",
         "library_call_syscall",
         "match_nullable",
         "null",
@@ -78,6 +108,11 @@
         "rename",
         "replace_class_syscall",
         "revoke_ap_tracking",
+        "secp256k1_add_syscall",
+        "secp256k1_get_xy_syscall",
+        "secp256k1_get_point_from_x_syscall",
+        "secp256k1_mul_syscall",
+        "secp256k1_new_syscall",
         "send_message_to_l1_syscall",
         "snapshot_take",
         "storage_address_from_base",
@@ -108,6 +143,7 @@
         "u128_guarantee_mul",
         "u128_mul_guarantee_verify",
         "u128s_from_felt252",
+        "u16_bitwise",
         "u16_const",
         "u16_eq",
         "u16_is_zero",
@@ -118,6 +154,7 @@
         "u16_to_felt252",
         "u16_try_from_felt252",
         "u16_wide_mul",
+        "u32_bitwise",
         "u32_const",
         "u32_eq",
         "u32_is_zero",
@@ -129,6 +166,7 @@
         "u32_try_from_felt252",
         "u32_wide_mul",
         "u512_safe_divmod_by_u256",
+        "u64_bitwise",
         "u64_const",
         "u64_eq",
         "u64_is_zero",
@@ -139,6 +177,7 @@
         "u64_to_felt252",
         "u64_try_from_felt252",
         "u64_wide_mul",
+        "u8_bitwise",
         "u8_const",
         "u8_eq",
         "u8_is_zero",