一文速覽Solana上的ZK和可驗證性項目

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