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 中的硬件加速有望降低成本。
Postman是一套面向API全生命周期的开发与测试平台，可在Mac上发送和调试多种协议请求，管理集合、环境及认证信息，并完成脚本测试、模拟服务、监控、文档发布和团队协作。它适合开发、测试及运维人员使用，提供个人免费方案。
Docker Desktop 是 Docker 官方为 Mac 提供的容器开发环境，集成 Docker Engine、命令行工具、Compose、Build、Kubernetes 与图形化管理界面。
Android Studio 是 Google 面向安卓应用开发提供的官方集成开发环境，基于 IntelliJ IDEA 构建。它整合智能代码编辑、Gradle 构建、界面预览、设备模拟、性能分析、调试测试及 APK 分析等工具。
Xcode 是苹果面向 Mac 提供的官方集成开发环境，将代码编辑、项目构建、SwiftUI 实时预览、设备模拟、自动化测试、断点调试、性能分析和应用分发整合在同一套工作流中，适合开发与维护 iPhone、iPad、Mac、Apple Wa
JetBrains WebStorm 是面向 JavaScript、TypeScript 和现代 Web 技术的专业集成开发环境，可智能理解项目结构，提供代码补全、重构、错误检查、运行调试、测试及 Git 工具。
PhpStorm 是 JetBrains 推出的专业 PHP 集成开发环境，可在 Mac 上完成代码编写、智能检查、重构、调试、测试和数据库管理。它支持主流 PHP 框架、Composer、Git、Docker 与远程解释器。
JetBrains PyCharm 是面向 Python 开发者的集成开发环境，提供智能补全、代码检查、重构、调试、测试、版本控制及虚拟环境管理功能。Mac 版兼容 Intel 与 Apple 芯片，核心功能可免费使用。
IntelliJ IDEA 是 JetBrains 推出的专业集成开发环境，重点服务于 Java、Kotlin 与 JVM 项目开发。软件集成代码补全、静态检查、重构、调试、测试、版本控制及构建工具，并可借助插件扩展语言和框架支持。
Visual Studio Code 是微软提供的免费代码编辑器，支持 macOS，并为 Intel 与 Apple 芯片 Mac 提供适配版本。软件集代码编辑、调试、Git 源代码管理、集成终端和扩展市场于一体。
REAPER是Cockos开发的数字音频工作站，提供多轨音频与MIDI录制、剪辑、处理、混音和母带制作工具。Mac版兼容Intel与Apple芯片，支持AU、VST、VST3、CLAP等插件格式，并提供高度可定制的工作流程。
Adobe Audition 是面向播客、影视后期、音乐制作及内容创作者的专业音频工作站，提供波形精修、多轨录制与混音、频谱编辑、降噪修复、响度匹配和效果处理工具，并可与 Adobe Premiere 协同完成视频声音制作。
Pro Tools 是 Avid 推出的专业数字音频工作站，覆盖多轨录音、无损剪辑、MIDI 编曲、插件处理、自动化混音及声音与画面同步等工作。它拥有 Intro、Artist、Studio 和 Ultimate 等方案。
PixPix 是面向品牌、卖家和内容团队的在线 AI 图片视频创作平台，提供图视频 Agent、无限画布、图片生成、视频生成、自然语言编辑及商品套图、产品精修和带货视频等电商工具。
Postman 是面向 API 全生命周期的开发与协作平台。Windows 桌面版可用于构建和发送 HTTP、GraphQL、gRPC、WebSocket、MQTT 等请求，并提供环境变量、集合、脚本测试、模拟服务、监控、文档及团队工作区等
Docker Desktop 为 Windows 开发者提供集成式容器环境，内置 Docker Engine、命令行工具、Compose、Build 与 Kubernetes 等组件，可在本机完成镜像构建、容器运行、日志查看和资源管理。
Android Studio 是 Google 面向 Android 应用开发提供的官方集成开发环境，以 IntelliJ IDEA 为基础，集成智能代码编辑、Gradle 构建、设备模拟、界面预览、调试测试及性能分析工具，
WebStorm 是 JetBrains 面向 JavaScript、TypeScript 和现代 Web 技术打造的集成开发环境。它提供项目级代码分析、智能补全、安全重构、导航搜索，并集成调试、测试、终端、Git 与常用前端工具，
PhpStorm 是 JetBrains 面向 PHP 与现代 Web 开发打造的专业集成开发环境，提供代码补全、静态检查、重构、调试、测试、数据库、版本控制及前端语言支持。Windows 用户可直接下载安装程序，
PyCharm 是 JetBrains 推出的 Python 集成开发环境，提供智能代码补全、错误检查、重构、调试、测试、Git、终端及 Jupyter Notebook 支持。统一版安装后可体验 30 天 Pro 功能，
JetBrains IntelliJ IDEA 是以 Java、Kotlin 和 JVM 项目为核心的专业集成开发环境，提供智能补全、代码检查、安全重构、调试、测试、版本控制及构建工具集成。统一发行版的核心功能可免费用于商业和非商业项目，
Visual Studio Code 是微软推出的免费代码编辑器，Windows 版集成智能补全、代码导航、调试、终端和版本控制，并可通过扩展添加语言、格式化及远程开发能力。它启动较快、配置灵活，
REAPER 是 Cockos 推出的数字音频工作站，适用于录音、MIDI 编曲、音频编辑、混音、母带制作及声音设计。软件安装包小巧，支持多轨录制、灵活路由、自动化、第三方插件和脚本扩展，并提供完整功能的 60 天免费评估期。
Adobe Audition 是面向播客、影视后期、广播与音乐制作的专业音频工作站，提供波形编辑、多轨混音、频谱分析、录音、降噪修复和效果处理等功能。Windows 版通过 Adobe Creative Cloud 安装和管理，
Pro Tools 是 Avid 推出的专业数字音频工作站，提供多轨录音、音频剪辑、MIDI编曲、插件处理、自动化混音及影视声音制作能力。它适合音乐人、录音师、制作人和音频后期团队使用，并提供免费入门版、订阅方案及永久授权选择。