詳解 Solana 上 ZK 的早期開發和可驗證性。
原文：Solana's zk and verifiability sector is the dark horse you probably didn’t know about.（X）
作者： 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－創作者可以以低成本發送 Token
- 空投工具 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 的強大引擎。
免責聲明：作為區塊鏈資訊平台，本站所發布文章僅代表作者及來賓個人觀點，與 Web3Caff 立場無關。文章內的資訊僅供參考，均不構成任何投資建議及要約，並請您遵守所在國家或地區的相關法律法規。
