A simple L2 security and finalization roadmap

https://ethereum-magicians.org/t/a-simple-l2-security-and-finalization-roadmap/23309

Any thoughts on decoupling execution from state changes in the aggregation layer? It would be nice to natively aggregate up state changes from rollups using other execution VMs, and it would probably be a hell of a lot cheaper for provers.

Watching the latest Bankless today with @uma and @justindrake, talking about Native Rollups. Seems strange to me to enshrine an EVM specific exec() SNARK when you could enshrine something like storage_update(), have the same functionality, way simpler proving, composability, generalized enablement for SVM etc, and some awesome privacy features.

Basically enabling all execution composability of the @0xpolygon agglayer, and the nice optimizations that https://gaskiller.xyz is working on, but with SNARKs instead of using an /eigenlayer AVS 🤷  Would be pretty rad IMO.
https://www.youtube.com/watch?v=0TOnHHnB6Ro

I was throwing around this idea last week:

I was throwing around this idea last week:
https://warpcast.com/deanpierce.eth/0x7f7bdb58