diff --git a/crates/ef-testing/src/evm_sequencer/account/v0.rs b/crates/ef-testing/src/evm_sequencer/account/v0.rs index 0fb95676..1d092cda 100644 --- a/crates/ef-testing/src/evm_sequencer/account/v0.rs +++ b/crates/ef-testing/src/evm_sequencer/account/v0.rs @@ -8,8 +8,8 @@ use starknet_crypto::FieldElement; use super::{split_bytecode_to_starkfelt, KakarotAccount}; use crate::evm_sequencer::constants::storage_variables::{ - ACCOUNT_BYTECODE_LEN, ACCOUNT_EVM_ADDRESS, ACCOUNT_IS_INITIALIZED, ACCOUNT_NONCE, - ACCOUNT_STORAGE, ACCOUNT_VALID_JUMPDESTS, + ACCOUNT_BYTECODE_LEN, ACCOUNT_EVM_ADDRESS, ACCOUNT_IS_INITIALIZED, + ACCOUNT_JUMPDESTS_INITIALIZED, ACCOUNT_NONCE, ACCOUNT_STORAGE, ACCOUNT_VALID_JUMPDESTS, }; use crate::evm_sequencer::{types::felt::FeltSequencer, utils::split_u256}; use crate::starknet_storage; @@ -35,6 +35,7 @@ impl KakarotAccount { starknet_storage!(ACCOUNT_EVM_ADDRESS, evm_address), starknet_storage!(ACCOUNT_IS_INITIALIZED, 1u8), starknet_storage!(ACCOUNT_BYTECODE_LEN, code.len() as u32), + starknet_storage!(ACCOUNT_JUMPDESTS_INITIALIZED, 1u8), ]; // Write the nonce of the account is written to storage after each tx. diff --git a/crates/ef-testing/src/evm_sequencer/constants.rs b/crates/ef-testing/src/evm_sequencer/constants.rs index 2dbab5b2..a6b18cd5 100644 --- a/crates/ef-testing/src/evm_sequencer/constants.rs +++ b/crates/ef-testing/src/evm_sequencer/constants.rs @@ -111,6 +111,7 @@ pub mod storage_variables { pub const ACCOUNT_IMPLEMENTATION: &str = "Account_implementation"; pub const ACCOUNT_CAIRO1_HELPERS_CLASS: &str = "Account_cairo1_helpers_class_hash"; pub const ACCOUNT_VALID_JUMPDESTS : &str = "Account_valid_jumpdests"; + pub const ACCOUNT_JUMPDESTS_INITIALIZED : &str = "Account_jumpdests_initialized"; pub const KAKAROT_COINBASE: &str = "Kakarot_coinbase"; pub const KAKAROT_BASE_FEE: &str = "Kakarot_base_fee";