ブリッジ攻撃の監視と特定を目的とした XChainWatcher

XChainWatcherは、クロスチェーンブリッジの監視と攻撃の特定を可能にする最初のメカニズムである。Datalogエンジンを使ったクロスチェーンモデルにより、ブリッジの期待される動作を定義し、実際の活動と比較することで逸脱を特定する。