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