Ethereum

GnosisDAO has approved Gnosis Chain's transition from a standalone Layer 1 into a ZK-proven Ethereum Economic Zone (EEZ) rollup.@note — verifying details to describe the proposal accurately.

The Ethereum Foundation Formal Verification team, in collaboration with Yukon and zkSecurity, launched better.codes, an open autoresearch challenge targeting hash-based SNARKs. It takes a self-contained problem from the Proximity Prize research, formalized in Lean, and puts its soundness bound on a public leaderboard that anyone can push forward. The goal is to raise machine-checked security benchmarks through agentic collaboration.

The Ethereum Foundation published its Q2 2026 allocation update, detailing ecosystem funding for the quarter focused on advancing resilience and capabilities. Supported work spans zero-knowledge proofs, client diversity, formal verification, and open-source tooling. The post lists the projects and ecosystem efforts funded as builders continue to strengthen the network.

The Ethereum Foundation announced the Platåberget testnet, an early public testing ground for the Glamsterdam upgrade (combining the Gloas and Amsterdam upgrades). The upgrade introduces breaking changes for application developers: any tool that relies on a hardcapped maximum gas limit — such as wallets, indexers, and gas estimators — will break and must be updated. Platåberget is open for public participation to validate the changes ahead of mainnet.

The Ethereum Foundation's Trillion Dollar Security (1TS) initiative has awarded a grant to the Freedom of the Press Foundation (FPF) to fund continued development of WEBCAT. WEBCAT is an open-source browser tool that lets users verify that code served by an enrolled website matches what the developers originally published. The grant is aimed at hardening the tooling that supports transparency and supply-chain integrity on the web.