ZEROBASE X ICICLE:加速大规模实时ZK应用

ZEROBASE是一个模块化的基础设施堆栈,用于构建实时的、保护隐私的零知识应用程序。通过集成Ingonyama的ICICLE库,ZEROBASE显著加快了证明生成速度,降低了基础设施开销,并改善了跨应用程序的用户体验。ICICLE帮助ZEROBASE实现了多个生产级别的实时ZK用例,并在Solana SIM、zkLogin和Staking Network等应用中取得了显著的性能提升。

介绍

ZEROBASE 是一个模块化的基础设施栈,用于构建实时的、保护隐私的零知识应用程序。其可组合的 zkApp 框架通过整合身份、证明生成和安全计算,简化了可扩展的 Web3 体验的部署。

它的架构围绕可重用的模块构建,包括证明网络、DSL 电路和标准化的 ZK 产品,每个模块都针对互操作性和性能进行了优化。

随着其产品采用率的增长,Zerobase 在实时证明生成方面面临可扩展性挑战。为了满足这些需求,该团队集成了 ICICLE,Ingonyama 的硬件加速高速密码学库,从而显著加快了证明时间,减少了基础设施开销,并改善了其应用程序的用户体验。

面向消费者的 ZK 应用的大规模实时证明

ZEROBASE 的主要产品面向主流使用,其中延迟和可靠性至关重要:

  • Solana SIM:全球 eSIM,具有无缝互联网访问,它使用 ZKP 来验证身份或会话连续性,而无需泄露元数据。
  • Tako 协议:模块化去中心化社交层,它利用 ZKP 来实现内容验证和审核透明度。
  • Firefly:Web3 原生社交聚合器,它使用 ZKP 以抗审查的方式聚合和排列内容。
  • Staking Network:Zerobase 的 Staking 网络利用实时 ZK 证明来确保所有资金都保持在风险中性、过度抵押的套利头寸中。这种设计强制执行资本效率和链上可验证性。可以将其视为 Ethena 的 zk 原生版本,针对透明度和最小信任收益进行了优化。
  • AnySearch:Telegram 的保护隐私搜索,它依靠 ZKP 来验证查询是否未被篡改且匿名。
  • zkLogin 通过使用零知识证明来证明对 Web2 帐户(如 Google 或 Apple)的控制,从而实现无缝、无密码的身份验证。它提供流畅的入门体验,而不会损害用户隐私,非常适合将主流用户引入 ZK 驱动的应用程序。

主要约束

  • 需要亚秒级的证明时间
  • 不同的电路尺寸和证明系统
  • 用户跨越移动设备、边缘设备和桌面设备
  • 需要可扩展的 GPU 基础设施,而无需内部低级工程

解决方案:集成 ICICLE 以实现快速、灵活的 ZK 加速

Zerobase 工程团队将 ICICLE 嵌入到为这些产品提供支持的证明生成管道中。

集成亮点:

  • 跨多个 zk 后端(例如,Solana SIM 的 Groth16)的即插即用 GPU 证明
  • 与 Zerobase 的 Web 后端和实时移动网关集成,从而无缝支持受信任的设置和身份原语,如 zkPassports。
  • 无需手动 CUDA 调整,也无需较低级别的 PTX 调整; 所有这些都由 ICICLE 处理。

来自 Ingonyama 的支持包括:

  • 自定义电路配置和调整
  • 多 GPU 编排帮助
  • 持续的性能优化

结果:实现了大规模实时证明

得益于 ICICLE,Zerobase 现在可以支持其套件中生产级的实时 ZK 用例。

‍Solana SIM: 借助 ICICLE,用于身份/会话验证的证明生成现在可以容纳在单个 Solana 区块中,从而以最小的延迟实现无缝实时入门。

zkLogin: zkLogin 的延迟降低了 40%,从 ~400 毫秒降至 250 毫秒。低于 400 毫秒的阈值对于创建基于 Web2 凭据的响应式、保护隐私的身份验证流程至关重要。

Staking Network: Staking 引擎的速度提高了 25%,从而在保持资本效率的同时降低了证明延迟。这使得在动荡的市场条件下能够及时执行风险中性的套利。

加粗“ICICLE 赋予了我们证明能力,使我们的实时 ZK 愿景成为可能。我们的应用程序现在运行得更快、更便宜,并且在全球范围内扩展。” — Mirror,ZEROBASE 的 CEO

‍‍未来计划

Zerobase 团队计划加深 ICICLE 在新的和即将推出的产品中的集成,重点关注现实世界的实用性、隐私保护和用户收入生成。

  • zkPCDN: 一种点对点内容分发网络,它利用 ZKP 来解决身份泄露问题,同时奖励用户共享带宽,目标是每个用户每天高达 1 美元。
  • 支持更大的电路: 通过高吞吐量证明支持更复杂的应用程序。
  • Cosnarks(随着它们的成熟): 计划集成到去中心化的递归 ZK 工作流程中。
  • 下一代 SNARK/STARK 兼容性: 继续扩展到新兴的证明系统中,以保持互操作性和面向未来的性能。

关于 Zerobase

Zerobase 设想零知识技术是一种工具,通过构建强大的、抗审查的系统来赋予发展中国家的用户权力,这些系统不仅可以作为金融轨道,还可以作为成熟的去中心化数据库。在 zerobase.pro 上了解更多信息

关于 Ingonyama

Ingonyama 是高速密码学加速领域的领导者,构建了扩展 Fancy Cryptography 所需的基础设施和库。ICICLE 是其旗舰开源证明引擎,针对吞吐量、开发者人体工程学和硬件抽象进行了优化。在 Ingonyama.com 上了解更多信息

关注 Ingonyama

Twitter / X: https://twitter.com/Ingo_zk

YouTube: https://www.youtube.com/@ingo_zk

GitHub: https://github.com/ingonyama-zk

LinkedIn: https://www.linkedin.com/company/ingonyama

加入我们: https://www.ingonyama.com/career

Snark Chocolate: Spotify / Apple Podcasts

  • 原文链接: medium.com/@ingonyama/ze...
  • 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
点赞 0
收藏 0
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论
ingonyama
ingonyama
从软件到硅重定义密码学硬件加速 // 从这里开始: https://dev.ingonyama.com