#dusk $HEMI $ACE @Dusk

批准結果は、私を悩ませ始める「Dusk」の一部です。アプリが「settled（決済済み）」と書くのが早すぎると。

提案ではありません。

検証でもありません。

どちらも見た目は完全に健全に見えます。

Duskブロックが提案されます。検証委員会がそれを確認します。アプリはそのクリーンな検証状態を見て、残高を「settled」とマークします。

いいですか。

その後、担保エンジンがそのDusk残高を、利用可能なキャパシティとしてカウントし始めます。

ここから一気に醜くなります。

なぜなら、Succinct Attestationには「批准」が検証の背後にまだ残っていて、批准結果こそが、実際にDuskDSを決定論的ファイナリティへ押し切るものだからです。

私は、検証を重要なチェックで、批准を後からの儀式だと扱っていました。

違います。

同じブロック。権限がまったく別。

Duskアプリ側には、緑色の残高行が存在し得ます。担保エンジンは、すでにそれを利用可能キャパシティに含められます。すると、ポジションサイズがそれで動くかもしれません。

そして、批准はまだありません。

素晴らしい。とても落ち着いた小さな緑の行。

下流の計算がすでに筋が通って見えるので、チームがその緑の行を信じてしまうのを見たことがあります。まさにそのとき、私は不安になります。

Dusk財団では、これらの段階を自分に嘘をつかずにまとめては崩せません。提案がブロックをプレイに入れる。検証は「確認済み」と言う。でも、決定論的ファイナリティが本当に完了する前に、DuskDSが必要とするのは、やはり批准結果のほうです。

なので今、アプリは、まだ持っていないDuskのファイナリティ状態を実質的に消費しています。

これがあざです。

検証結果の何もかもが偽である必要はありません。担保計算は内部的に整合していてもよい。残高行はまったく正常に見えてもよい。

ただ、批准境界を先回りしてしまっただけです。

そして担保エンジンがその残高を使い始めると、「ほぼ最終（almost final）」は言葉の問題ではなくなります。

今、担保エンジンは、まだ存在しないDuskの批准結果に依存しています。

だから、Duskの検証は通ったのに、批准結果がまだ無いなら...

そのアプリは「settled」と書いたとき、いったい何を意味していたのでしょうか？

@Dusk_Foundation #Dusk $DUSK