Delphi 探讨共享证明者：模块化的新领地
原标题：DelphiDigitalX账号作者：DelphiDigital编译：Luffy，ForesightNews通常认为，模块化理论由四个层组成：DA（数据可用性）、共识、执行和结算。然而，一个新的层，即共享证明者，可能会被整合到模块化理论中。它能否成为高效、可扩展验证所缺失的部分？共享证明者、证明聚合和证明者市场正在改变零知识证明的格局。你可以在我们的最新报告中了解需要了解的一切。下面是报告的要点总结zkRollup简要回顾zkRollup解决方案可以扩展以太坊的交易规模，将交易移至链下以便更快地进
原标题：Delphi Digital X 账号
作者：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 中的硬件加速有望降低成本。
比特现金（BCH）的未来发展前景看好。凭借其可扩展性、支付采用、价值存储、智能合约和坚实的社区支持，比特现金有望在多个领域取得显著发展，成为一种多功能且广泛使用的加密货币。
ACH 总共发行了 10 亿枚，用于支付网关费用、治理投票和质押奖励。ACH 基于 BEP-20 标准，采用 PoS 机制，可通过私募、公募和生态系统分配获取，其价值受服务需求、实用性和市场趋势影响，可在币安、火币等交易所购买。
Coinbase Pro 设置步骤：下载并安装软件后，打开并登录，点击右上角齿轮图标进入“首选项”。在首选项中，你可以调整界面、安全、通知、交易和API设置，完成后点击“保存”按钮确认更改。
IoTeX、DePHY和peaq是构建物联网生态系统的关键基础设施。IoTeX提供去中心化网络，确保物联网交易和数据的安全性。DePHY利用区块链技术实现频谱共享和自治管理。peaq促进设备间的数据标准化和共享。通过这些基础设施的协同作用，物联网生态系统实现了去中心化、安全、互操作性和自治，充分释放了物联网的潜力。
Windows 10 是一款微软推出的经典操作系统，拥有硬件兼容性与多任务处理能力。它更偏向把系统状态查看和常用调节动作放在一起，适合需要持续观察和微调设备状态的场景。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
