According to Odaily, Ethereum researcher Justin Drake has introduced a new rollup design called 'native rollups' on the ethresearch forum. This design relies on Ethereum L1 validators for proof, focusing on state transition functions and verification. Unlike Optimism Rollup and zk-Rollup, which offload computational tasks to L2 and use fraud or zk-proof systems to generate state roots and proofs, native rollups aim to simplify the process.
Traditional rollup systems often face issues due to complex proof systems that are prone to errors and vulnerabilities, leading to centralized rollup sequencers. Concerns over sequencer centralization have prompted designs like Taiko's 'based' rollups, which also depend on Ethereum L1 validators for sequencing.
Drake's proposal suggests introducing 'execution' precompiles, hardcoded functions in the EVM, to verify user transaction state transitions. Native rollups offer two significant advancements: eliminating the need for costly miner prover networks and specialized GPU hardware, as L1 validators will handle proofs; and removing the necessity for complex governance structures, such as trusted security councils, to approve contract upgrades for EVM equivalence.
By inheriting Ethereum L1's security, native rollups become 'trustless.' Additionally, like based rollups, native rollups benefit from 'synchronous composability' without being constrained by the 12-second block time. Thanks to 'execution' precompiles, L1 validators only need to verify zk proofs without performing the computations themselves.