jakiro
來源：Solana；翻譯：比特鏈視界xiaozou
Solana的ZK（零知識）和verifiability（可驗證性）領域也許你還不太了解，但絕對是匹黑馬。本文將帶你快速了解Solana上的ZK、可驗證性和隱私項目。
總的來說，Solana基礎設施有助於：
-
網絡性能
— 為應用開發者節省千倍成本
— 異步執行
— 狀態增長解決方案
-
安全性
— 鏈上應用的隱私性和機密性
— 可驗證性
— 去中心化prover網絡
甚至在Solana都有ZK-rollup！
讓我們逐一來看：
— 隱私性和可驗證性
— 匿名性
— 基於ZK的擴展和ZKVMs
— ZK網絡擴展堆棧
— ZK計劃
請注意：為了方便理解，下文將對此重新分類並可能會有所重疊。
1、隱私和可驗證性
Arcium通過提供一個無需信任、可驗證的高效框架來運行加密計算，有助於為鏈上應用程式提供隱私性。例如：人工智慧模型可以使用加密數據訓練，而DeFi可以將其用於機密交易。
ANAGRAM推出的Bonsol是一個Solana原生可驗證計算系統，讓開發人員能夠創建：
一個完全可驗證的私有或公共數據的可執行文件→以數學方式保證其有效性→將結果集成到Solana智能合約中在鏈上驗證。
2、匿名性
Darklake創建了一個具隱私性的swap交易AMM，旨在成為Solana的第一個提供實時、抗MEV訂單執行的去中心化交易所。Dark Protocol開發了一個由ZK-snarks提供支持的由市場管理的匿名協議。
3、基於ZKP的擴展
ZK Compression是由Light Protocol和Helius共同推出的一個具有ZK證明和狀態壓縮的Solana新原語，可將Solana應用程式開發者的租金成本降低千倍。
團隊已經在以下方面進行了ZK壓縮方面的開發：
— 錢包（如Backpack）：用戶持有代幣而無需支付租金。
— 消費者socialfi應用（如Tribe.run）：創作者可以以較低成本發送代幣。
— 空投工具（如Helius Airship）
4、ZKVMs
RISC Zero和Succinct可幫助證明任意鏈上計算，不受鏈計算的限制。這可以支持：
— 基於ZK的Solana輕客戶端
— 精簡的DePIN網絡
— 安全無縫的ZK登錄
5、Solana網絡擴展堆棧
zkSVM正在應用於：
— Solforge：該網絡擴展堆棧使用ZKP方法和Light Protocol的ZK壓縮，以支持狀態更新流證明的擴展和針對證明生成優化的LightSVM。
— Termina：針對特定用例的SVM網絡部署平臺，可降低延遲、提高隱私性以及降低計算成本。
— Sonic SVM：面向遊戲和應用程式的SVM堆棧，並且正在通過Hypergrid進行ZK擴展。
— bulletxyz：一個由ZetaMarkets開發的超低延遲rollup，正在向極高的吞吐量擴展，所有狀態轉換都是可證明的。此外，Aerius Labs等團隊正在進行ZK證明相關試驗。
6、ZK計劃
其他計劃如Anza的ZK代幣證明計劃支持機密轉帳——加密SPL代幣的餘額和交易金額，以保護應付帳款等用例的隱私。
從最近發布的ZK壓縮到即將上線的各種系統調用，Solana正在成為一個強勁的ZK引擎。本文只是一個簡短總結，幫助大家了解Solana上的ZK和可驗證性的早期發展情況。
