許多跨鏈解決方案將困難的部分推遲給中繼者或樂觀超時。 @Agglayer 在鏈上處理驗證，使用 zk 證明和悲觀證明邏輯（任何鏈都不能提取超過其存入的金額）。 因此，執行僅在目標鏈驗證源鏈的狀態有效後才會發生。