Delphi 探讨共享证明者:模块化的新领地

共享证明者可降低 zk 应用程序的的证明成本,并提高证明效率。

撰文:Delphi Digital

编译:Luffy,Foresight News

通常认为,模块化理论由四个层组成:DA(数据可用性)、共识、执行和结算。然而,一个新的层,即共享证明者,可能会被整合到模块化理论中。

它能否成为高效、可扩展验证所缺失的部分? 共享证明者、证明聚合和证明者市场正在改变零知识证明的格局。你可以在我们的最新报告中了解需要了解的一切。

下面是报告的要点总结👇

zk Rollup 简要回顾

zk Rollup 解决方案可以扩展以太坊的交易规模,将交易移至链下以便更快地进行处理,同时在以太坊之上实现硬确定性,并通过 zk 证明(零知识证明)进行验证。

zk 证明:验证速度快,生成速度慢

zk 证明虽然在隐私和扩展方面功能强大,但在以太坊上创建证明可能成本高昂且速度缓慢。

高证明成本会限制 zk 应用。证明聚合和证明者市场等新方法旨在解决这些限制。

证明者供应链

共享排序器为跨区块链的交易提供了高吞吐量。然而,它们实际上并不能证明任何事情。它们将来可能会与共享证明者网络集成以委托这项任务。

如今,Rollup 面临着昂贵的、单独的零知识证明提交的难题。

证明者网络提供了一种解决方案:一个统一的市场,各种 zk 应用程序可以将证明生成外包给专门的证明服务提供商,从而提高成本和效率。

共享证明者可以极大改善需要 zk 证明支持但缺乏内部 zkVM 或电路开发资源的应用程序的处境。

目前,Rollup 提交单独的 zk 证明,导致高峰时段的 Gas 成本高昂。

证明者网络现在的目标是将生成证明外包给专门的硬件提供商,以提高效率。

在具有多种 Rollup 并连接到证明者网络的网络中,交易生命周期的工作方式如下:

  • Rollup 提交证明请求。

  • 匹配机制选择一个证明者。

  • 证明者满足请求。

  • 将证明聚合起来。

  • 证明者将最终证明提交给 L1 进行验证。

分摊验证成本

证明奇点(Proof Singularity)是指旨在降低链上验证证明成本的各种技术。

证明聚合就是这些技术之一,它将多个有效证明压缩为一个可以验证所有证明的证明。

与单独验证每个证明相比,这种「批量验证」可以降低 Gas 成本。

zk App 证明者成本

zk 应用程序的高额验证成本与证明时间最终会转嫁给用户。

在过去的几年中,zk 应用程序(主要是 Rollup)花费了近 3000 万美元的 Gas 来验证和在链上发布证明。

证明聚合协议概况

Nebra UPA

Nebra UPA 让 zk 应用捆绑许多证明,以降低验证成本,他们声称在测试网上支持约 10 次证明 / 秒。他们的证明者目前是中心化的,但计划以后实现无需许可证明。

它们具有类似于现有 L2 逃生舱的强制纳入机制。如果证明者审查或延迟证明,zk 应用程序可以绕过证明者并在 L1 上强制执行证明结算。

Aligned Layer

Aligned Layer 是由 EigenLayer AVS 保护的以太坊通用 zk 验证层。 Restakers 通过证明聚合和单一以太坊提交为用户提供软最终确定性。默认 DA 是 EigenDA,但也可以选择其他 DA 层,例如 Celestia 或 Avail。

AggLayer

Polygon 的 AggLayer 是一个用于安全跨链交互的中立基础设施。它旨在将独立区块链网络统一在一个跨链桥下,在不损害区块链主权的情况下促进互操作性。

该系统旨在汇总所有连接的 Rollup 中的证明,然后提交一个唯一的证明,该证明包含提交的每个单独证明的 Merkle 树。

  • 它不需要特定的虚拟机或执行环境

  • 区块链可以自由选择自己的 Gas 代币

  • 它不需要服从共同治理。

在底层,将所有这些整合在一起的基础设施是 LxLy 跨链桥,它标准化了一个通用的跨链消息传递协议,以便 Rollup 在保持主权的同时相互通信并与以太坊进行通信。

LxLy 运作方式的简要说明👇

  • 每条链都在 Merkle 树(出口树)中跟踪提款转账

  • 所有出口树被合并成一个全局出口树,跨链共享

  • 更新本地和全局树,允许验证和净提款计算。

此外,Agglayer 在连接的 Rollup 之间有一个共享跨链桥,可简化 L1 和 L2 之间的资产流动。资产抵押在一个 L1 合约中,无需包装或者锁定 / 铸造。

传统上,框架依赖于单个内部证明者,存在审查和活跃度问题的风险。证明者网络可能会以中心化的方式开始,并随着时间的推移逐渐去中心化。

证明者市场的去中心化仍是一个悬而未决的问题,但一些方法正在被探索:

  • 证明竞赛:最快的证明者获胜,提高了效率但浪费了计算(成本转嫁给用户)。

  • 证明挖矿:与 PoW 挖矿类似,使用随机数来防止赢家通吃(计算浪费仍然存在)。SNARK ASIC 中的硬件加速有望降低成本。

作者Delphi DigitalDelphi Digital
相关文章
2024.06.14 - 15 小时前
探讨 OP_CAT 与 STARK 对比特币网络扩展与结算的影响:与 StarkWare 创始人 Eli Ben-Sasson 的对话
本次对话深入讨论了 OP_CAT 与 STARK 对比特币网络扩展与结算的影响。
2024.06.14 - 17 小时前
Bitget 研究院:以太坊 ETF 预计夏季被批准,CRV 清算后反弹超 20%
过去 24 小时,市场出现了不少新的热门币种和话题,很可能它们就是下一个造富机会。
2024.06.14 - 16 小时前
安全特刊 06|OKX Web3 & GoPlus:链上安全监控与事后抢救
特邀区块链安全新锐GoPlus安全团队,从实操指南的角度出发,分享链上安全监控与事后急救相关内容,仅供大家学习和交流。
2024.06.14 - 17 小时前
规模、链上声誉和支付:加密货币三大杀手级能力如何构建新兴市场?
加密货币的代币激励、链上信任和全球支付能力有望催生许多原先难以存在的新型市场,满足以往无法满足的需求。
2024.06.14 - 18 小时前
Bankless:近期哪些关键事件,能够成为顶级AI代币的价格催化剂?
本文探讨了顶级AI与加密项目的未来发展及其可能重新点燃市场的催化剂。
2024.06.14 - 20 小时前
Web3 游戏已死?活跃项目 7 日用户留存率仍超 4 成
区块链不需要对游戏进行革命,只需改进它。
2024.06.13 - 昨天
ZKsync 空投被扒出「猫腻」,竟有 1.2 万个未交互地址却有空投?
没有交易的 12,725 个钱包似乎也符合空投资格。
2024.06.13 - 昨天
ZKsync 任性,空投进入无规则时代
明星项目方们,似乎开始将空投当成一种资源分配的权力,可以傲慢的使用且不承担后果,而空投也不再是社区用户和项目方之间的互相成全。
2024.06.13 - 昨天
如何「挽救」ZKsync 空投?
将初始分配给「用户」的份额定为 20.3% 并采用类似 Arbitrum 的积分系统。
2024.06.13 - 昨天
以太坊研究员和 a16z 研究员合著:区块空间分配机制
区块空间分配机制如何影响 MEV?