Pendiri bersama Ethereum Vitalik Buterin mengajukan Aturan Konfirmasi Cepat (FCR), yang bertujuan untuk mengurangi waktu konfirmasi deposit menjadi sekitar 13 detik, mengoptimalkan pengalaman pengguna. FCR menyediakan sinyal konfirmasi awal melalui bukti validator, tanpa memerlukan hard fork. Meskipun ada kekhawatiran tentang sentralisasi dan kejujuran, masih dianggap sebagai langkah penting untuk meningkatkan efisiensi jaringan dan merupakan bagian dari roadmap Lean Ethereum.

Mistral AI merilis agen kode sumber terbuka Leanstral, dirancang khusus untuk verifikasi formal Lean 4, mampu menghasilkan kode dan bukti yang dapat diverifikasi secara otomatis. Model ini menggunakan arsitektur MoE yang jarang, mengungguli model-model terkemuka lainnya, dan menyediakan unduhan gratis serta panggilan API.

Odaily Planet Daily News: Arthur Hayes stated that privacy will define the next wave of cryptocurrency trading, with Zcash serving as the privacy beta for it. His family office Maelstrom accumulated a large position in Zcash at low prices in Q3 2025, and Zcash has now become the second-largest liquid asset holding in its portfolio after Bitcoin. Arthur Hayes believes that as American political motivations lean toward aggressive credit expansion, expanded dollar liquidity will support Bitcoin and privacy assets. Additionally, Maelstrom is shifting its research and portfolio strategy toward the zero-knowledge proof ecosystem.