blockifier_test_utils: add experimental contract and it's libfuncs list

Author: dorimedini-starkware

crates/blockifier_test_utils/resources/experimental_libfuncs.json

@@ -0,0 +1,246 @@
+{
+    "allowed_libfuncs": [
+        "add_circuit_input",
+        "alloc_local",
+        "array_append",
+        "array_get",
+        "array_len",
+        "array_new",
+        "array_pop_front",
+        "array_pop_front_consume",
+        "array_slice",
+        "array_snapshot_multi_pop_back",
+        "array_snapshot_multi_pop_front",
+        "array_snapshot_pop_back",
+        "array_snapshot_pop_front",
+        "bitwise",
+        "bool_and_impl",
+        "bool_not_impl",
+        "bool_or_impl",
+        "bool_to_felt252",
+        "bool_xor_impl",
+        "bounded_int_add",
+        "bounded_int_constrain",
+        "bounded_int_div_rem",
+        "bounded_int_is_zero",
+        "bounded_int_mul",
+        "bounded_int_sub",
+        "bounded_int_wrap_non_zero",
+        "box_forward_snapshot",
+        "branch_align",
+        "bytes31_const",
+        "bytes31_to_felt252",
+        "bytes31_try_from_felt252",
+        "call_contract_syscall",
+        "class_hash_const",
+        "class_hash_to_felt252",
+        "class_hash_try_from_felt252",
+        "circuit_failure_guarantee_verify",
+        "const_as_box",
+        "const_as_immediate",
+        "contract_address_const",
+        "contract_address_to_felt252",
+        "contract_address_try_from_felt252",
+        "coupon_buy",
+        "coupon_call",
+        "coupon_refund",
+        "deploy_syscall",
+        "disable_ap_tracking",
+        "downcast",
+        "drop",
+        "dup",
+        "ec_neg",
+        "ec_point_from_x_nz",
+        "ec_point_is_zero",
+        "ec_point_try_new_nz",
+        "ec_point_unwrap",
+        "ec_point_zero",
+        "ec_state_add",
+        "ec_state_add_mul",
+        "ec_state_init",
+        "ec_state_try_finalize_nz",
+        "emit_event_syscall",
+        "enable_ap_tracking",
+        "enum_init",
+        "enum_from_bounded_int",
+        "enum_match",
+        "enum_snapshot_match",
+        "eval_circuit",
+        "felt252_add",
+        "felt252_const",
+        "felt252_dict_entry_finalize",
+        "felt252_dict_entry_get",
+        "felt252_dict_new",
+        "felt252_dict_squash",
+        "felt252_div",
+        "felt252_is_zero",
+        "felt252_mul",
+        "felt252_sub",
+        "finalize_locals",
+        "function_call",
+        "get_available_gas",
+        "get_block_hash_syscall",
+        "get_builtin_costs",
+        "get_circuit_descriptor",
+        "get_circuit_output",
+        "get_class_hash_at_syscall",
+        "get_execution_info_syscall",
+        "get_execution_info_v2_syscall",
+        "hades_permutation",
+        "i128_const",
+        "i128_diff",
+        "i128_eq",
+        "i128_overflowing_add_impl",
+        "i128_overflowing_sub_impl",
+        "i128_to_felt252",
+        "i128_try_from_felt252",
+        "i16_const",
+        "i16_diff",
+        "i16_eq",
+        "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_overflowing_add_impl",
+        "i32_overflowing_sub_impl",
+        "i32_to_felt252",
+        "i32_try_from_felt252",
+        "i32_wide_mul",
+        "i64_const",
+        "i64_diff",
+        "i64_eq",
+        "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_overflowing_add_impl",
+        "i8_overflowing_sub_impl",
+        "i8_to_felt252",
+        "i8_try_from_felt252",
+        "i8_wide_mul",
+        "init_circuit_data",
+        "into_box",
+        "into_u96_guarantee",
+        "jump",
+        "keccak_syscall",
+        "sha256_state_handle_init",
+        "sha256_state_handle_digest",
+        "sha256_process_block_syscall",
+        "library_call_syscall",
+        "match_nullable",
+        "meta_tx_v0_syscall",
+        "null",
+        "nullable_forward_snapshot",
+        "nullable_from_box",
+        "pedersen",
+        "redeposit_gas",
+        "rename",
+        "replace_class_syscall",
+        "revoke_ap_tracking",
+        "secp256k1_add_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",
+        "span_from_tuple",
+        "storage_address_from_base",
+        "storage_address_from_base_and_offset",
+        "storage_address_to_felt252",
+        "storage_address_try_from_felt252",
+        "storage_base_address_const",
+        "storage_base_address_from_felt252",
+        "storage_read_syscall",
+        "storage_write_syscall",
+        "store_local",
+        "store_temp",
+        "struct_construct",
+        "struct_deconstruct",
+        "struct_snapshot_deconstruct",
+        "tuple_from_span",
+        "try_into_circuit_modulus",
+        "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_to_felt252",
+        "u128s_from_felt252",
+        "u16_bitwise",
+        "u16_const",
+        "u16_eq",
+        "u16_is_zero",
+        "u16_overflowing_add",
+        "u16_overflowing_sub",
+        "u16_safe_divmod",
+        "u16_sqrt",
+        "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",
+        "u32_is_zero",
+        "u32_overflowing_add",
+        "u32_overflowing_sub",
+        "u32_safe_divmod",
+        "u32_sqrt",
+        "u32_to_felt252",
+        "u32_try_from_felt252",
+        "u32_wide_mul",
+        "u512_safe_divmod_by_u256",
+        "u64_bitwise",
+        "u64_const",
+        "u64_eq",
+        "u64_is_zero",
+        "u64_overflowing_add",
+        "u64_overflowing_sub",
+        "u64_safe_divmod",
+        "u64_sqrt",
+        "u64_to_felt252",
+        "u64_try_from_felt252",
+        "u64_wide_mul",
+        "u8_bitwise",
+        "u8_const",
+        "u8_eq",
+        "u8_is_zero",
+        "u8_overflowing_add",
+        "u8_overflowing_sub",
+        "u8_safe_divmod",
+        "u8_sqrt",
+        "u8_to_felt252",
+        "u8_try_from_felt252",
+        "u8_wide_mul",
+        "u96_guarantee_verify",
+        "u96_limbs_less_than_guarantee_verify",
+        "u96_single_limb_less_than_guarantee_verify",
+        "unbox",
+        "unwrap_non_zero",
+        "upcast",
+        "withdraw_gas",
+        "withdraw_gas_all"
+    ]
+}