Mange krysskjedeløsninger utsetter de harde delene til relayers eller optimistiske tidsavbrudd. @Agglayer håndterer verifisering på kjeden, med ZK-bevis og pessimistisk bevislogikk (ingen kjede kan ta ut mer enn den har satt inn). Så kjøring skjer bare når destinasjonskjeden bekrefter at kildekjedens tilstand er gyldig.