Vitalik Buterin ผู้ร่วมก่อตั้ง Ethereum ได้เสนอกฎการยืนยันอย่างรวดเร็ว (FCR) ซึ่งมีวัตถุประสงค์เพื่อลดเวลาการยืนยันการฝากเงินให้เหลือประมาณ13วินาที เพื่อปรับปรุงประสบการณ์ผู้ใช้ FCR ให้สัญญาณการยืนยันเบื้องต้นผ่านการรับรองของผู้ตรวจสอบ โดยไม่ต้องใช้ hard fork แม้ว่ามีข้อกังวลเกี่ยวกับความเข้มข้นและความสัจจะ แต่ก็ยังถูกมองว่าเป็นมาตรการสำคัญในการยกระดับประสิทธิภาพของเครือข่าย ซึ่งเป็นส่วนหนึ่งของแผนวิวัฒนาการ Lean Ethereum

Mistral AI เปิดตัวตัวแทนโค้ดโอเพนซอร์ส Leanstral ซึ่งออกแบบมาโดยเฉพาะสำหรับการตรวจสอบรูปแบบ Lean 4 สามารถสร้างโค้ดและการพิสูจน์ที่สามารถตรวจสอบได้โดยอัตโนมัติ โมเดลนี้ใช้สถาปัตยกรรม Sparse MoE ซึ่งมีประสิทธิภาพดีกว่าโมเดลชั้นนำอื่นๆ และให้บริการดาวน์โหลดฟรีและการเรียก API