The EF Protocol teams are hosting a Reddit AMA on September 16. This is your chance to ask EF Protocol researchers and devs directly. Submit your questions about post-quantum Ethereum, L1-zkEVM, formal verification, the future of state, finality, privacy, and more now! 🔗↓

Live now: exploring the Kohaku CLI, how it makes Ethereum privacy tools easier to use, and demoing private transactions across Railgun, Tornado Cash, and more With @jchaskin22 and @kassandraETH of the @ethereumfndn

The Protocol Cluster has published two new posts: Hegotá EIP Opinion Post and Tier List evaluates and grades all 62 EIPs proposed for Hegotá, providing the cluster’s first unified tier list for a network upgrade Current and Emerging Priorities covers commitments and research arcs, anchored on a quantum-resistant Ethereum L1 by Dec. 2029 Offered as one input to Hegotá scoping, roughly 60 researchers, engineers, and individual domain experts across all 9 teams in the Protocol Cluster contributed to the Hegotá tier list, providing 397 tier grades before discussing contested items live. The plan, commitments, and shared set of cluster-wide priorities covered in the companion post provide the context behind the final tier grades. The Protocol cluster will host a Reddit AMA on r/ethereum on September 16 at 2pm UTC to talk through these priorities, the Hegotá tier list, and anything else on your mind. → Submit questions ahead of time here: Read the articles here: → EF Protocol - Current and Emerging Priorities: → EF Protocol - The Hegotá EIP Opinion Post and Tier List:

Quantum computers capable of breaking cryptography do not exist yet. The research for Ethereum to stay ahead of them does. @tcoratger, post-quantum cryptography researcher at the Ethereum Foundation, breaks it down in the first episode of @Edge_Pod's Lean Ethereum series.

Heads-up for anyone maintaining L1 contracts: → The Glamsterdam upgrade will include gas repricings (EIP-8037, EIP-8038) that shift state creation and access costs. → Most contracts are unaffected, but a small set may break or degrade without updates. Affected contracts rely on assumptions the new schedule changes, such as hardcoded gas values. Full context in the overview:

📢 We’re hiring at the Ethereum Foundation! We’re looking for a Project Manager, Academic Engagements to help build and grow our work with universities, research institutions, and academic communities around the world. If you enjoy bringing people together, turning ideas into programs, and working at the intersection of Ethereum and academia, we’d love to hear from you. Apply here ↓

AI, AGENTS & THE FUTURE OF MONEY — LATAM DIGITAL ASSETS CONF What money looks like when software starts transacting on its own. @0xpili_ from @CambrianNetwork and @bebepuey from @bombocommunity took the question apart with @candufaz from @EFDevcon, @ethereumfndn

We’re happy to support the proximity prize challenge efforts, now with machine-verifiability! currently hosts two challenges, to improve what we know about the security bounds of proximity gaps. Since the challenges are expressed in Lean, every accepted result carries a strong guarantee, in the same style as This follows the series of efforts in the industry and in our team to utilize verifiability for fearless optimization. Starting from a security bits baseline of 53 (lower bound) and 128 (upper bound), AIs (and people too) will collaborate to improve the state of the art, and hopefully interesting ideas that can advance science will rise out of it!

NEW Yukon Challenge Alert! We started Yukon with one belief. If we can verify the outcome, we can openly accelerate it. Until now our challenges asked agents to make systems faster. asks them to discover better mathematics. We’re starting with hash-based SNARKs for post-quantum Ethereum. Agents search in parallel and nothing counts until it survives a Lean 4 proof. Built with the @ethereumfndn and @zksecurityXYZ. Bring your agents. The search is open.

is live Join the open autoresearch challenge to advance post-quantum Ethereum. Bring your agents, harnesses, and prompts. Push the state of the art math in hash-based SNARKs. Submissions are verified by Lean 4 proofs and may earn a slice of the Ethereum Foundation's $1M Proximity Prize ( Built with @zksecurityXYZ and @eigenlabs on @yukonresearch

Live now: Exploring what makes a stablecoin trustless, walking through Pharos’ risk dashboard, and digging into stablecoin analytics With @jchaskin22 and @TokenBrice, founder of @PharosWatch

Q2 2026 carried forward our focus on advancing Ethereum's resilience and capabilities, with support for work across ZK proofs, client diversity, FV, and open-source tooling. Explore the projects @ethereumfndn supported in the Allocation Blog post here:

Tomorrow at 4pm UTC Ethereum Builders Live with @jchaskin22 and @TokenBrice, founder of @PharosWatch We'll explore what makes a stablecoin trustless, walk through Pharos' risk dashboard, and dig into stablecoin analytics.

Live now: exploring how Octant funds public goods, its new voting app, past funding epochs, and Epoch 13, a new 100 ETH matching round focused on privacy With @jchaskin22, joined by @arlery, CMO at @OctantApp

Tomorrow at 4pm UTC Ethereum Builders Live with @jchaskin22 and @arlery, CMO at @OctantApp We'll explore how Octant funds public goods, its new voting app, past funding epochs, and Epoch 13, a new 100 ETH matching round focused on privacy.

1/ Two new cohorts, 20 new teams, the same one goal: harden Ethereum through accessible world-class security. From restaking and stablecoin infra to onchain governance and agent-powered commerce, we’re thrilled to officially welcome Cohort II and III to the Ethereum Security Subsidy Program! Together, as always, with @ethereumfndn, @nethermind, and @chainlinklabs.