jakiro
来源：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和可验证性的早期发展情况。
