De nombreuses solutions crosschain délèguent les parties difficiles aux relayeurs ou aux délais optimistes. @Agglayer gère la vérification onchain, avec des preuves zk et une logique de preuve pessimiste (aucune chaîne ne peut retirer plus que ce qu'elle a déposé). Ainsi, l'exécution n'a lieu que lorsque la chaîne de destination vérifie que l'état de la chaîne source est valide.