密封信封問題：無需揭露的驗證 拜占庭將軍問題探討的是：無法相互信任的人如何就公開歷史達成一致： 我們如何在缺乏信任的情況下達成共識？ 與此並列的，是一個相鄰且正交的困境： 一個不受信任的網絡，如何強制執行其成員均無權查看的交易規則？ 這就是密封信封問題——由零知識貨幣解決的概念悖論。 分佈式信任的兩個維度 比特幣和 Zcash 分別管理分佈式系統的兩個獨立層面： * 拜占庭將軍問題規範排序：不信任的節點如何就哪些交易發生以及發生的順序達成一致？ * 密封信封問題規範有效性：這些節點如何在不檢查其內容的情況下，驗證一筆隱藏交易是合法、資產充足且非通脹的？ 比特幣透過使整個歷史透明來解決公開共識問題。每個節點獨立審計帳簿：追蹤輸出、計算公開餘額並檢查簽名。 比特幣之所以有效，是因為每位參與者閱讀的是同一頁內容： * 比特幣：我們如何就一個所有人都能審計的公開帳本達成一致？$BTC * Zcash：當條目被隱藏時，我們如何證明帳本餘額平衡？ 共識決定哪個信封先到達；密封信封問題則探討：一個敵對群體如何證明該信封並非偽造？$ZEC 撒馬爾罕的集市 想像絲綢之路上的一處古老十字路口。 來自敵對帝國的商戶在拱形屋簷下交匯：粟特絲綢商人、波斯錢幣兌換商、威尼斯旅行者。他們沒有共同的君主，說著不同的語言，彼此懷有猜疑。 兩名披著斗篷的陌生人於廣場中央相遇。在眾人與城衛的注視下，一人將一枚密封蠟封信封交給另一人。 任何人都不得拆開它。任何人都無權得知發送者是誰、接收者是誰、它代表哪枚先前的硬幣，或其面值。沒有受信任的大維齊爾或帝國鑄幣官暗中檢查內容。 然而，懷疑的群眾必須在數學上具備能力，以拒絕以下情況下的交易： * 信封內的硬幣不存在。 * 發送者無權使用該硬幣。 * 該硬幣昨日已在另一處驛站被花費。 * 轉帳透過無中生有地鑄造新硬幣來膨脹貨幣供應量。 蠟封依舊完好，內容依舊隱藏。但集市中的每位商戶都能獨立驗證該帝國的貨幣法規被嚴格遵守。 歷史上，實體商業將兩個不同性質混為一談：對交易的認知，與對交易有效性的認知。 傳統審計透過掌握前者來獲取後者：你咬一口黃金、清點硬幣、審計商戶的私人帳簿，或信任由帝國鑄幣廠所作的背書。 零知識密碼學切斷了這種關聯。驗證者無需掌握底層事實，只需一個簡潔的數學證明，證明這些隱藏事實符合協議的約束。 共識與揭露 這個名稱描述的是限制，而非技術本身。普通加密僅是隱藏訊息，使其無法被驗證。更困難的貨幣問題，在於允許一個不受信任且敵對的集體審計隱藏狀態。 去中心化貨幣的兩大基石並肩而立： * 拜占庭將軍：無需信任的共識。 * 密封信封：無需揭露的驗證。 拜占庭容錯提供不可變更的公開時間線，而零知識證明則強制執行私密有效性。 比特幣證明了陌生人可以在不信任中央權威的情況下維護貨幣歷史。Zcash 則證明了這段歷史可以在不強制每個人的私生活成為公共財產的前提下，確保貨幣守恆。 比特幣教會了集市如何就一本公開帳本達成一致。Zcash 則證明了帳本餘額平衡，而無需打開任何一頁。