SEDAのIVM（@khalani_networkにて）

1. 内容：あらゆるチェーン上のtxn状態を検証できる検証モジュール。

2. 理由：Solverは、Solverの報酬をアンロックするために、トランザクションが成功したことの証明を必要とする。

3. 方法：Solverのオペレーターは、Khalani上のエージェントが提供するルートに対して、特定のIVMを設定できる。