PEPE0.00 4.22%
SUI4.22 2.66%
TON6.82 -0.02%
TRX0.32 -0.89%
DOGE0.44 1.72%
XRP2.36 1.37%
SOL240.16 3.18%
BNB739.19 3.14%
ETH4074.92 6.39%
BTC101710.47 2.85%
PEPE0.00 4.22%
SUI4.22 2.66%
TON6.82 -0.02%
TRX0.32 -0.89%
DOGE0.44 1.72%
XRP2.36 1.37%
SOL240.16 3.18%
BNB739.19 3.14%
ETH4074.92 6.39%
BTC101710.47 2.85%
ETH Gas27.30 Gwei
贪婪 72
撰文:Delphi Digital
编译:Luffy,Foresight News
通常认为,模块化理论由四个层组成:DA(数据可用性)、共识、执行和结算。然而,一个新的层,即共享证明者,可能会被整合到模块化理论中。
它能否成为高效、可扩展验证所缺失的部分? 共享证明者、证明聚合和证明者市场正在改变零知识证明的格局。你可以在我们的最新报告中了解需要了解的一切。
下面是报告的要点总结👇
zk Rollup 解决方案可以扩展以太坊的交易规模,将交易移至链下以便更快地进行处理,同时在以太坊之上实现硬确定性,并通过 zk 证明(零知识证明)进行验证。
zk 证明虽然在隐私和扩展方面功能强大,但在以太坊上创建证明可能成本高昂且速度缓慢。
高证明成本会限制 zk 应用。证明聚合和证明者市场等新方法旨在解决这些限制。
共享排序器为跨区块链的交易提供了高吞吐量。然而,它们实际上并不能证明任何事情。它们将来可能会与共享证明者网络集成以委托这项任务。
如今,Rollup 面临着昂贵的、单独的零知识证明提交的难题。
证明者网络提供了一种解决方案:一个统一的市场,各种 zk 应用程序可以将证明生成外包给专门的证明服务提供商,从而提高成本和效率。
共享证明者可以极大改善需要 zk 证明支持但缺乏内部 zkVM 或电路开发资源的应用程序的处境。
目前,Rollup 提交单独的 zk 证明,导致高峰时段的 Gas 成本高昂。
证明者网络现在的目标是将生成证明外包给专门的硬件提供商,以提高效率。
在具有多种 Rollup 并连接到证明者网络的网络中,交易生命周期的工作方式如下:
Rollup 提交证明请求。
匹配机制选择一个证明者。
证明者满足请求。
将证明聚合起来。
证明者将最终证明提交给 L1 进行验证。
证明奇点(Proof Singularity)是指旨在降低链上验证证明成本的各种技术。
证明聚合就是这些技术之一,它将多个有效证明压缩为一个可以验证所有证明的证明。
与单独验证每个证明相比,这种「批量验证」可以降低 Gas 成本。
zk 应用程序的高额验证成本与证明时间最终会转嫁给用户。
在过去的几年中,zk 应用程序(主要是 Rollup)花费了近 3000 万美元的 Gas 来验证和在链上发布证明。
Nebra UPA 让 zk 应用捆绑许多证明,以降低验证成本,他们声称在测试网上支持约 10 次证明 / 秒。他们的证明者目前是中心化的,但计划以后实现无需许可证明。
它们具有类似于现有 L2 逃生舱的强制纳入机制。如果证明者审查或延迟证明,zk 应用程序可以绕过证明者并在 L1 上强制执行证明结算。
Aligned Layer 是由 EigenLayer AVS 保护的以太坊通用 zk 验证层。 Restakers 通过证明聚合和单一以太坊提交为用户提供软最终确定性。默认 DA 是 EigenDA,但也可以选择其他 DA 层,例如 Celestia 或 Avail。
Polygon 的 AggLayer 是一个用于安全跨链交互的中立基础设施。它旨在将独立区块链网络统一在一个跨链桥下,在不损害区块链主权的情况下促进互操作性。
该系统旨在汇总所有连接的 Rollup 中的证明,然后提交一个唯一的证明,该证明包含提交的每个单独证明的 Merkle 树。
它不需要特定的虚拟机或执行环境
区块链可以自由选择自己的 Gas 代币
它不需要服从共同治理。
在底层,将所有这些整合在一起的基础设施是 LxLy 跨链桥,它标准化了一个通用的跨链消息传递协议,以便 Rollup 在保持主权的同时相互通信并与以太坊进行通信。
LxLy 运作方式的简要说明👇
每条链都在 Merkle 树(出口树)中跟踪提款转账
所有出口树被合并成一个全局出口树,跨链共享
更新本地和全局树,允许验证和净提款计算。
此外,Agglayer 在连接的 Rollup 之间有一个共享跨链桥,可简化 L1 和 L2 之间的资产流动。资产抵押在一个 L1 合约中,无需包装或者锁定 / 铸造。
传统上,框架依赖于单个内部证明者,存在审查和活跃度问题的风险。证明者网络可能会以中心化的方式开始,并随着时间的推移逐渐去中心化。
证明者市场的去中心化仍是一个悬而未决的问题,但一些方法正在被探索:
证明竞赛:最快的证明者获胜,提高了效率但浪费了计算(成本转嫁给用户)。
证明挖矿:与 PoW 挖矿类似,使用随机数来防止赢家通吃(计算浪费仍然存在)。SNARK ASIC 中的硬件加速有望降低成本。
欢迎加入深潮TechFlow官方社群