Solana 隱私環：零知識證明通過，不代表輸入值受保護

Helius已在索拉納（Solana，SOL）主網推出「隱私環」，可隱藏資產種類與金額；但「零知識證明」通過，不代表證明生成期間的輸入值也受到保護。

Helius於11月10日發布公告，表示已將無需許可的隱私環部署至主網。TokenPost先前曾報導隱私環上線主網及其預設資訊公開範圍。

使用者可將資產存入隱私餘額後轉帳，再提領至公開餘額。預設設定會加密資產種類與金額，但錢包地址仍公開。

零知識證明是一種在不公開交易全部細節的情況下，驗證交易是否遵守既定規則的技術。證明通過，代表交易符合規則。

生成證明的電腦會處理計算所需的機密輸入值，因此，交易驗證與處理輸入值的執行環境是否保密，必須分開檢視。

Helius公開的Rust文件說明，遠端證明請求會透過經TEE證明驗證的加密金鑰加以保護；用於加密請求的金鑰，則依據執行環境的證明進行驗證。

處理請求前，系統會檢查平台證明、核准軟體的測量值、政策及一次性驗證值是否相符。這套流程旨在讓錢包開發者除了確認證明結果，也能確認接收輸入值的程式碼是否經過核准。

AWS表示，Nitro Enclave會將記憶體與父層伺服器隔離，使父層伺服器的程序或管理員無法存取隔離記憶體；enclave也沒有外部網路連線或永久儲存空間。

AWS的證明文件可用來依政策核對執行映像檔與應用程式的測量值。這種架構可隔離執行環境，並確認其中執行的是哪一套軟體。

不過，隔離本身無法保證程式碼安全、核准政策適當，或硬體值得信任。僅憑鏈上顯示證明通過，不能證明處理輸入值的環境具備機密性。

Helius公開Rust文件說明的Nitro Enclave基本部署以開發網為基準。公開文件未列出實際主網部署的具體金鑰政策，也未說明營運者可看到哪些請求資訊。

Helius表示，每筆交易都需要資產所有者簽名。證明伺服器負責執行交易計算，與代替所有者簽名並移動資產的權限，是兩回事。

Helius的上線公告表示，Certora、ZK Security與OtterSec已稽核程式及零知識證明電路。詳細安全文件列有Certora於2026年10月發布的報告，以及zkSecurity於2026年8月發布的報告；OtterSec報告則標示為「待發布」。稽核參與公告與報告公開狀態應分開看待。

Helius開發文件將RPC、索引器與證明生成器的連線功能標示為「Beta」。主網程式上線與開發者連線功能的穩定性標示，是不同項目。

Helius於11月10日的上線公告表示，無需許可的環格式驗證仍在進行，預計於2026年底前完成。