來源：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和可驗證性的早期發展。
