Vitalik Buterin, co-founder of Ethereum, highly praised the achievements of the Lean Ethereum team in 2025. In his recent statement, he emphasized the significant progress in ensuring scalability, decentralization, and resilience of the network. A key innovation was leanVM — a minimalist virtual machine optimized for ZK-proofs. It promises to reduce scaling costs and accelerate recursion tenfold, which is an important step towards improving Ethereum's efficiency.