Der Paranoid-Entwickler Ignotus Nemo schlug im Ethereum-Research-Forum einen rekursiven Aggregationsansatz für EIP-8288 vor. Laut Foresight News empfiehlt der Vorschlag, mehrere zugelassene Beweisgrößen zu unterstützen, damit kleinere Aggregationen kleinere Beweise verwenden können.
Ignotus Nemo hat im Paranoid-System heterogene Rekursion implementiert, das sowohl große als auch kleine Zustandsübergangsbeweise auf dem öffentlichen Mainnet ausführt. Der Ansatz verwendet eine endliche Bibliothek authentifizierter Verifier-Klassen sowie einen separaten Akkumulatorkanal für jede Klasse, um die verzögerte Verifizierung klassenübergreifend zu handhaben und sicherzustellen, dass Matrix-Behauptungen während rekursiver Schritte gültig bleiben.
Der Vorschlag untersucht außerdem, wie sich beim Anwenden des Mechanismus auf EIP-8288 Unterklassen zusammenführen und Abhängigkeiten verwalten lassen, sowie die semantische Kompatibilität zwischen Programmidentitäten und Verifiziererklassen.
Vitalik Buterin und Thomas Coratger schlugen EIP-8288 im Juni 2026 vor. Der Vorschlag befasst sich mit der beträchtlichen Größe von Post-Quanten-Signaturen und STARK-Beweisen sowie den hohen Kosten ihrer Verifizierung auf der Blockchain.
