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.
• deregister_faucet, which clears a previously-registered faucet from both the faucet registry and token registry maps.
• update_ger, which injects a new GER into the storage map.
• remove_ger, which removes a GER from the storage map and folds it into the running removed-GER keccak256 hash chain.
• 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_injector_id_slot_name: Stores the GER injector account ID.
• Self::ger_remover_id_slot_name: Stores the GER remover account ID.
• Self::ger_map_slot_name: Stores the GERs.
• Self::removed_ger_hash_chain_lo_slot_name: Stores the lower 128 bits of the removed-GER keccak256 hash chain.
• Self::removed_ger_hash_chain_hi_slot_name: Stores the upper 128 bits of the removed-GER keccak256 hash chain.
• 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::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 and can be removed via DEREGISTER_AGG_FAUCET notes.

Claim validation compares the leaf’s destination_network to the global MASM constant agglayer::common::constants::MIDEN_NETWORK_ID. Rust exposes the same value as Self::MIDEN_NETWORK_ID from generated agglayer_constants.rs file.

Implementations

impl AggLayerBridge

pub const MIDEN_NETWORK_ID: u32 = MIDEN_NETWORK_ID

AggLayer-assigned network ID for this Miden chain.

Matches const MIDEN_NETWORK_ID in asm/agglayer/common/constants.masm.

pub fn new( bridge_admin_id: AccountId, ger_injector_id: AccountId, ger_remover_id: AccountId, ) -> AggLayerBridge

Creates a new AggLayer bridge component with the standard configuration.

pub fn bridge_admin_id_slot_name() -> &'static StorageSlotName

Storage slot name for the bridge admin account ID.

pub fn ger_injector_id_slot_name() -> &'static StorageSlotName

Storage slot name for the GER injector account ID.

pub fn ger_remover_id_slot_name() -> &'static StorageSlotName

Storage slot name for the GER remover account ID.

pub fn ger_map_slot_name() -> &'static StorageSlotName

Storage slot name for the GERs map.

pub fn removed_ger_hash_chain_lo_slot_name() -> &'static StorageSlotName

Storage slot name for the lower 128 bits of the removed-GER keccak256 hash chain.

pub fn removed_ger_hash_chain_hi_slot_name() -> &'static StorageSlotName

Storage slot name for the upper 128 bits of the removed-GER keccak256 hash chain.

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 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 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.

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

Returns the removed-GER keccak256 hash chain from the corresponding storage slots.

The chain is the running keccak256 of all removed GERs: chain_n = keccak256(chain_{n-1} || removed_ger_n) with chain_0 = 0...0.

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.