最初の警告はライフサイクル図の下に書かれていて、見落としやすい内容だった。

DuskEVMについて説明しているコミュニティの投稿では、はっきりこう言い切っていた。7日間のフォールト・ウィンドウはない。〜15分で出金の最終化が完了する。MIPSの事前検証が、詐欺（不正）証明の遅延を排除する。数字としてはきれいだし、その前提で出金のタイミングを計画しようと思った。

前提：公式ドキュメントがその数字を裏付けてくれるはずだ。

しかし、見つけたのはそれではなかった。Dusk自身のドキュメントには、DuskEVMのライフサイクルが4ステップで示されている。txをシーケンサーへ送信→L2ブロックに含まれる→バッチャがDuskDSへ公開→その後、状態コミットメントとフォールト・プルーフが、その状態を決済（settlement）に接続する。フォールト・プルーフのステップ名も明示されている。どこにも15分は出てこない。代わりに、「経過時間から最終性を推測しないで、プロトコルやウォレットの状態を確認しなさい」と書かれている。

つまり本当のギャップはここだ。インクルージョン（取り込み）は速い、ドキュメント自体がそう言っている。決済は別で、誰も時計を置かなかった何かによってゲートされている。

だから、フォールト・プルーフのステップが消えたわけではない。単に、Optimismの許可不要のチャレンジ・システムのように「誰でもプロバイダー（prover）を動かして、抗争（contest）が起きている様子を監視できる」形での記載になっていないだけだ。

それが圧縮されていて非公開で解決されているのか、それともまだ一般に出ていないだけなのかは分からない。

他人の数字で出金のタイミングを計る前に確認できてよかった。

じゃあ、最初にフォールト・プルーフが決済のラッシュの真っ最中に争われる必要が生じたとき、その「15分」という数字はどうなるの？ 👍

#dusk $DUSK @Dusk