详解 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 立场无关。文章内的信息仅供参考，均不构成任何投资建议及要约，并请您遵守所在国家或地区的相关法律法规。
