文章转载来源: Felix
作者:Solana
编译:Felix, PANews
Solana上的ZK(零知识)和可验证性领域是您可能不知道的黑马。以下是Solana上ZK、可验证性和隐私项目的简要概述。
总体而言,Solana的基础设施有助于:
提高网络性能
提升安全性
甚至在Solana上实现了zk-rollups。
下面会逐一探索:
注意:这些类别是以简单起见而分组,可能会出现重叠。
Arcium:通过提供一个无需信任、可验证且高效的框架来运行加密计算,帮助为链上应用带来保密性。
例如:AI模型可以在加密数据上进行训练,而DeFi可以将其用于保密交易。
Anagram构建的Bonsol是Solana上原生可验证计算系统,开发人员能够创建:对私有和公共数据进行完全可验证的可执行文件 → 以数学方式保证其有效性 → 将结果集成到Solana智能合约中以在链上进行证明。
Darklake:构建一个基于交易的加密AMM,旨在成为Solana上第一个提供实时、抗MEV订单执行的DEX。
Dark Protocol:构建一个由ZK-snarks提供支持的市场治理匿名协议。
ZK Compression(ZK压缩):由Light Protocol和Helius提供的一种具有ZK证明 + 状态压缩的新Solana帐户原语,将Solana应用开发者的租金成本降低了1000倍(利用零知识证明和压缩减少链上存储的数据量)。
各团队已经从以下方面开始构建ZK压缩:
RISC Zero和Succinct帮助证明链上任意计算,不受链计算限制。这可以实现:
zkSVM正在被应用:
1. Solforge Network:使用ZKP方法和ZK压缩的网络扩展堆栈,用于:
2. Termina:SVM 网络部署平台,通过减少延迟、提高隐私性和降低计算成本来满足特定用例的需求。
3. Sonic SVM:用于游戏和应用程序的SVM堆栈,也正通过ZK和Hypergrid进行扩展。
4. bullet是Zeta Markets推出的超低延迟rollup,可扩展到极高的吞吐量,并且所有状态转换都是可证明的。
此外,像Aerius Labs这样的团队正在尝试ZK证明。
其他举措包括由Anza发起的ZK Token Proof计划,该计划支持加密转账——对SPL代币的余额和交易金额进行加密,以保护应付账款等用例的隐私。
从最近发布的ZK压缩到即将上线的各种系统调用,Solana正在成为ZK的强大引擎
来源:Felix
发布人:暖色
声明:该文观点仅代表作者本人,不代表火讯财经立场。火讯财经系信息发布平台,仅提供信息存储空间服务。
如文章涉及侵权, 请及时致函告之,本站将第⼀时间删除⽂章。邮箱:840034348@qq.com