比推消息，Paranoid 开发者 Ignotus Nemo 在以太坊研究论坛提出针对 EIP-8288 的递归聚合方案，建议支持多种已批准的证明尺寸，使小规模聚合使用更小的证明。其在 Paranoid 系统中实现了异构递归，并已在公共主网上运行大小两种状态转移证明。

方案使用有限的认证验证器类库，通过每类独立的累加器通道处理跨类延迟验证，以确保递归步骤中矩阵声明的正确性。将该机制用于 EIP-8288 时，需讨论如何合并子类库、处理依赖关系，以及程序身份与验证器类之间的语义兼容问题。EIP-8288 由 Vitalik Buterin 与 Thomas Coratger 于 2026 年 6 月提出，主要针对后量子签名和 STARK 证明体积大、链上验证成本高的问题。