Made execution info v3 the default.

Additionally added it to audited list and to coverage.

SIERRA_UPDATE_MINOR_CHANGE_TAG=Added libfunc to allowlist, and using it.

Author: orizi

corelib/src/starknet.cairo

@@ -88,7 +88,7 @@ use class_hash::{
 
 // Not `pub` on purpose, only used for direct reexport by the next line.
 mod info;
-pub use info::v2::{ExecutionInfo, ResourceBounds as ResourcesBounds, TxInfo};
+pub use info::v3::{ExecutionInfo, ResourceBounds as ResourcesBounds, TxInfo};
 pub use info::{
     BlockInfo, get_block_info, get_block_number, get_block_timestamp, get_caller_address,
     get_contract_address, get_execution_info, get_tx_info,
@@ -125,7 +125,7 @@ pub trait SyscallResultTrait<T> {
     /// # Examples
     ///
     /// ```
-    /// let result = starknet::syscalls::get_execution_info_v2_syscall();
+    /// let result = starknet::syscalls::get_execution_info_v3_syscall();
     /// let info = result.unwrap_syscall();
     /// ```
     fn unwrap_syscall(self: SyscallResult<T>) -> T;

corelib/src/starknet/info.cairo

@@ -92,8 +92,8 @@ pub struct TxInfo {
 /// let contract = execution_info.contract_address;
 /// let selector = execution_info.entry_point_selector;
 /// ```
-pub fn get_execution_info() -> Box<v2::ExecutionInfo> {
-    starknet::syscalls::get_execution_info_v2_syscall().unwrap_syscall()
+pub fn get_execution_info() -> Box<v3::ExecutionInfo> {
+    starknet::syscalls::get_execution_info_v3_syscall().unwrap_syscall()
 }
 
 /// Returns the address of the caller contract.
@@ -163,7 +163,7 @@ pub fn get_block_info() -> Box<BlockInfo> {
 /// let signature = tx_info.signature;
 /// let version = tx_info.version;
 /// ```
-pub fn get_tx_info() -> Box<v2::TxInfo> {
+pub fn get_tx_info() -> Box<v3::TxInfo> {
     get_execution_info().tx_info
 }
 

crates/cairo-lang-runner/src/profiling_test_data/major_test_cases

@@ -760,7 +760,7 @@ Weight by sierra statement:
   statement 58: 7 (contract_address_try_from_felt252([5], [14]) { fallthrough([15], [16]) 207([17]) })
   statement 96: 6 (withdraw_gas_all([33], [6], [43]) { fallthrough([44], [45]) 158([46], [47]) })
   statement 766: 6 (store_temp<core::panics::PanicResult::<(core::integer::u256,)>>([37]) -> ([37]))
-  statement 98: 5 (get_execution_info_v2_syscall([45], [3]) { fallthrough([48], [49], [50]) 145([51], [52], [53]) })
+  statement 98: 5 (get_execution_info_v3_syscall([45], [3]) { fallthrough([48], [49], [50]) 145([51], [52], [53]) })
   statement 486: 5 (store_temp<test::erc_20::Event>([187]) -> ([187]))
   statement 746: 4 (u128s_from_felt252([0], [12]) { fallthrough([16], [17]) 788([18], [19], [20]) })
   statement 756: 4 (u128s_from_felt252([16], [25]) { fallthrough([29], [30]) 768([31], [32], [33]) })
@@ -827,7 +827,7 @@ Weight by sierra statement:
   statement 65: 1 (store_temp<felt252>([22]) -> ([22]))
   statement 73: 1 (store_temp<felt252>([32]) -> ([32]))
   statement 95: 1 (store_temp<BuiltinCosts>([43]) -> ([43]))
-  statement 101: 1 (store_temp<Box<core::starknet::info::v2::ExecutionInfo>>([50]) -> ([50]))
+  statement 101: 1 (store_temp<Box<core::starknet::info::v3::ExecutionInfo>>([50]) -> ([50]))
   statement 109: 1 (store_temp<RangeCheck>([44]) -> ([44]))
   statement 110: 1 (store_temp<GasBuiltin>([48]) -> ([48]))
   statement 111: 1 (store_temp<Pedersen>([0]) -> ([0]))
@@ -938,7 +938,7 @@ Weight by concrete libfunc:
   libfunc u128_overflowing_add: 6
   libfunc u128_overflowing_sub: 6
   libfunc withdraw_gas_all: 6
-  libfunc get_execution_info_v2_syscall: 5
+  libfunc get_execution_info_v3_syscall: 5
   libfunc jump: 5
   libfunc store_temp<Pedersen>: 5
   libfunc store_temp<test::erc_20::Event>: 5
@@ -966,7 +966,7 @@ Weight by concrete libfunc:
   libfunc enum_match<test::erc_20::Event>: 1
   libfunc function_call<user@test::erc_20::StorageImpl::transfer_helper>: 1
   libfunc function_call<user@test::erc_20::__wrapper__IERC20Impl__transfer>: 1
-  libfunc store_temp<Box<core::starknet::info::v2::ExecutionInfo>>: 1
+  libfunc store_temp<Box<core::starknet::info::v3::ExecutionInfo>>: 1
   libfunc store_temp<BuiltinCosts>: 1
   return: 5
 Weight by generic libfunc:
@@ -985,7 +985,7 @@ Weight by generic libfunc:
   libfunc u128_overflowing_add: 6
   libfunc u128_overflowing_sub: 6
   libfunc withdraw_gas_all: 6
-  libfunc get_execution_info_v2_syscall: 5
+  libfunc get_execution_info_v3_syscall: 5
   libfunc jump: 5
   libfunc array_new: 4
   libfunc function_call: 4

crates/cairo-lang-starknet-classes/src/allowed_libfuncs_lists/audited.json

@@ -93,6 +93,7 @@
       "get_class_hash_at_syscall": null,
       "get_execution_info_syscall": null,
       "get_execution_info_v2_syscall": null,
+      "get_execution_info_v3_syscall": { "major": 1, "minor": 8, "patch": 0 },
       "hades_permutation": null,
       "i128_const": null,
       "i128_diff": null,

crates/cairo-lang-starknet-classes/src/compiled_class_hash_test_data/contracts

@@ -103,10 +103,10 @@ test_compiled_class_hash
 libfuncs_coverage__libfuncs_coverage
 
 //! > compiled_class_hash
-37af083d4d0b894641dc2e9f9aef603efe7199aff4f031b11fedfb3cc461827
+6cf46c5e38a64dbd80c5e58b944786bb0779c6a96193933d8fe72af7b4413a4
 
 //! > legacy_compiled_class_hash
-4249d473545e380bae0afb2bf7d6ee08cd229fdf50508a304c673e21db19ee9
+4ad32441130e7b55710971a573253b4949890f2e0043b3535454f15036fe8a5
 
 //! > ==========================================================================
 

crates/cairo-lang-starknet/cairo_level_tests/contracts/libfuncs_coverage.cairo

@@ -175,6 +175,7 @@ enum StarknetLibfuncs {
     GetBlockHash: u64,
     GetExecutionInfo,
     GetExecutionInfoV2,
+    GetExecutionInfoV3,
     ReplaceClass: starknet::ClassHash,
     SendMessageToL1: (felt252, Span<felt252>),
     GetClassHashAt: starknet::ContractAddress,
@@ -524,6 +525,9 @@ fn starknet_libfuncs(libfuncs: StarknetLibfuncs) {
         StarknetLibfuncs::GetExecutionInfoV2 => use_and_panic(
             syscalls::get_execution_info_v2_syscall(),
         ),
+        StarknetLibfuncs::GetExecutionInfoV3 => use_and_panic(
+            syscalls::get_execution_info_v3_syscall(),
+        ),
         StarknetLibfuncs::ReplaceClass(class_hash) => use_and_panic(
             syscalls::replace_class_syscall(class_hash),
         ),