#dusk
昨夜、@Dusk ドキュメントを読み返しているうちに、ムーンライトとフェニックスの対応関係を作るのに思った以上の時間を費やしてしまった。
私を引っかけたのは、単なる基本的な違いではない。ムーンライトは口座残高とノンスを公開する一方で、フェニックスはZK証明、メルケル包含、nullifierによってメモを隠す。そこは実際、筋が通っている。
問題はハンドオフ（引き渡し）のところだった。
入出金によって2つのモデルはつながっているが、不正な変換が境界に何らかの形で到達した場合に何が起きるのか、明確な説明を見つけられなかった。この回路は、グローバルなnullifierセットや、透明レイヤが依存している残高コントラクトに影響が及ばないように、隔離（アイソレーション）を保証できるのだろうか？
私はまだ小さな$DUSK テストポジションを保有しているが、規模を大きくする前にここを答えてほしい。
私にとって面白いのは統治（ガバナンス）の点だ。最終的に価値の大半がフェニックスのノートの中に入るのだとすると、透明レイヤに残る実際的な権限（パワー）はどれくらいあるのだろう？
また、2^64 - 1 のノート上限、メルケルの深さ、そしてnullifierのルールは最終版なのか、それともまだ進化途中なのかも気になっている。