Faraday 如何改變 Blocknet 隱私？

追蹤 Faraday 背後的兩個隱私問題：網路如何在不識別來源的情況下檢查花費，錢包如何識別收款？本文解釋擬議機制及其實際影響。10 月 27 日官方公告表示設計仍在開發；目前網路應使用已發布錢包的操作說明。

Faraday 會改變哪些付款隱私機制？

從 16 成員環到 Faraday 幣集合

目前花費會指定一個環，包含真實輸入所引用的輸出和 15 個誘餌。簽章讓網路在隱藏真實成員的同時驗證授權。環簽章指南解釋這一現行機制。候選集合就是該輸入附帶的環。

擬議的 Faraday 證明將證實花費的幣屬於符合條件的 Faraday 集合，卻不公開具體成員。這正是完整集合成員資格的實際含義：驗證者檢查歸屬及有效性，隱藏的選擇仍保持私密。它不表示下載其他所有人的私密錢包紀錄，也不表示公開他們的餘額。

詳細公告明確說的是 Faraday 幣，因此必須將這一不斷增長的集合與所有舊格式歷史輸出區分開。圖示說明這一差別；其中的點是概念範例，並非即時幣數量。升級指南介紹將現有幣遷入新格式的擬議遷移。

為什麼花費證明與付款偵測要分開？

花費證明回答網路驗證問題：這次花費是否符合所需規則？傳送方錢包建立證明，節點進行檢查。專案提出使用證明系統建構工具集 Plonky3 來產生基於雜湊的證明。工具集提供元件，但驗證者接受什麼，仍由 Blocknet 的具體規則及實作決定。

付款偵測回答錢包問題：哪些輸出屬於我？ML-KEM 是用於建立共享秘密的標準化金鑰封裝機制。Faraday 計畫把它用於接收側。它不是花費證明的另一個名稱，也不是簽章演算法。

這一區分也解釋了 Faraday 中的後量子概念。它指旨在抵禦量子電腦攻擊的密碼設計，不要求使用者擁有量子電腦。ML-KEM 基於格問題，而公布的花費證明採用基於雜湊的技術。使用標準化元件，本身並不等於整個加密貨幣實作已獲認證。應分別理解有關演算法、證明建構及完整錢包的主張。

付款之後證明會怎樣？

提案區分透過網路傳送的證明與隨區塊保留的證明。目前設計數值是每個花費證明約 1.4 MB，合併後的區塊證明約 1 MB。節點將中繼並驗證花費證明，將其合併，在達到最終性後丟棄個別證明。這些是專案設計數值，不是本文進行的測量。

合併證明是一種彙總檢查的方法。可以想像，幾條獨立驗證的陳述透過一份「它們已經驗證」的證明繼續傳遞。區塊證明服務於這一目標，與最初的個別證明不同。保留的紀錄更精簡，不會讓此前的網路傳輸和計算消失；中繼、證明產生、彙整和長期儲存是不同工作。

錢包使用者會注意到什麼？

理解提案時，可以把核准付款的時刻、錢包準備證明的工作、納入區塊，以及等待收到的資金可用分別考慮。這些是付款過程中的不同部分。單獨一項快速產生證明的結果，並不能說明端到端轉帳也很快。

計畫提出十分鐘的目標出塊間隔，並表示更大的花費會增加手續費，但最終費率仍在制定。相容版本發布後，請查看實際錢包的手續費預覽。轉帳時間指南描述的是已發布的五分鐘目標網路；未來時間應以最終 Faraday 規則為準。評估預估時間時，應同時考慮付款大小、證明工作及區塊時間。

接下來該看哪篇指南？

目前公開交易欄位、錢包紀錄及主動揭露，請參閱別人能看到哪些付款資訊。啟用計畫、還原資料與幣遷移，請參閱現有 Faraday 升級指南。

出現新公告時，檢查改變了什麼：符合條件的幣集合、證明系統、付款偵測、證明大小或錢包行為。再確認它描述的是提案、測試結果，還是已發布功能。這樣既能讓目前付款流程符合實際執行的軟體，也能詳細追蹤擬議的隱私升級。