O co-fundador do Ethereum, Vitalik Buterin, propôs a Regra de Confirmação Rápida (FCR), com o objetivo de reduzir o tempo de confirmação de depósitos para aproximadamente 13 segundos, otimizando a experiência do utilizador. A FCR fornece sinais de confirmação antecipados através de provas de validadores, sem necessidade de hard fork. Apesar das preocupações com centralização e honestidade, é ainda considerada uma medida importante para melhorar a eficiência da rede, fazendo parte do roadmap Lean Ethereum.

A Mistral AI lançou Leanstral, um agente de código de código aberto especificamente concebido para verificação formal em Lean 4, capaz de gerar código e provas que podem ser automaticamente validadas. O modelo utiliza uma arquitetura MoE esparsa, com desempenho superior ao de outros modelos de topo, e oferece descarregamento gratuito e chamadas de API.