Monet ketjujen väliset ratkaisut lykkäävät vaikeat osat uudelleenkerroksiin tai optimistisiin aikakatkaisuihin. @Agglayer hoitaa verifioinnin ketjussa, zk-todisteilla ja pessimistisellä todistuslogiikalla (mikään ketju ei voi nostaa enempää kuin se on tallettanut). Suoritus tapahtuu siis vasta, kun kohdeketju varmistaa, että lähdeketjun tila on kelvollinen.