Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
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…
Read More »Allocation Update – Q2 2026
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…
Read More »Announcing the Platåberget Testnet
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…
Read More »Announcing a Trillion Dollar Security grant for WEBCAT
The Ethereum Foundation’s Trillion Dollar Security (1TS) initiative is proud to announce a grant allocation to Freedom of the Press Foundation (FPF) to support the continued development of WEBCAT. WEBCAT…
Read More »Ethereum Foundation Board Update
We are pleased to share that pcaversaccio (pc) has joined the Ethereum Foundation Board. pc is a long time contributor to the Ethereum ecosystem, a co-founder and lead of SEAL…
Read More »Devcon 8 Tickets Are Live: Find Your Path to Mumbai
Devcon 8 tickets are live! 🇮🇳 This November, the Ethereum community will gather in Mumbai for a more focused and intimate Devcon. Devcon gathers minds from across Ethereum and beyond:…
Read More »The triage is the product: running AI agents against Ethereum’s protocol code
Notes from the Ethereum Foundation’s Protocol Security team on running coordinated AI agents against real protocol code, including how we organize the work, what holds up under scrutiny, and what…
Read More »Ethereum for Governments and Institutions: Why neutral infrastructure matters now
Current global shifts clearly signal a critical need for shared, neutral digital public infrastructure outside the control of any single centralized actor. As a public, programmable network designed to operate…
Read More »The EF’s new structure
Today, the EF is changing shape, concluding a months-long process of reorganization as part of the implementation of the Mandate and the Treasury Management Policy. We come out of this…
Read More »