一覽 Solana ZK 隱私生態黑馬項目

撰文：Yash Agarwal & 0xIchigo

編譯&整理：Pzai，Foresight News

從廣義上講，Solana 基礎設施有助於在網絡性能上為開發人員節省成本、提供異步執行和狀態增長解決方案；在安全性上，Solana 為鏈上應用提供隱私和保密性，乃至可驗證性和去中心化證明網絡，讓我們在此逐一探索更多。

隱私和可驗證性

Arcium 通過提供去信任化、可驗證且高效的框架來運行加密計算，幫助實現鏈上應用程序的隱私性。例如 AI 模型可以在隱私數據上進行訓練，而 DeFi 可以將其用於隱私交易。

Anagram 的 Bonsol 是 Solana 的原生可驗證計算系統，使開發人員能夠創建對隱私和公共數據的完全可驗證的可執行文件、在數學上保證其有效性，並將結果集成到 Solana 智能合約中以在鏈上證明它。

匿名性和基於 ZK 的擴容

Darklake 構建了一個隱私 AMM 交易應用，旨在成為 Solana 的第一個提供實時、抗 MEV 訂單執行的 DEX。

Dark Protocol 構建了一個由 ZK-SNARKS 提供支持的由市場治理的匿名協議。

由 ZK 證明協議 LightProtocol 和 Helius 開發的 ZK Compression 是一個新的 Solana 賬戶原語，具有 zk 證明和狀態壓縮機制，降低了 Solana 應用開發人員的租金成本並提供狀態增長方案。

ZK 壓縮狀態存儲在壓縮賬戶中。這些賬戶類似於普通的 Solana 賬其他舉措包括 ZK Token Proof 計劃，通過 Anza 支持隱私轉賬——加密 SPL 代幣的餘額和交易金額，以保護支付等用例的隱私，同態加密允許對加密數據執行計算，而無需對其進行解密。為此，隱私傳輸使用 Twisted ElGamal 加密對密文進行隱藏的數學運算，並使用 Sigma 協議來驗證這些傳輸，而不會洩露敏感信息。只有擁有解密密鑰的賬戶持有人才能查看其加密餘額。但是，Solana 上的 Global Auditor System（全球審計）允許通過單獨的解密密鑰進行選擇性讀取訪問，以實現合規性和審計。戶，但有幾個關鍵差異可以提高效率和可擴展性：

• 哈希標識：每個壓縮賬戶都可以通過其哈希值進行標識

• 寫入時哈希更改：對壓縮賬戶的任何寫入操作都將更改其哈希

• 可選地址：可以選擇將地址設置為壓縮賬戶的永久唯一 ID。這對於某些用例（例如 NFT）非常有用。此字段為可選字段的原因是為了避免計算開銷，因為壓縮的賬戶可以由其哈希值引用。

• 稀疏狀態樹：所有壓縮賬戶都存儲在 Merkle 樹中，只有樹的狀態根（即 Merkle 根）存儲在鏈上賬戶空間中。更具體地說，狀態樹是基於 Poseidon 哈希的併發 Merkle 樹。

很多 Solana 團隊已經在以下方面構建 ZK 壓縮用例：

• Backpack 錢包用戶無需支付租金（Gas）即可持有代幣。

• 消費者社交應用程序，例如 Tribe.fun 讓創作者可以以低成本發送代幣。

• Helius Airship 等空投工具

ZKVM 和網絡擴容 Stack

RiscZero 和 SuccinctLabs 可幫助證明鏈上的任意計算，並不受鏈計算限制。這可以增強由 ZK 驅動的 Solana 輕客戶端、實現簡化的 DePIN 網絡和安全無縫的 ZK 登錄。

另外，zkSVM 正被用於很多用例中：

• Solforge Network 使用 ZKP 網絡擴容 Stack 和 zk 壓縮以啟用傳輸狀態更新證明的擴展，並通過 LightSVM 針對證明生成進行了優化。

• SVM 網絡部署平臺 Terminaxyz 通過減少延遲、提高隱私和降低計算成本來針對特定用例進行應用。

• 用於遊戲和應用程序的 SVM 堆棧 SonicSVM 也致力於通過 zk 和 Hypergrid 進行擴展。

• ZetaMarkets Bullet L2 正在擴展到極高的吞吐量，並且所有狀態轉換都是可證明的。

此外，Aerius 等團隊正在試驗 zk 證明。

其他舉措包括 ZK Token Proof 計劃，通過 Anza 支持隱私轉賬——加密 SPL 代幣的餘額和交易金額，以保護支付等用例的隱私，同態加密允許對加密數據執行計算，而無需對其進行解密。為此，隱私傳輸使用 Twisted ElGamal 加密對密文進行隱藏的數學運算，並使用 Sigma 協議來驗證這些傳輸，而不會洩露敏感信息。只有擁有解密密鑰的賬戶持有人才能查看其加密餘額。但是，Solana 上的 Global Auditor System（全球審計）允許通過單獨的解密密鑰進行選擇性讀取訪問，以實現合規性和審計。