Vitalik Buterin praised Succinct Labs’ progress on real-time zkVM proving but emphasized the need for worst-case performance, formal verification, reduced prover energy to \~10 kW, and a 10–100× increase in Ethereum’s Layer 1 gas limit to ensure safe and scalable deployment.