Ethereum co-founder Vitalik Buterin has proposed a "maximalist EIP-8288" roadmap that would allow Ethereum to stop adding new precompiled contracts, reframing an ongoing debate between a16z crypto and StarkWare over post-quantum cryptographic schemes. The dispute began when a16z published its Aerie system on October 17, using lattice-based SNARKs to aggregate Falcon signatures in just 0.65 seconds on a single Apple M4 Max laptop. a16z argued that Ethereum's planned hash-based approach relies on complex multi-round recursion with difficult-to-establish security guarantees. StarkWare CEO Eli Ben-Sasson countered that lattice cryptography's rich mathematical structure makes it more vulnerable to AI-driven attacks, recommending the ecosystem observe for three to five years before committing to a roadmap. Buterin sidestepped the hash-versus-lattice choice entirely, arguing at the architectural level that heavy cryptographic logic should not be hardcoded into the EVM regardless of scheme. EIP-8288, officially titled "Mempool Signature and Proof Aggregation" and submitted as a draft in June 2026, requires transactions to carry only a lightweight ~96-byte dependency attestation while actual signatures and proofs are recursively aggregated across mempool nodes via STARKs. The final block includes a single aggregated proof of 100–300 KB to verify all dependencies. This reduces verification costs from 150,000–200,000 gas per post-quantum signature down to thousands or tens of thousands of gas, potentially cutting privacy transaction costs from near 10 million gas to levels comparable to regular transactions. The proposal remains in draft status with no mainnet implementation timeline. Buterin has expressed hope for inclusion in the "I-star" hard fork following the Hegota upgrade. Related infrastructure work is underway on EIP-8141 (Frame Transactions) testnets and Lean Ethereum toolchain prototypes. If adopted, EIP-8288 would shift Ethereum from a "world computer that constantly adds precompiles" to a leaner "world verifier," eliminating the need for hard forks to integrate new cryptographic schemes while supporting both hash-based and lattice-based approaches through client-side proof generation.