一览在Solana网络上官方认可的零知识证明类项目

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——创作者可以以低成本发送代币

空投工具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 Thuobin Proof计划，该计划支持加密转账——对SPL代币的余额和交易金额进行加密，以保护应付账款等用例的隐私。

从最近发布的ZK压缩到即将上线的各种系统调用，Solana正在成为ZK的强大引擎

相关阅读：