以太坊基金会研究员起草抗量子PeerDAS方案,Blob最大524,288字节

基金会研究员瞄准KZG依赖

以太坊基金会研究员发布了一份新的EIP草案,拟在抗量子密码学的基础上重建PeerDAS的数据验证机制,同时让以太坊(ETH)网络获得可变的Blob尺寸。该提案出自Francesco Risitano之手,于11月1日公开征求意见。第一项支柱是用逐Blob的Keccak-256 Merkle承诺取代目前保护PeerDAS的KZG承诺与证明,验证通过认证路径完成。草案文本指出,这一改动将移除KZG背后的可信设置流程,并提升数据可用性层的抗量子能力。PeerDAS是以太坊扩容路线背后的点对点数据可用性抽样机制,节点无需完整下载每个Blob,只需抽样部分片段即可确认Blob数据确实存在。抽样让节点硬件保持轻量,因为节点以概率方式验证可用性,而不必存储每个rollup的全部数据。按现行设计,一份KZG证明用于确认抽样片段确实属于其原始Blob。这些证明依赖一次性多方仪式产出的结构化参考串,参与方只能信任而非自行重算这组参数的完整性。Merkle承诺的运作方式不同:验证者展示连接某个片段与唯一固定根的哈希分支,即可完成成员校验,全程不需要任何仪式产出。此处所说的抗量子,是指即使大规模量子计算机最终攻破当前的配对类假设,该机制依然应当成立。第二项支柱触及Blob经济学:Blob是Layer 2 rollup向主链回传交易数据的专用空间,草案允许每个Blob在2048字节至524,288字节之间任意配置。两项改动指向同一个目标:重构以太坊网络对Blob数据的承诺、传输与定价方式。草案文本未附带任何激活时间表或分叉安排,目前停留在公开征求意见阶段。

Merkle验证与gas规则

替换机制分两步运行。认证路径先将每个抽样片段与该Blob的Merkle根进行核对。随后由LeanDA生成的STARK证明重算该根,节点借此验证里德-所罗门编码关系,以及发布数据与其承诺之间的一致性。两项校验合在一起,确认片段、编码与承诺三者完全吻合。尺寸规则本身也带有约束。每个Blob的字节数必须是2的幂,并且必须能被128个数据单元整除。草案将单元数量固定在128,按所选Blob尺寸缩放每个单元的大小:524,288字节的Blob包含128个4,096字节的单元,2048字节的Blob则包含128个16字节的单元。由于所有允许的尺寸都是最小尺寸的整数倍,算术保持统一,片段索引在整个区间内都可预测。这既保留了PeerDAS赖以构建的抽样设计,又让单个Blob的占用空间随需求伸缩。传输与定价跟随尺寸变化。在执行层,交易将携带Merkle根和Blob的字节长度,取代如今使用的版本化哈希,这意味着读取版本化哈希的客户端软件需要追踪另一个字段。草案还把Blob交换的区块链网络传输规则列为可调整项,因为尺寸差异巨大的片段在点对点层的传播方式各不相同。gas计算同样被列入调整清单,Blob的gas费定价将随重新定义的参数而变化。对验证者而言,实际工作量集中在抽样路径上:今天验证KZG证明的代码,将改为验证Merkle分支和重算后的根,参与数据可用性抽样的每一个客户端都要执行这一改动。以上变化不会立刻进入共识层;文本仍是开放征求意见的草案,其中没有写明任何激活区块或分叉。

可信设置为何关键

移除可信设置是整份草案中最承重的一处改动。如今生产环境中的每一份KZG承诺,都能追溯到一场仪式,而仪式参与方只是被假设、从未被证明销毁了自己的秘密输入,Merkle方案从源头上消除了这一假设。可变Blob尺寸则把Blob定价拉向实际发布的数据量,随着rollup吞吐量增长,这一点越发重要。对于关注以太坊价格的读者,这是一个协议层面的故事,而非交易层面的消息:草案没有携带激活日期,在触及硬分叉之前,它还需要经历公开评审和测试网演练,这正是网络当年推进以太坊2.0升级时走过的分阶段路径。