以太坊草案提议为批量证明引入共享支付机制

加载图片中

加载图片中

加载图片中

加载图片中

分享

以太坊贡献者Marchhill已提交一份草案提案，旨在实现通用证明验证和赞助批量处理，允许多个交易声明共享同一份证明，同时保留各自的支付和签名。

• 赞助方可为批量证明付费，而成员交易则为其各自的声明付费。

• 有效的子集可以在无需成员再次签署其交易的情况下进入区块。

• 拟议的费用和资源限制仍为暂定，其启用取决于性能测量结果。

• 该提交是一份草案拉取请求，尚未分配 EIP 编号，也没有主网激活日期。

Marchhill 于11月13日提交至以太坊 EIP 仓库的提案将激活 EIP-8288 中预留的 LEANSTARK_SCHEME，并为赞助批次引入相关规则。该提交仍处于开发阶段，尚未被采纳为以太坊网络升级。

该草案将通用验证、证明身份、资源限制、依赖摘要和批量支付整合到同一提案中。它取代了此前的提交（拉取请求 #12654），而 EIP 编号和专门的讨论帖仍有待分配。

以太坊批量证明将把赞助方与成员支付分开

该草案的核心是一种支付安排：由赞助方为每个保留的批次叶子节点付费，每个叶子节点是一个包含若干声明的独立证明组件。成员交易则根据各自提交的声明进行支付。

构建者可以纳入任意有效子集，而无需成员再次签名。根据拟议机制，某人的交易已准备好被纳入时，不会仅仅因为原始组中的其他成员被排除在外而需要重新签名。

该草案将保留单笔交易的nonce和收据。nonce标识一笔交易在账户交易序列中的位置，而收据记录其执行结果。共享证明工作将使这些记录仍附属于各自的独立交易。

支付匹配将在最终确认阶段进行校验，并通过递归证明来验证批次中所使用的来源。该提交将确认声明有效的工作与确认所需支付随之完成的工作区分开来。

折扣声明和赞助支付将直接发送给区块构建者。仅覆盖单一陈述的普通证明仍可进入公共内存池，交易在该池中等待被打包进区块。

通用验证建立在EIP-8288的基础之上

基础提案 EIP-8288 由 Vitalik Buterin 和 Thomas Coratger 撰写，提议在以太坊主执行流程之外聚合加密签名和证明。交易将指明其需要验证的声明，而递归 STARK 将在区块层面确立这些声明的有效性。

STARK 是一种加密证明，能够证明某项计算已被正确执行，而无需每个验证者重复执行该计算。递归允许一个证明去验证其他证明，从而合并它们的结果。

EIP-8288 目前保留了通用的 leanSTARK 方案，但未允许其在依赖帧中使用。Marchhill 的提交提议启用该路径，并用一个代表声明列表的稳定摘要替换基础草案中仅有的数据哈希声明。

该设计延续了此前关于密码学验证的讨论，包括Buterin对通过聚合证明处理复杂密码学的支持。他的评论针对的是底层架构；Marchhill的草案则提出了一套具体的验证与支付安排。

拟议费用仍有待校准

所提供的修订版列出了临时费用：原生验证为15,400 gas，普通通用验证为572,000 gas。它将5,100 gas分配给固有证明份额，675,000 gas分配给叶子支付，4,200 gas分配给批量声明。

草案解释说，叶子支付会单独收费，因为绑定支付在普通验证之外增加了固定工作量。声明和支付不会产生额外的内在证明份额。这些数字需要联合校准，因此它们并不构成最终的费用表，也不代表用户已确认的节省。

资源控制包括一个临时的区块上限，即16,384个不同依赖项，独立于gas适用，同时还有相应的包含列表适配规则。一个叶子最多可包含256条声明，而一个证明步骤可有16个输入。这两个数字都不是区块范围的限制。

激活将需要全区块性能测量

在激活之前，该提案要求提供覆盖完整处理时间表、赞助者延迟修复以及每份证明费用的测量数据，且这些费用须在交易gas限制之内，包括所需的额外开销。

其基准测试材料将实测的单节点和单机区块结果与建模的16个工作节点数据区分开来。该草案要求将证据和剩余的性能差距记录在其基准测试材料中。

无效的赞助可能会浪费构建者的工作，而提交材料称，纳入gas不会补偿这项工作。具体的承诺构造和编码仍保留在已固定的证明系统规范中。该提案未引入新的网络消息。