Paranoid 開発者が EIP-8288 再帰的集約案を提案しました

Paranoid 開発者 Ignotus Nemo は、イーサリアム研究フォーラムで EIP-8288 に対する再帰的集約案を提案し、承認された複数の証明サイズをサポートすることを提案しました。これにより、小規模な集約でより小さな証明を使用できるようになります。彼は Paranoid システムで異種再帰を実現し、公共メインネット上で大小二つの状態遷移証明を運用しています。

この案は、限られた認証検証器ライブラリを使用し、各クラスの独立した累積器チャネルを通じてクラス間の遅延検証を処理し、再帰ステップにおける行列の宣言の正確性を確保します。EIP-8288 にこのメカニズムを適用する際には、サブライブラリの統合、依存関係の処理、プログラムのアイデンティティと検証器クラス間の意味的互換性の問題について議論する必要があります。EIP-8288 は Vitalik Buterin と Thomas Coratger によって 2026 年 6 月に提案され、主にポスト量子署名と STARK 証明の大きさ、オンチェーン検証コストの問題に対処しています。