Le cofondateur d'Ethereum, Vitalik Buterin, a proposé la règle de confirmation rapide (FCR), visant à réduire le temps de confirmation des dépôts à environ 13 secondes, optimisant ainsi l'expérience utilisateur. La FCR fournit des signaux de confirmation précoce par le biais de preuves de validateurs, sans nécessiter de hard fork. Malgré les préoccupations concernant la centralisation et l'honnêteté, elle est toujours considérée comme une mesure importante pour améliorer l'efficacité du réseau, faisant partie de la feuille de route Lean Ethereum.

Mistral AI a lancé Leanstral, un agent de code open source conçu spécifiquement pour la vérification formelle en Lean 4, capable de générer du code et des preuves vérifiables automatiquement. Le modèle utilise une architecture MoE clairsemée, surpassant les autres modèles de premier plan, et offre des téléchargements gratuits et des appels API.