Struct AggLayerBridge 

pub struct AggLayerBridge { /* private fields */ }

An AccountComponent implementing the AggLayer Bridge.

It reexports the procedures from agglayer::bridge. When linking against this component, the agglayer library must be available to the assembler. The procedures of this component are:

• register_faucet, which registers a faucet in the bridge.
• update_ger, which injects a new GER into the storage map.
• bridge_out, which bridges an asset out of Miden to the destination network.
• claim, which validates a claim against the AggLayer bridge and creates a MINT note for the AggLayer Faucet.

Storage Layout

• Self::bridge_admin_id_slot_name: Stores the bridge admin account ID.
• Self::ger_manager_id_slot_name: Stores the GER manager account ID.
• Self::ger_map_slot_name: Stores the GERs.
• Self::faucet_registry_map_slot_name: Stores the faucet registry map.
• Self::token_registry_map_slot_name: Stores the token address → faucet ID map.
• Self::faucet_metadata_map_slot_name: Stores conversion metadata (origin address, origin network, scale, metadata hash) for all registered faucets, keyed by sub-key scheme based on faucet ID.
• Self::network_id_slot_name: Stores the bridge’s AggLayer network ID.
• Self::claim_nullifiers_slot_name: Stores the CLAIM note nullifiers map (RPO(leaf_index, source_bridge_network) → [1, 0, 0, 0]).
• Self::cgi_chain_hash_lo_slot_name: Stores the lower 128 bits of the CGI chain hash.
• Self::cgi_chain_hash_hi_slot_name: Stores the upper 128 bits of the CGI chain hash.
• Self::let_frontier_slot_name: Stores the Local Exit Tree (LET) frontier.
• Self::let_root_lo_slot_name: Stores the lower 128 bits of the LET root.
• Self::let_root_hi_slot_name: Stores the upper 128 bits of the LET root.
• Self::let_num_leaves_slot_name: Stores the number of leaves in the LET frontier.

The bridge starts with an empty faucet registry; faucets are registered at runtime via CONFIG_AGG_BRIDGE notes.

Claim validation compares the leaf’s destination_network to the bridge’s own network ID, which is stored in Self::network_id_slot_name at account creation and read at runtime by the bridge MASM. The network ID is set once and never mutated, so different deployments (e.g. testnet vs mainnet) can use different IDs.

Implementations

impl AggLayerBridge

pub fn new( bridge_admin_id: AccountId, ger_manager_id: AccountId, network_id: u32, ) -> AggLayerBridge

Creates a new AggLayer bridge component with the standard configuration.

network_id is the AggLayer network ID assigned to the Miden chain.

pub fn bridge_admin_id_slot_name() -> &'static StorageSlotName

Storage slot name for the bridge admin account ID.

pub fn ger_manager_id_slot_name() -> &'static StorageSlotName

Storage slot name for the GER manager account ID.

pub fn ger_map_slot_name() -> &'static StorageSlotName

Storage slot name for the GERs map.

pub fn faucet_registry_map_slot_name() -> &'static StorageSlotName

Storage slot name for the faucet registry map.

pub fn token_registry_map_slot_name() -> &'static StorageSlotName

Storage slot name for the token registry map.

pub fn faucet_metadata_map_slot_name() -> &'static StorageSlotName

Storage slot name for the faucet metadata map.

This map stores conversion metadata (origin address, origin network, scale, metadata hash) for all registered faucets, keyed by sub-key scheme based on faucet ID.

pub fn network_id_slot_name() -> &'static StorageSlotName

Storage slot name for the bridge’s AggLayer network ID.

Holds the network ID assigned to this bridge as a single felt in the first word element. It is set at account creation and never mutated by any bridge procedure.

pub fn claim_nullifiers_slot_name() -> &'static StorageSlotName

Storage slot name for the CLAIM note nullifiers map.

pub fn cgi_chain_hash_lo_slot_name() -> &'static StorageSlotName

Storage slot name for the lower 128 bits of the CGI chain hash.

pub fn cgi_chain_hash_hi_slot_name() -> &'static StorageSlotName

Storage slot name for the upper 128 bits of the CGI chain hash.

pub fn let_frontier_slot_name() -> &'static StorageSlotName

Storage slot name for the Local Exit Tree (LET) frontier.

pub fn let_root_lo_slot_name() -> &'static StorageSlotName

Storage slot name for the lower 32 bits of the LET root.

pub fn let_root_hi_slot_name() -> &'static StorageSlotName

Storage slot name for the upper 32 bits of the LET root.

pub fn let_num_leaves_slot_name() -> &'static StorageSlotName

Storage slot name for the number of leaves in the LET frontier.

pub fn allowed_notes() -> BTreeSet<NoteScriptRoot>

Returns the set of input-note script roots that AggLayer bridge accounts accept.

The bridge’s AuthNetworkAccount component is initialized with this allowlist, which means any transaction consuming a note outside this set is rejected before reaching output_note::create.

pub fn is_ger_registered( ger: Keccak256Output, bridge_account: &Account, ) -> Result<bool, AgglayerBridgeError>

Returns a boolean indicating whether the provided GER is present in storage of the provided bridge account.

Errors

Returns an error if:

• the provided account is not an AggLayerBridge account.

pub fn read_local_exit_root( account: &Account, ) -> Result<Vec<Felt>, AgglayerBridgeError>

Reads the Local Exit Root (double-word) from the bridge account’s storage.

The Local Exit Root is stored in two dedicated value slots:

• AggLayerBridge::let_root_lo_slot_name — low word of the root
• AggLayerBridge::let_root_hi_slot_name — high word of the root

Returns the 256-bit root as 8 Felts: first the 4 elements of root_lo, followed by the 4 elements of root_hi. For an empty/uninitialized tree, all elements are zeros.

Errors

Returns an error if:

• the provided account is not an AggLayerBridge account.

pub fn network_id(account: &Account) -> Result<u32, AgglayerBridgeError>

Returns the AggLayer network ID stored in the bridge account.

Errors

Returns an error if:

• the provided account is not an AggLayerBridge account.

pub fn read_let_num_leaves(account: &Account) -> u64

Returns the number of leaves in the Local Exit Tree (LET) frontier.

pub fn cgi_chain_hash( bridge_account: &Account, ) -> Result<Keccak256Output, AgglayerBridgeError>

Returns the claimed global index (CGI) chain hash from the corresponding storage slot.

Errors

Returns an error if:

• the provided account is not an AggLayerBridge account.

Trait Implementations

impl Clone for AggLayerBridge

fn clone(&self) -> AggLayerBridge

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AggLayerBridge

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl From<AggLayerBridge> for AccountComponent

fn from(bridge: AggLayerBridge) -> AccountComponent

Converts to this type from the input type.