Ethereum Foundation Q2 2026 Funding Priorities for Core Protocol Research

The quarterly outlay continues a familiar pattern: subsidizing the upstream work that L2 stacks and application-layer teams quietly depend on, rather than subsidizing the apps themselves. For engineers shipping rollups, sequencers, or zk circuits, the signal matters — the base layer's resilience work is what eventually determines what their dependencies can assume at the protocol boundary.

Where the capital actually flows

The Foundation's stated priorities — zero-knowledge proofs, client diversity, formal verification, and open-source tooling — line up with the unglamorous substrate every production deployment touches. ZK research feeds directly into validity proof systems that optimistic and zk rollups are converging on. Client diversity work reduces correlated failure risk that any infrastructure operator has to model in their incident runbooks. Formal verification funding translates into the specification clarity auditors and tool authors rely on when reasoning about correctness at the bytecode level. Conversely, none of these areas generate the narrative lift of a new L2 launch, which is precisely why sustained allocation matters: the work compounds quietly until it becomes load-bearing. The full project list lives on the ESP website, linked from the original blog post.

Hegotá narrows the scope

While the funding lands, core developers are simultaneously cutting the Hegotá upgrade scope from a much broader proposal set. According to a KuCoin summary of recent developer calls and public posts, 66 proposals are under review, with FOCIL — Fork-choice enforced inclusion lists — currently the only EIP formally scheduled. FOCIL addresses censorship resistance by letting a validator committee enforce pending transaction inclusion during block building, a mechanism that affects sequencer assumptions on L2 more than it appears at first glance, since rollups inherit much of their preconfirmation semantics from L1 inclusion guarantees. Privacy-adjacent EIPs — Frame Transactions (EIP-8141), Keyed Nonces (EIP-8250), and Recent Roots for Frame Transactions (EIP-8272) — are not yet scheduled but are floated as candidates that could enable native privacy without forcing applications to coordinate through intermediaries. Developers are aiming to ship Hegotá next year.

The engineering filter

For L2 engineers, the practical question is narrow: watch whether FOCIL ships in its current form, because inclusion-list semantics will reshape how mempool-based preconfirmations and MEV-resistant sequencing get designed at L2. If the privacy EIPs get bundled in, expect a wave of new transaction-shape assumptions and a non-trivial audit cycle for any contract logic that depends on traditional transaction structure. Conversely, if scope stays tight, the near-term L2 roadmap is unaffected and the allocation-funded work — particularly on ZK tooling and formal verification — is where the more durable gains land. Either path demands the same baseline: keep your abstraction layer thin enough that a base-layer primitive swap doesn't cascade into a six-week refactor. Builders looking to deepen their formal background across adjacent disciplines — from applied cryptography to distributed systems — can explore structured options such as study abroad guides for STEM-focused programs, though the more directly applicable material remains the Foundation's funded documentation and reference implementations.