確定したDUSKの入金は、自動的に信用計上して安全です。
確定(ファイナリティ)は仕事を終えていません

一度ムーンライトの入金が確定に到達したら、取引所は顧客の信用を書き込み、そのまま先へ進めると考えました。

Duskの取引所ドキュメントは2つの事柄を分けています。

スキャナは確定したムーンライトの履歴を読み取りますが、保管(カストディ)は信用とそのブロックのチェックポイントを同時に進めなければなりません。各信用はDuskのトランザクションIDを一意キーとして使い、`next_block`は信用が耐久性をもつ(durable)ようになって初めて進みます。

では、構成された例を見てください。スキャナがブロック12,000までの確定範囲を処理し終えるとします。Aliceに対して5 DUSKの入金を書き込みますが、`next_block`が進む前にクラッシュします。

再起動後、その範囲をもう一度スキャンします。

入金はまだ確定しています。2回目のスキャンも安全です。トランザクションIDが同じ入金を2つ目の信用として計上されるのを止めます。

しかし、順序を逆にしてください。

もし`next_block`が信用がdurableになる前に進んでしまうと、クラッシュにより、スキャナが範囲を完了したと誤って認識しても、顧客の入金が一度も記録されないままになる可能性があります。Duskのドキュメントは、その順序を明確に警告しています。

つまり、確定は1つの疑問に答えます:「このDUSKの移動は決着しているのか?」

カストディは別の疑問に答えます:「その決着した移動を、まさに1回だけ記録したのか?」

取引所の残高が正しくなるためには、両方が正しくなければなりません。

「安全な入金」がDuskの確定からどれほど得られ、また、確定済みイベントがクラッシュ後も失われず、二重に信用計上されないようにする会計の仕組みからどれほど得られるのか?

@Dusk #dusk $DUSK