A formally verified Lean 4 implementation of Ethereum's Serialization module ensures consensus-critical serialization logic is mathematically proven correct, reducing implementation bugs.
Ethlabs publishes its weekly update on account abstraction collaboration, upgrade roadmap tracking, and L2 developer priorities.
A proposed standard addresses the mismatch between fast on-chain token settlement and slow real-world registry updates like property deeds or cap tables, enabling practical tokenization workflows.
Circle's stablecoin USDC gains distribution infrastructure across emerging-market payment corridors where it has historically lagged rival Tether.
This release candidate advances Glamsterdam readiness by adding builder bid tracking, payload storage, and light client support for data columns.
A unified dashboard consolidating Ethereum's testnet roadmap, blob schedules, chain IDs, and per-devnet EIP coverage helps developers coordinate across the upgrade timeline.
A collaborative effort using human and AI optimization reduced the computational cost of a core quantum algorithm step by over 50%, shifting timelines for when quantum computers might threaten current cryptography.
Ethernews covers price only on exceptional moves. Ether traded at $2,523 as of September 13; factual coverage of the move collected here.
A shared multisig signer between DeFi Saver's admin wallet and Aave's governance guardian role raises questions about centralized control and conflict of interest in Aave's governance.
Core developers locked Frame Transactions as the centerpiece of Hegotá, moved nonce-bump protections to the next upgrade, and approved 16 additional EIPs for further review.