一览在Solana网络上官方认可的零知识证明类项目

转载
2 天前
5508
Felix

文章转载来源: Felix

作者: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——创作者可以以低成本发送代币
  • 空投工具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的强大引擎

相关阅读:Solana联创:Solana状态增长有何解决方案?