Following approval through Arbitrum governance, the ArbOS Elara upgrade is now live on the Arbitrum Platform, bringing new capabilities to dedicated blockchains and important improvements to Arbitrum One.New for dedicated blockchains:Protocol-level compliance filteringCustomizable priority...
2026 08 20
Earlier this year, a roadmap of the engineering work underway across the Arbitrum Platform outlined the path to help make it the best infrastructure for building financial products in the programmable economy. A key part of that roadmap is a multi-proving model powered by zero-knowledge (ZK)...
better.codes, an open autoresearch challenge built by the Ethereum Foundation Formal Verification team in collaboration with Yukon and zkSecurity, is now live. better.codes takes a self-contained problem from the Proximity Prize research, formalized in Lean, and puts its soundness bound on a public...
Q2 2026 carried forward our focus on advancing Ethereum’s resilience and capabilities, supporting key work in zero-knowledge proofs, client diversity, formal verification, and open-source tooling. See the list below of the projects and ecosystem efforts supported this quarter as builders build and...
2026 08 18
tl;dr: Meet Platåberget: Glamsterdam's (Gloas + Amsterdam) early testing ground open to public participation. This upgrade comes with breaking changes for application developers. Notably, any tool that relies on a hardcapped maximum gas limit (think wallets, indexers and gas estimators) will break...
2026 08 17
Get the latest news by email!
