作者： Solana
編譯：Felix, PANews
Solana上的ZK（零知識）和可驗證性領域是您可能不知道的黑馬。以下是Solana上ZK、可驗證性和隱私項目的簡要概述。
整體而言，Solana的基礎設施有助於：
提升網路效能
- 為應用程式開發者節省1000倍的成本
- 非同步執行
- 狀態成長解決方案
提升安全性
- 鏈上應用的隱私和保密性
- 可驗證性
- 去中心化證明者網絡
甚至在Solana上實現了zk-rollups。
以下會逐一探索：
- 隱私和可驗證性
- 匿名性
- 基於ZK的擴充和zkVMs
- 使用ZK的網路擴充堆疊
- ZK Programs
注意：這些類別是以簡單起見而分組，可能會出現重疊。
隱私性和可驗證性：
Arcium：透過提供一個無需信任、可驗證且高效的框架來運行加密計算，幫助為鏈上應用帶來保密性。
例如：AI模型可以在加密資料上進行訓練，而DeFi可以將其用於保密交易。
Anagram建構的Bonsol是Solana上原生可驗證計算系統，開發人員能夠創建：對私有和公共資料進行完全可驗證的可執行檔→ 以數學方式保證其有效性→ 將結果整合到Solana智能合約中以在鏈上進行證明。
匿名性
Darklake：建立一個基於交易的加密AMM，旨在成為Solana上第一個提供即時、抗MEV訂單執行的DEX。
Dark Protocol：建構一個由ZK-snarks提供支援的市場治理匿名協定。
基於ZKP的擴展
ZK Compression（ZK壓縮）：由Light Protocol和Helius提供的一種具有ZK證明+ 狀態壓縮的新Solana帳戶原語，將Solana應用開發者的租金成本降低了1000倍（利用零知識證明和壓縮減少鏈上儲存的資料量）。
各團隊已經從以下方面開始建構ZK壓縮：
- 錢包Backpack－用戶持有代幣而無需支付租金
- 消費者社群應用Tribe.run－創作者可以以低成本發送代幣
- 空投工具Airship（由Helius推出）
ZKVMs
RISC Zero和Succinct幫助證明鏈上任意計算，不受鏈計算限制。這可以實現：
- 由ZK提供支援的Solana輕客戶端
- 精簡的DePIN網絡
- 安全無縫的ZK登錄
Solana網路擴充堆疊
zkSVM正在被應用：
1. Solforge Network：使用ZKP方法和ZK壓縮的網路擴充堆疊，用於：
- 啟用擴充以串流狀態更新證明
- LightSVM，針對證明產生進行最佳化
2. Termina：SVM 網路部署平台，透過減少延遲、提高隱私性和降低運算成本來滿足特定用例的需求。
3. Sonic SVM：用於遊戲和應用程式的SVM堆疊，也正透過ZK和Hypergrid進行擴展。
4. bullet是Zeta Markets推出的超低延遲rollup，可擴展到極高的吞吐量，並且所有狀態轉換都是可證明的。
此外，像Aerius Labs這樣的團隊正在嘗試ZK證明。
ZK Programs
其他措施包括由Anza發起的ZK Token Proof計劃，該計劃支援加密轉帳——對SPL代幣的餘額和交易金額進行加密，以保護應付帳款等用例的隱私。
從最近發布的ZK壓縮到即將上線的各種系統調用，Solana正在成為ZK的強大引擎
