作者：Solana
编译：Felix,PANews
Solana上的ZK（零知识）和可验证性领域是您可能不知道的黑马。以下是Solana上ZK、可验证性和隐私项目的简要概述。
总体而言，Solana的基础设施有助于：
提高网络性能
为应用开发者节省1000倍的成本异步执行状态增长解决方案提升安全性
链上应用的隐私和保密性可验证性去中心化证明者网络甚至在Solana上实现了zk-rollups。
下面会逐一探索：
隐私和可验证性匿名性基于ZK的扩展和zkVMs使用ZK的网络扩展堆栈ZKPrograms注意：这些类别是以简单起见而分组，可能会出现重叠。
隐私性和可验证性：Arcium：通过提供一个无需信任、可验证且高效的框架来运行加密计算，帮助为链上应用带来保密性。
例如：AI模型可以在加密数据上进行训练，而DeFi可以将其用于保密交易。
Anagram构建的Bonsol是Solana上原生可验证计算系统，开发人员能够创建：对私有和公共数据进行完全可验证的可执行文件→以数学方式保证其有效性→将结果集成到Solana智能合约中以在链上进行证明。
匿名性Darklake：构建一个基于交易的加密AMM，旨在成为Solana上第一个提供实时、抗MEV订单执行的DEX。
DarkProtocol：构建一个由ZK-snarks提供支持的市场治理匿名协议。
基于ZKP的扩展ZKCompression（ZK压缩）：由LightProtocol和Helius提供的一种具有ZK证明+状态压缩的新Solana帐户原语，将Solana应用开发者的租金成本降低了1000倍（利用零知识证明和压缩减少链上存储的数据量）。
各团队已经从以下方面开始构建ZK压缩：
钱包Backpack——用户持有代币而无需支付租金消费者社交应用Tribe.run——创作者可以以低成本发送代币空投工具Airship（由Helius推出）ZKVMsRISCZero和Succinct帮助证明链上任意计算，不受链计算限制。这可以实现：
由ZK提供支持的Solana轻客户端精简的DePIN网络安全无缝的ZK登录Solana网络扩展堆栈zkSVM正在被应用：
1.SolforgeNetwork：使用ZKP方法和ZK压缩的网络扩展堆栈，用于：
启用扩展以流式传输状态更新证明LightSVM，针对证明生成进行优化2.Termina：SVM网络部署平台，通过减少延迟、提高隐私性和降低计算成本来满足特定用例的需求。
3.SonicSVM：用于游戏和应用程序的SVM堆栈，也正通过ZK和Hypergrid进行扩展。
4.bullet是ZetaMarkets推出的超低延迟rollup，可扩展到极高的吞吐量，并且所有状态转换都是可证明的。
此外，像AeriusLabs这样的团队正在尝试ZK证明。
ZKPrograms其他举措包括由Anza发起的ZKTokenProof计划，该计划支持加密转账——对SPL代币的余额和交易金额进行加密，以保护应付账款等用例的隐私。
从最近发布的ZK压缩到即将上线的各种系统调用，Solana正在成为ZK的强大引擎
相关阅读：Solana联创：Solana状态增长有何解决方案？
