Muchas soluciones crosschain delegan las partes difíciles a los relayers o a los tiempos de espera optimistas. @Agglayer maneja la verificación en la 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.