一览 Solana ZK 隐私生态黑马项目
从广义上讲，Solana基础设施有助于在网络性能上为开发人员节省成本、提供异步执行和状态增长解决方案；在安全性上，Solana为链上应用提供隐私和保密性，乃至可验证性和去中心化证明网络，让我们在此逐一探索更多。
隐私和可验证性
Arcium通过提供去信任化、可验证且高效的框架来运行加密计算，帮助实现链上应用程序的隐私性。例如AI模型可以在隐私数据上进行训练，而DeFi可以将其用于隐私交易。
Anagram的Bonsol是Solana的原生可验证计算系统，使开发人员能够创建对隐私和公共数据的完全可验证的可执行文件、在数学上保证其有效性，并将结果集成到Solana智能合约中以在链上证明它。
匿名性和基于ZK的扩容
Darklake构建了一个隐私AMM交易应用，旨在成为Solana的第一个提供实时、抗MEV订单执行的DEX。
DarkProtocol构建了一个由ZK-SNARKS提供支持的由市场治理的匿名协议。
由ZK证明协议LightProtocol和Helius开发的ZKCompression是一个新的Solana账户原语，具有zk证明和状态压缩机制，降低了Solana应用开发人员的租金成本并提供状态增长方案。
ZK压缩状态存储在压缩账户中。这些账户类似于普通的Solana账其他举措包括ZKTokenProof计划，通过Anza支持隐私转账——加密SPL代币的余额和交易金额，以保护支付等用例的隐私，同态加密允许对加密数据执行计算，而无需对其进行解密。为此，隐私传输使用TwistedElGamal加密对密文进行隐藏的数学运算，并使用Sigma协议来验证这些传输，而不会泄露敏感信息。只有拥有解密密钥的账户持有人才能查看其加密余额。但是，Solana上的GlobalAuditorSystem（全球审计）允许通过单独的解密密钥进行选择性读取访问，以实现合规性和审计。户，但有几个关键差异可以提高效率和可扩展性：
哈希标识：每个压缩账户都可以通过其哈希值进行标识
写入时哈希更改：对压缩账户的任何写入操作都将更改其哈希
可选地址：可以选择将地址设置为压缩账户的永久唯一ID。这对于某些用例（例如NFT）非常有用。此字段为可选字段的原因是为了避免计算开销，因为压缩的账户可以由其哈希值引用。
稀疏状态树：所有压缩账户都存储在Merkle树中，只有树的状态根（即Merkle根）存储在链上账户空间中。更具体地说，状态树是基于Poseidon哈希的并发Merkle树。
很多Solana团队已经在以下方面构建ZK压缩用例：
Backpack钱包用户无需支付租金（Gas）即可持有代币。
消费者社交应用程序，例如Tribe.fun让创作者可以以低成本发送代币。
HeliusAirship等空投工具
ZKVM和网络扩容Stack
RiscZero和SuccinctLabs可帮助证明链上的任意计算，并不受链计算限制。这可以增强由ZK驱动的Solana轻客户端、实现简化的DePIN网络和安全无缝的ZK登录。
另外，zkSVM正被用于很多用例中：
SolforgeNetwork使用ZKP网络扩容Stack和zk压缩以启用传输状态更新证明的扩展，并通过LightSVM针对证明生成进行了优化。
SVM网络部署平台Terminaxyz通过减少延迟、提高隐私和降低计算成本来针对特定用例进行应用。
用于游戏和应用程序的SVM堆栈SonicSVM也致力于通过zk和Hypergrid进行扩展。
ZetaMarketsBulletL2正在扩展到极高的吞吐量，并且所有状态转换都是可证明的。
此外，Aerius等团队正在试验zk证明。
其他举措包括ZKTokenProof计划，通过Anza支持隐私转账——加密SPL代币的余额和交易金额，以保护支付等用例的隐私，同态加密允许对加密数据执行计算，而无需对其进行解密。为此，隐私传输使用TwistedElGamal加密对密文进行隐藏的数学运算，并使用Sigma协议来验证这些传输，而不会泄露敏感信息。只有拥有解密密钥的账户持有人才能查看其加密余额。但是，Solana上的GlobalAuditorSystem（全球审计）允许通过单独的解密密钥进行选择性读取访问，以实现合规性和审计。
