一文速览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和可验证性的早期发展情况。