Vitalik posted an article discussing how to make Ethereum bloc | PSquare Daily
Vitalik posted an article discussing how to make Ethereum blocks smaller than today, anyone could run a fully verifying node on their laptop or even phone.
A fully Ethereum-equivalent ZK-EVM can be used to verify the EVM execution of a L1 Ethereum block. Perhaps AI will super-charge formal verification to the point where it can easily prove ZK-EVM implementations equivalent and identify all the bugs that cause differences between them.
https://vitalik.eth.limo/general/2023/03/31/zkmulticlient.html
