Vitalik Buterin praised a real-time zero-knowledge proving breakthrough as a major milestone but cautioned that energy demands, lack of formal verification, and unresolved worst-case performance issues prevent its immediate adoption on Ethereum Layer 1.
