ヌライファイアが実際に「二度起きること」を何から防いでいるのか

「二重支払いを防ぐ」と言われても、あまり精密ではないので、ダスク（Dusk）においてヌライファイアが具体的に何を防ぐのかを調べました。

ヌライファイアは、同じシールドされたノートが一度以上使われることを防ぎます——それ以上の範囲ではありません。

ダスクが、どのノートが消費されたのかを明かさずに、どうこれを実現しているのかを追跡しました。ダスク自身のリポジトリでは、ヌライファイアは外部の観測者がそれを特定のノートに結び付けられないように計算されていると述べています。ネットワークはノートそのものをリストと照合しません。代わりに、このヌライファイアがすでに登場したかどうかを確認します。

また、ノートが消費された後にどこからも削除されないことを確認しました。ダスクのノートのメルクルツリーには記録されたままです。追加されるのは、別の増え続ける記録にヌライファイアだけです。

この違いは重要です。もし消費時にノートが削除されていたなら、構造が縮む様子を見るだけでタイミング情報が漏れるはずだと考えられます。消費済みかどうかにかかわらずすべてのノートをそのまま保持することで、その特定のシグナルはなくなります。

さらに、衝突リスク（異なる2つのノートが偶然同じヌライファイアを生成してしまうこと）が発生しうるかも調べました。ダスク自身の資料には、そのような事例の明文化は見つかりませんでした。ただし保証は、システム全体が依存しているのと同じ基盤となる暗号学的前提に支えられています。

つまり、ダスク上のヌライファイアは、可視的な意味でノートを「消費済みとしてマーキングする」ものではありません。何が消費されたのかを特定せずに、消費が起きたことを証明しているのです。

このように二重支払いを防ぐことで、永遠に増え続ける保管領域に対して支払うコスト以上に、より多くのプライバシーが守られるのでしょうか？

@Dusk #dusk $DUSK #dusk