diff --git a/audited_cairo_libfuncs.json b/audited_cairo_libfuncs.json
new file mode 100644
index 00000000..1a8e9df2
--- /dev/null
+++ b/audited_cairo_libfuncs.json
@@ -0,0 +1,160 @@
+{
+    "allowed_libfuncs": [
+        "alloc_local",
+        "array_append",
+        "array_get",
+        "array_len",
+        "array_new",
+        "array_pop_front",
+        "array_pop_front_consume",
+        "array_slice",
+        "array_snapshot_pop_back",
+        "array_snapshot_pop_front",
+        "bitwise",
+        "bool_and_impl",
+        "bool_not_impl",
+        "bool_or_impl",
+        "bool_to_felt252",
+        "bool_xor_impl",
+        "branch_align",
+        "call_contract_syscall",
+        "class_hash_const",
+        "class_hash_to_felt252",
+        "class_hash_try_from_felt252",
+        "contract_address_const",
+        "contract_address_to_felt252",
+        "contract_address_try_from_felt252",
+        "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_match",
+        "enum_snapshot_match",
+        "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_block_hash_syscall",
+        "get_builtin_costs",
+        "get_execution_info_syscall",
+        "hades_permutation",
+        "into_box",
+        "jump",
+        "keccak_syscall",
+        "library_call_syscall",
+        "match_nullable",
+        "null",
+        "nullable_from_box",
+        "pedersen",
+        "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",
+        "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",
+        "u256_safe_divmod",
+        "u256_sqrt",
+        "u256_is_zero",
+        "u128_const",
+        "u128_eq",
+        "u128_is_zero",
+        "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",
+        "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",
+        "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",
+        "unbox",
+        "unwrap_non_zero",
+        "upcast",
+        "withdraw_gas",
+        "withdraw_gas_all"
+    ]
+}
\ No newline at end of file
diff --git a/scripts/chain-l2.sh b/scripts/chain-l2.sh
new file mode 100644
index 00000000..86d8cc62
--- /dev/null
+++ b/scripts/chain-l2.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+starknet-devnet --seed 42 --verbose --sierra-compiler-path "${STARKNET_SIERRA_COMPILE_PATH}" --compiler-args '--allowed-libfuncs-list-file ./audited_cairo_libfuncs.json --add-pythonic-hints' --lite-mode
+exit 0