Ethereum-Mitgründer Vitalik Buterin hat die Fast Confirmation Rule (FCR) vorgeschlagen, die darauf abzielt, die Bestätigungszeit für Einzahlungen auf etwa 13 Sekunden zu verkürzen und die Benutzererfahrung zu optimieren. Die FCR bietet durch Validatorattestationen frühe Bestätigungssignale, ohne dass ein Hard Fork erforderlich ist. Trotz Bedenken hinsichtlich Zentralisierung und Ehrlichkeit wird sie als wichtige Maßnahme zur Verbesserung der Netzwerkeffizienz angesehen und ist Teil der Lean Ethereum-Roadmap.

Mistral AI veröffentlicht Open-Source-Code-Agent Leanstral, speziell für die formale Verifizierung von Lean 4 konzipiert, der automatisch überprüfbaren Code und Beweise generieren kann. Das Modell verwendet eine Sparse-MoE-Architektur, übertrifft andere Top-Modelle in der Leistung und bietet kostenlosen Download und API-Aufrufe.