Veel crosschain-oplossingen stellen de moeilijke delen uit naar relayers of optimistische timeouts. @Agglayer handelt verificatie on-chain af, met zk-bewijzen en pessimistische bewijslogica (geen keten kan meer opnemen dan het heeft gestort). Dus de uitvoering vindt alleen plaats zodra de bestemmingsketen verifieert dat de status van de bronchain geldig is.