我一直回到一個關於私有系統的簡單問題：要讓大家都同意“某件事確實發生了”，到底每個人需要知道什麼？

在 Dusk 的 Phoenix 模型中，答案出奇地小。真實資金以加密的憑據（notes）形式存在。一次交易可以證明：這筆花費是有效的、發送方擁有足夠的價值，以及同一張憑據並未被重複花費——同時不暴露金額，也不暴露正在被消耗的具體憑據。鏈仍然能夠在不獲取底層數據的情況下覈驗規則。

起初我以爲，隱私部分纔是有趣的點。現在我不那麼確定了。更重要的差別似乎在於：哪些內容需要保持私密，而哪些在有效性層面仍需保持公開。

Moonlight 走的是顯而易見的路線：餘額、發送方、接收方、金額。每個人都能看到狀態。Phoenix 則顛倒了可見性模型，但其底層邏輯仍必須保持一致。私有狀態並不意味着“正確性”的概念也可以是私有的。

這正是 ZK 證明（零知識證明）發揮作用的地方。網絡並沒有被要求去信任一筆被隱藏的交易——因爲沒有人能檢查它。相反，網絡會得到一份證明：某些條件確實爲真，同時敏感狀態仍保持隱蔽。

不過，這裏面仍然隱藏着一個前提：證明系統必須是可靠的（sound），狀態轉換必須被正確地檢查，並且憑據結構必須防止雙重支付。

所以我不斷把 Phoenix 歸結爲一個單一的原語：在驗證仍然有意義之前，狀態中有多少內容可以從視野中消失？

#dusk $DUSK @Dusk $ACE