以太坊将目光投向RISC-V，STARK内存池计划逐渐成形，Vitalik Buterin予以确认

EIP-828：将签名与证明移出执行路径，利用递归STARK优化以太坊架构

Vitalik Buterin 提出了 EIP-828 提案，这是针对 Hegota 升级后以太坊 I-star 分叉的一次递归 STARK 内存池（Mempool）设计构想。该方案的核心在于将签名、证明及相关数据从以太坊核心执行路径中剥离出来。Buterin 表示，这一方法能够在不反复修改 EVM（以太坊虚拟机）的情况下，支持更低成本的抗量子签名、隐私交易以及账户抽象功能。

将证明引入内存池机制

该提案采用包含关于签名或证明声明的“依赖帧”（dependency frames）。交易将携带信封，其中包含支持每个声明的签名或 STARK 证明。内存池节点将大约每 500 毫秒对这些信封进行一次聚合。

每个节点会移除过期的交易，并递归生成一个覆盖所有依赖关系的 STARK 证明。随后，节点会广播包含该证明的新多交易信封。根据 Buterin 的描述，这种机制将出站带宽限制为每个间隔仅产生一个大小为 100-300 KB 的 STARK 证明。区块构建器也将作为另一个内存池节点运行，负责创建涵盖所选入块交易的 STARK 证明。

抗量子工具有望大幅降低 Gas 成本

Buterin 指出，该设计有望降低基于 SPHINCS+ 等方案的抗量子签名的成本。例如，约 3 KB 的签名数据将不再需要链上存储。

目前，抗量子隐私交易大约需要消耗 1000 万 Gas。Buterin 表示， proposed 方案可将这一数字降至数万级别。此外，该系统无需对 EVM 进行更改即可支持 Falcon、ML-DSA 等其他签名方案。开发者只需在客户端将这些证明包裹在 STARK 中即可。

私有账户抽象是该提案的另一项潜在应用。用户可以在保持账户逻辑私密的同时，跨多个链上对象更改所有权。

RISC-V 成为核心设计选择

在 EIP-828 框架下，开发者需要将签名和 STARK 证明与交易的主要逻辑分离。核心执行层随后会检查所需的依赖帧是否存在。典型示例包括验证交易签名是否与存储的公钥匹配。

其他声明可用于证明 Merkle 分支、隐私地址或 ML-DSA 签名。Buterin 强调，该系统需要一个用于递归 STARK 的通用指令语言。目前，RISC-V 在该领域处于领先地位，是最佳候选者。

他形容这一选择是以太坊架构的一项重大设计决策。因此，该提案将使选定的指令集成为以太坊架构中的标准组成部分。