许多跨链解决方案将困难的部分推给中继者或乐观超时。 @Agglayer 在链上处理验证，使用 zk 证明和悲观证明逻辑（没有链可以提取超过其存入的金额）。 因此，只有在目标链验证源链的状态有效后，执行才会发生。