今日运势评分

11

本月运势

丙子月

乙克己,巳火为用
甲不开仓财物耗散
辰不哭泣必主重丧

求嗣,斋醮,塑绘,订盟,纳采,出火,拆卸,修造,动土,造桥,安机械,栽种,纳畜,牧养,入殓,除服,成服,移柩,破土,安葬

开市,嫁娶

月相

冲顶回落

日冲

Powered by RitMEX

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 探讨共享证明者:模块化的新领地

共享证明者可降低 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 中的硬件加速有望降低成本。

欢迎加入深潮TechFlow官方社群

Telegram订阅群:https://t.me/TechFlowDaily
Twitter官方账号:https://x.com/TechFlowPost
Twitter英文账号:https://x.com/TechFlow_Intern
作者Delphi DigitalDelphi Digital
相关文章
2024.12.06 - 11 小时前
Solana 链上淘金第三浪:找那些有虚拟形象,更有互动性的 AI Agent
我们将看到应用和虚拟形象形式的实用性。
2024.12.06 - 12 小时前
比特币「暴走」之后,马斯克或为山寨币带来强劲顺风
马斯克全力以赴地构建数字资产基础设施,再加上特朗普的政策举措,山寨币将迎来强劲的顺风。
2024.12.06 - 12 小时前
一顿操作猛如虎,也逃不出「死拿割肉与卖飞」的魔咒?
成功无法复制,失败却总被一再复制,本文将隐去浮盈浮亏具体数额,主要谈失败教训以供新手避坑。
2024.12.06 - 12 小时前
十万关口遭当头棒喝,比特币来到关键十字路口
爆仓近 6 亿,比特币今晨插针触及 90500 美元。
2024.12.06 - 12 小时前
Web3 项目,为什么需要成立加密基金会?
Web3 项目如何通过加密基金会实现合规运营、推动社区发展,并在全球监管的大背景下保障项目的成功?
2024.12.06 - 12 小时前
准确预测比特币今年冲上 10 万美元后,渣打分析师再唱多:明年底上冲 20 万大关
渣打认为,今年比特币的投资资金流一直由机构投资者主导,明年将继续保持或超过今年水平。
2024.12.06 - 12 小时前
比特币突破 10 万美元后,加密资产要变天了
BTC 的 10 万美元,仅仅是一个开始。
2024.12.06 - 13 小时前
Hyperliquid 空投模式解析:为什么“先产品后代币”的模式能赢?
围绕与基础产品无关的图片或口号建立崇拜是对应该围绕您产品本身的崇拜的替代。
2024.12.06 - 16 小时前
数据对比:Truth Terminal 与 Luna,谁更受社媒青睐?
AI 智能体的适应能力、互动性和影响力使其成为市场趋势和情绪的强大推动力。
2024.12.06 - 18 小时前
加密早报:比特币突破 10 万美元,特朗普任命科技投资人 David O. Sacks 为“加密沙皇”
比特币或出现短期回调,明年一季度有望冲击 12 万美元。