以太坊联合创始人Vitalik提议递归STARK内存池EIP-8288
以太坊联合创始人Vitalik Buterin发文介绍EIP-8288,希望在Hegota之后的I-star升级中纳入递归STARK内存池,把签名与证明移出核心执行路径,在内存池里聚合后再上链。
交易携带依赖帧,声明“某签名或某条件成立”,原始大体积证明留在链下。节点周期性收拢未过期交易、生成递归STARK并广播封装;区块构建者再为拟打包交易出最终证明。每个区块链上额外负担约一个100至300KB的STARK,外加每条待证声明96字节。量子安全隐私交易的Gas有望从约1000万降至数万。方案不改EVM即可接入Falcon、ML-DSA等后量子签名,并支持私密账户抽象。递归证明的候选指令集指向RISC-V。提案与Thomas Coratger共同起草,建立在EIP-8141帧交易之上,目前为草案。
带宽逻辑是节点互传交易正文加一份聚合证明,而不是每笔附带完整后量子签名。构建者只对最终入块集合再证一次,避免执行层为每笔重放昂贵验证。
市场机制上,这是证明成本从执行层搬家到内存池与构建者。受益方是隐私协议、后量子钱包与账户抽象钱包;承压方是仍按每笔验证收费的旧预编译路径,以及必须升级证明器的节点与中继。Gas下降会改变隐私交易的可发送频率,不直接改变ETH发行。
I-star尚未锁定范围。草案能写进分叉,取决于客户端与构建者是否接受RISC-V证明回路的工程负担。
来源:公开信息
ABAB AI 解读
后量子签名体积大,直接塞进EVM会把隐私和抗量子变成奢侈品。Vitalik选择不改虚拟机,改内存池:把验证从“每个节点执行一次”变成“网络先递归压缩,链上只留一份证明”。这是Frames之后的下一步,执行层继续跑旧合约,密码学换代走旁路。RISC-V被点名为证明语句的标准机,等于给未来所有新算法预定同一套电路,而不是每来一个算法就加一个预编译。
资本含义在L2与钱包:谁先接依赖帧,谁就能把百万Gas的隐私路径做成常规转账。构建者获得新的证明算力市场,中继要会验证STARK才会转发。Coinbase斯坦福抗量子讨论走的是比特币输出类型,以太坊走的是内存池递归,两条链用不同接口消化同一物理威胁。
对照EIP-4844把数据丢到blobs、以及各种签名聚合。行业从执行优化进入证明优化:贵的不再是运算本身,是谁有权把运算折叠进一个块头附件。
这属于技术替代:链上逐笔验签被内存池递归证明替代。机制是体积问题不进EVM,时间表绑在I-star,指令集绑在RISC-V,隐私与抗量子共享同一条管道。
ABAB News · 认知定律
签名太贵时,先改内存池,不必先改虚拟机
一块证明摊掉一区块的验签,Gas才能从千万掉到数万
新算法能接入,是因为证明机先被规定成同一套指令