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

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

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

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

以太坊批量证明将分离赞助者与成员的付款

该草案的核心是一种付款安排，其中赞助者承担每个保留的批次叶节点（包含若干声明的单个证明组件）的费用。成员交易则根据其自身提交的声明付费。

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

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

付款匹配将在最终化期间进行检查，递归证明将验证批次中使用的来源。该提交区分了确立声明有效性的工作与确认必要付款随之而来的工作。

折扣声明和赞助者付款将直接支付给区块构建者。涵盖单一语句的普通证明仍有资格进入公共内存池，交易在那里等待被纳入区块。

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

由 Vitalik Buterin 和 Thomas Coratger 撰写的底层 EIP-8288 提议在以太坊主执行过程之外聚合密码学签名和证明。交易将标识其需要验证的语句，而递归 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不会补偿该工作。具体的承诺构造和编码仍保留在固定的证明系统规范中。该提案未引入新的网络消息。