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

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