Skip to main content

reth_storage_api/
state.rs

1use super::{
2    AccountReader, BlockHashReader, BlockIdReader, StateProofProvider, StateRootProvider,
3    StorageRootProvider,
4};
5use alloc::boxed::Box;
6use alloy_consensus::constants::KECCAK_EMPTY;
7use alloy_eips::{BlockId, BlockNumberOrTag};
8use alloy_primitives::{Address, BlockHash, BlockNumber, StorageKey, StorageValue, B256, U256};
9use auto_impl::auto_impl;
10use reth_execution_types::ExecutionOutcome;
11use reth_primitives_traits::Bytecode;
12use reth_storage_errors::provider::ProviderResult;
13use reth_trie_common::HashedPostState;
14use revm::database::BundleState;
15
16/// This just receives state, or [`ExecutionOutcome`], from the provider
17#[auto_impl::auto_impl(&, Arc, Box)]
18pub trait StateReader: Send {
19    /// Receipt type in [`ExecutionOutcome`].
20    type Receipt: Send + Sync;
21
22    /// Get the [`ExecutionOutcome`] for the given block
23    fn get_state(
24        &self,
25        block: BlockNumber,
26    ) -> ProviderResult<Option<ExecutionOutcome<Self::Receipt>>>;
27}
28
29/// Type alias of boxed [`StateProvider`].
30pub type StateProviderBox = Box<dyn StateProvider + Send + 'static>;
31
32/// An abstraction for a type that provides state data.
33#[auto_impl(&, Arc, Box)]
34pub trait StateProvider:
35    BlockHashReader
36    + AccountReader
37    + BytecodeReader
38    + StateRootProvider
39    + StorageRootProvider
40    + StateProofProvider
41    + HashedPostStateProvider
42{
43    /// Get storage of given account.
44    fn storage(
45        &self,
46        account: Address,
47        storage_key: StorageKey,
48    ) -> ProviderResult<Option<StorageValue>>;
49
50    /// Get account code by its address.
51    ///
52    /// Returns `None` if the account doesn't exist or account is not a contract
53    fn account_code(&self, addr: &Address) -> ProviderResult<Option<Bytecode>> {
54        // Get basic account information
55        // Returns None if acc doesn't exist
56        let acc = match self.basic_account(addr)? {
57            Some(acc) => acc,
58            None => return Ok(None),
59        };
60
61        if let Some(code_hash) = acc.bytecode_hash {
62            if code_hash == KECCAK_EMPTY {
63                return Ok(None)
64            }
65            // Get the code from the code hash
66            return self.bytecode_by_hash(&code_hash)
67        }
68
69        // Return `None` if no code hash is set
70        Ok(None)
71    }
72
73    /// Get account balance by its address.
74    ///
75    /// Returns `None` if the account doesn't exist
76    fn account_balance(&self, addr: &Address) -> ProviderResult<Option<U256>> {
77        // Get basic account information
78        // Returns None if acc doesn't exist
79
80        self.basic_account(addr)?.map_or_else(|| Ok(None), |acc| Ok(Some(acc.balance)))
81    }
82
83    /// Get account nonce by its address.
84    ///
85    /// Returns `None` if the account doesn't exist
86    fn account_nonce(&self, addr: &Address) -> ProviderResult<Option<u64>> {
87        // Get basic account information
88        // Returns None if acc doesn't exist
89        self.basic_account(addr)?.map_or_else(|| Ok(None), |acc| Ok(Some(acc.nonce)))
90    }
91}
92
93/// Minimal requirements to read a full account, for example, to validate its new transactions
94pub trait AccountInfoReader: AccountReader + BytecodeReader {}
95impl<T: AccountReader + BytecodeReader> AccountInfoReader for T {}
96
97/// Trait that provides the hashed state from various sources.
98#[auto_impl(&, Arc, Box)]
99pub trait HashedPostStateProvider {
100    /// Returns the [`HashedPostState`] of the provided [`BundleState`], materializing zero-valued
101    /// updates for parent storage of accounts that were destroyed but remain in the post-state.
102    ///
103    /// Providers backed by an exact parent-state view also materialize terminally destroyed
104    /// accounts with explicit zero-valued storage updates.
105    fn hashed_post_state(&self, bundle_state: &BundleState) -> ProviderResult<HashedPostState>;
106}
107
108/// Trait for reading bytecode associated with a given code hash.
109#[auto_impl(&, Arc, Box)]
110pub trait BytecodeReader {
111    /// Get account code by its hash
112    fn bytecode_by_hash(&self, code_hash: &B256) -> ProviderResult<Option<Bytecode>>;
113}
114
115/// Light wrapper that returns `StateProvider` implementations that correspond to the given
116/// `BlockNumber`, the latest state, or the pending state.
117///
118/// This type differentiates states into `historical`, `latest` and `pending`, where the `latest`
119/// block determines what is historical or pending: `[historical..latest..pending]`.
120///
121/// The `latest` state represents the state after the most recent block has been committed to the
122/// database, `historical` states are states that have been committed to the database before the
123/// `latest` state, and `pending` states are states that have not yet been committed to the
124/// database which may or may not become the `latest` state, depending on consensus.
125///
126/// Note: the `pending` block is considered the block that extends the canonical chain but one and
127/// has the `latest` block as its parent.
128///
129/// All states are _inclusive_, meaning they include _all_ changes made (executed transactions)
130/// in their respective blocks. For example [`StateProviderFactory::history_by_block_number`] for
131/// block number `n` will return the state after block `n` was executed (transactions, withdrawals).
132/// In other words, all states point to the end of the state's respective block, which is equivalent
133/// to state at the beginning of the child block.
134///
135/// This affects tracing, or replaying blocks, which will need to be executed on top of the state of
136/// the parent block. For example, in order to trace block `n`, the state after block `n - 1` needs
137/// to be used, since block `n` was executed on its parent block's state.
138#[auto_impl(&, Box, Arc)]
139pub trait StateProviderFactory: BlockIdReader + Send {
140    /// Storage provider for latest block.
141    fn latest(&self) -> ProviderResult<StateProviderBox>;
142
143    /// Returns a [`StateProvider`] indexed by the given [`BlockId`].
144    ///
145    /// Note: if a number or hash is provided this will __only__ look at historical(canonical)
146    /// state.
147    fn state_by_block_id(&self, block_id: BlockId) -> ProviderResult<StateProviderBox> {
148        match block_id {
149            BlockId::Number(block_number) => self.state_by_block_number_or_tag(block_number),
150            BlockId::Hash(block_hash) => self.history_by_block_hash(block_hash.into()),
151        }
152    }
153
154    /// Returns a [`StateProvider`] indexed by the given block number or tag.
155    ///
156    /// Note: if a number is provided this will only look at historical(canonical) state.
157    fn state_by_block_number_or_tag(
158        &self,
159        number_or_tag: BlockNumberOrTag,
160    ) -> ProviderResult<StateProviderBox>;
161
162    /// Returns a historical [`StateProvider`] indexed by the given historic block number.
163    ///
164    ///
165    /// Note: this only looks at historical blocks, not pending blocks.
166    fn history_by_block_number(&self, block: BlockNumber) -> ProviderResult<StateProviderBox>;
167
168    /// Returns a historical [`StateProvider`] indexed by the given block hash.
169    ///
170    /// Note: this only looks at historical blocks, not pending blocks.
171    fn history_by_block_hash(&self, block: BlockHash) -> ProviderResult<StateProviderBox>;
172
173    /// Returns _any_ [StateProvider] with matching block hash.
174    ///
175    /// This will return a [StateProvider] for either a historical or pending block.
176    fn state_by_block_hash(&self, block: BlockHash) -> ProviderResult<StateProviderBox>;
177
178    /// Storage provider for pending state.
179    ///
180    /// Represents the state at the block that extends the canonical chain by one.
181    /// If there's no `pending` block, then this is equal to [`StateProviderFactory::latest`]
182    fn pending(&self) -> ProviderResult<StateProviderBox>;
183
184    /// Storage provider for pending state for the given block hash.
185    ///
186    /// Represents the state at the block that extends the canonical chain.
187    ///
188    /// If the block couldn't be found, returns `None`.
189    fn pending_state_by_hash(&self, block_hash: B256) -> ProviderResult<Option<StateProviderBox>>;
190
191    /// Returns a pending [`StateProvider`] if it exists.
192    ///
193    /// This will return `None` if there's no pending state.
194    fn maybe_pending(&self) -> ProviderResult<Option<StateProviderBox>>;
195}