以太坊后量子证明ISA方案比较与EIP-8288修改提议

以太坊研究者 soispoke 在 ethresear.ch 发帖，比较以太坊可暴露的三种指令集架构（ISA）：EVM、RISC-V 和专为证明设计的 eISA，并提议据此修改 EIP-8288。该提案目前用于让交易依赖在 EVM 之外验证的后量子签名（leanSPHINCS）和 STARK 证明（leanSTARK）。 帖子称，EIP-8288 目前用验证密钥哈希标识每个证明背后的计算，这只是待以太坊决定暴露什么之前的占位方案；为适配 ISA，唯一需要的改动是把通用的 leanSTARK 方案（0x11）换成程序方案——第三个字段存放 program_id 而非验证密钥哈希，data_hash 为程序的公开输出，每个分叉指定验证者。 帖子中的比较表假设 leanVM 运行 RISC-V（RV64IM），如其当前 RISC-V 分支那样，并能在同一固定关系下证明任意 RISC-V 程序。leanVM 尚未选定哈希，暂用 BLAKE2s 占位，同时考虑 SHA-2、SHA-3 和 BLAKE3。

AI 根据报道生成 · 4 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。