مؤسس إيثيريوم المشارك Vitalik Buterin اقترح قاعدة التأكيد السريع (FCR)، التي تهدف إلى تقليص وقت تأكيد الودائع إلى حوالي 13 ثانية، مما يحسن تجربة المستخدم. يوفر FCR إشارات تأكيد مبكرة من خلال إثبات المدققين، دون الحاجة إلى هارد فورك. على الرغم من وجود مخاوف بشأن المركزية والصدق، لا يزال يُعتبر إجراءً مهماً لتحسين كفاءة الشبكة، وهو جزء من خريطة طريق Lean Ethereum.

أطلقت Mistral AI وكيل الكود مفتوح المصدر Leanstral، مصمم خصيصاً للتحقق الرسمي من Lean 4، وقادر على توليد الكود والإثباتات التي يمكن التحقق منها تلقائياً. يستخدم النموذج بنية MoE�疏 (Mixture of Experts)، ويتفوق على النماذج الرائدة الأخرى، ويوفر التنزيل المجاني واستدعاءات واجهة برمجية.