多くのクロスチェーンソリューションは、ハード部分をリレイヤーまたは楽観的なタイムアウトに延期します。 @Agglayer は、zk 証明と悲観的証明ロジックを使用して、オンチェーンで検証を処理します (どのチェーンも、入金した金額を超えて引き出すことはできません)。 したがって、実行は、宛先チェーンがソースチェーンの状態が有効であることを確認した後にのみ行われます。