A lot of crosschain solutions defer the hard parts to relayers or optimistic timeouts. @Agglayer handles verification onchain, with zk proofs and pessimistic proof logic (no chain can withdraw more than it has deposited). So execution only happens once the destination chain verifies the source chain’s state is valid.