フェニックス回路の制約を読むのが止めになりました。Dusk $DUSK #dusk @Duskfoundation で、Transfer Contract は実際のノート値や、どの Merkle リーフが消費されたかを決して参照しません。
代わりに、5つの条件がプライベート入力で満たされることを示す PLONK の証明だけを検証します。すなわち、ノートハッシュが最近のノートの Merkle ルートに対して開示されていること、証明者がノート秘密鍵を知っていること、ヌリファイアが Poseidon(npk′ ‖ position) に等しいこと、出力コミットメントが正しく開示されていること、そして入力値の合計が出力に加え fee と任意のデポジットに等しいことです。
ヌリファイア自体はネットワークが再利用を拒否できるように公開されます。ヌリファイアは隠されたノート鍵と位置から導出されるため、観測者はヌリファイアを特定のリーフに対応づけることができません。妥当性は回路の充足性の内部にのみ存在し、内容は台帳に一切現れません。
私にとって変わったのは、二重支払い防止と残高の完全性の両方が、見える状態変化ではなく証明の中に収まっていると気づいたことでした。
次の確認: 検収された各 Phoenix トランザクションに公開されるヌリファイアが、最終確定後のオンチェーンのヌリファイア集合で一意に保たれているかどうかです。
@Dusk