Muchas soluciones crosschain delegan las partes difíciles a los relayers o a los tiempos de espera optimistas. @Agglayer maneja la verificación en cadena, con pruebas zk y lógica de prueba pesimista (ninguna cadena puede retirar más de lo que ha depositado). Así que la ejecución solo ocurre una vez que la cadena de destino verifica que el estado de la cadena de origen es válido.