Struct NonceManager 

pub struct NonceManager {
    pub nonces: <Mapping<Address, Mapping<U256, u64>> as StorableType>::Handler,
    pub expiring_nonce_seen: <Mapping<B256, u64> as StorableType>::Handler,
    pub expiring_nonce_ring: <Mapping<u32, B256> as StorableType>::Handler,
    pub expiring_nonce_ring_ptr: <u32 as StorableType>::Handler,
    address: Address,
    storage: StorageCtx,
}

Fields

nonces: <Mapping<Address, Mapping<U256, u64>> as StorableType>::Handler

expiring_nonce_seen: <Mapping<B256, u64> as StorableType>::Handler

expiring_nonce_ring: <Mapping<u32, B256> as StorableType>::Handler

expiring_nonce_ring_ptr: <u32 as StorableType>::Handler

address: Address

storage: StorageCtx

Implementations

impl NonceManager

pub fn new() -> Self

Creates an instance of the precompile.

Caution: This does not initialize the account, see Self::initialize.

fn __new(address: Address) -> Self

fn __initialize(&mut self) -> Result<()>

fn emit_event(&mut self, event: impl IntoLogData) -> Result<()>

pub fn emitted_events(&self) -> &Vec<LogData>

Available on crate features test-utils only.

pub fn clear_emitted_events(&mut self)

Available on crate features test-utils only.

pub fn assert_emitted_events(&self, expected: Vec<impl IntoLogData>)

Available on crate features test-utils only.

impl NonceManager

pub fn initialize(&mut self) -> Result<()>

Initializes the nonce manager precompile storage layout.

pub fn get_nonce(&self, call: getNonceCall) -> Result<u64>

Returns the current nonce for account at the given nonceKey.

Errors

• ProtocolNonceNotSupported — nonce key 0 is the protocol nonce and cannot be read here

pub fn increment_nonce( &mut self, account: Address, nonce_key: U256, ) -> Result<u64>

Increments the 2D nonce for account at nonce_key and returns the new value, enabling concurrent transaction execution. Key 0 is reserved for the protocol nonce.

Errors

• InvalidNonceKey — nonce_key is 0, which is reserved for the protocol nonce
• NonceOverflow — the current nonce value is u64::MAX and cannot be incremented

pub fn is_expiring_nonce_seen(&self, hash: B256, now: u64) -> Result<bool>

Checks if a hash has been seen and is still valid (not expired). NOTE: internally used by the transaction pool.

pub fn check_and_mark_expiring_nonce( &mut self, expiring_nonce_hash: B256, valid_before: u64, ) -> Result<()>

Validates and records an expiring nonce transaction. Uses a circular buffer that overwrites expired entries as the pointer advances. The hash is keccak256(encode_for_signing || sender), invariant to fee payer changes.

Uses a circular buffer that overwrites expired entries as the pointer advances.

The expiring_nonce_hash parameter is (keccak256(encode_for_signing || sender)), which is invariant to fee payer changes.

This is called during transaction execution to:

1. Validate the expiry is within the allowed window
2. Check for replay (hash already seen and not expired)
3. Check if we can evict the entry at current pointer (must be expired or empty)
4. Mark the hash as seen

Errors

• InvalidExpiringNonceExpiry — valid_before not in (now, now + EXPIRING_NONCE_MAX_EXPIRY_SECS]
• ExpiringNonceReplay — transaction hash is already recorded and has not yet expired
• ExpiringNonceSetFull — the circular buffer slot holds an unexpired entry that can’t be evicted

impl NonceManager

pub fn create_precompile(cfg: &CfgEnv<TempoHardfork>) -> DynPrecompile

Creates the EVM precompile for this type.

Trait Implementations

impl ContractStorage for NonceManager

fn address(&self) -> Address

Contract address.

fn storage(&self) -> &StorageCtx

Contract storage accessor.

fn storage_mut(&mut self) -> &mut StorageCtx

Contract storage mutable accessor.

fn is_initialized(&self) -> Result<bool>

Returns true if the contract has been initialized (has bytecode deployed).

impl Default for NonceManager

fn default() -> Self

Returns the “default value” for a type.

impl Precompile for NonceManager

fn call(&mut self, calldata: &[u8], _msg_sender: Address) -> PrecompileResult

Dispatches an EVM call to this precompile.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 424 bytes