Paranoid 开发者提出 EIP-8288 异构递归与认证类库方案

Foresight News 消息，Paranoid 开发者 Ignotus Nemo 于以太坊研究论坛上提出针对 EIP-8288 的递归聚合方案。其中建议考虑支持多种已批准的证明尺寸，使小规模聚合使用更小的证明。Ignotus Nemo 在 Paranoid 系统中实现了异构递归，并已在公共主网上运行大小两种状态转移证明。该方案使用有限的认证验证器类库，通过每类独立的累加器通道处理跨类延迟验证，确保递归步骤中矩阵声明的正确性。此外，其还探讨了将该机制应用于 EIP-8288 时，如何合并子类库并处理依赖关系，以及程序身份与验证器类之间的语义兼容问题。

EIP-8288 由 Vitalik Buterin 与 Thomas Coratger 于 2026 年 6 月提出，主要解决后量子签名和 STARK 证明体积大、链上验证成本高的问题。