Спільний засновник Ethereum Віталік Бутерін запропонував правило швидкого підтвердження (FCR), спрямоване на скорочення часу підтвердження депозитів приблизно до 13 секунд для оптимізації користувацького досвіду. FCR надає сигнали раннього підтвердження через доказ валідаторів без необхідності жорсткого форка. Незважаючи на занепокоєння щодо централізації та чесності, це все ще розглядається як важливий захід для підвищення ефективності мережі та є частиною дорожної карти Lean Ethereum.

Mistral AI випустила open-source агента коду Leanstral, спеціально розробленого для формальної верифікації Lean 4, який може генерувати код і докази, що автоматично перевіряються. Модель використовує архітектуру розрідженої MoE, показує кращі результати порівняно з іншими провідними моделями та пропонує безплатне завантаження та виклики API.