Wiele rozwiązań crosschain odkłada trudne części na relayerów lub optymistyczne limity czasowe. @Agglayer obsługuje weryfikację onchain, z dowodami zk i pesymistyczną logiką dowodową (żaden łańcuch nie może wypłacić więcej, niż wpłacił). Wykonanie następuje dopiero po tym, jak łańcuch docelowy zweryfikuje, że stan łańcucha źródłowego jest ważny.