tl;dr from the past week of EF workshops in Berlin: Ethereum is all-in zkVMs for scaling the L1.
Real-time proving showed that massively scaling the L1 with ZK is possible today. Justin Drake even outlined a path to eventual enshrinement of zkVMs in the L1.
They are far more serious about this effort than I realized.
More details 🧵