Read full article on ethresear.ch(opens in a new tab)
tldr
We identified cheap-to-compute but costly-to-prove EVM operations in mainnet blocks to guide repricing and prover optimization efforts, ensuring Ethereum can safely scale its L1 by using zkVMs.