EF Ecosystem Support Program

GitHub - mratsim/constantine: Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols. Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols. - mratsim/constantine

🎊 Grant Announcement: Constantine PeerDAS by Mamy Ratsimbazafy!

Replicating the interfaces defined in c-kzg-4844 v2.1.1 and making them available in C, Go, Nim, and Rust, along with extending Constantine's existing Ethereum KZG support to include PeerDAS.

github.com/mratsim/cons...

💡 Academic Grants Round Announcement: Protecting Block-Validation Service Against DoS Attacks by Yuzhe Tang!

Building automated tools to detect denial-of-block-building-service vulnerabilities, and designing secure, lightweight validation mechanisms resilient to resource exhaustion attacks.

4/ Let’s make decentralized, verifiable and censorship-resistant RPC access the default way users and developers connect to Ethereum 💪

3/ Possible directions include:

🔹 Improving light client usability & integration

🔹 Building hybrid systems that combine verification with distributed RPC routing

🔹 Supporting new infrastructure that prioritizes openness, neutrality, & public availability

2/ Our focus is on exploring efforts that help Ethereum move towards open, verifiable, and decentralized RPC access for everyone, from developers to end users! 🔓

Apply for Decentralized RPC Access for Developers and End Users | Ethereum Foundation ESP Submit your application for: Decentralized RPC Access for Developers and End Users - Ethereum’s default access layer still relies heavily on centralized RPC providers, which serve most wallets, dapps,...

1/ Ethereum’s strength comes from decentralization, but RPC access hasn’t fully caught up yet

We’re looking for builders to dive into this with our Wishlist item:

⭐️ Decentralized RPC Access for Developers & End Users ⭐️

Learn more and apply below 👇
esp.ethereum.foundation/applicants/w...

Unveiling ESP's New Grants Program | Ethereum Foundation Blog

4/ Want the full details about the updated grants program and where we’re headed?

Learn more in our blog post 👇
blog.ethereum.org/2025/11/03/n...

3/ Our current Wishlist items and RFPs span the following domains and more:

🛡 Privacy & Security
🧩 Cryptography
🌍 Community Growth
🌐 Decentralized Identity
🛠 Application Layer
💻 Nodes & Clients

2/ These target the ecosystem’s most pressing needs, identified by @ethereum.foundation teams

Here’s how it works:

💡 Wishlist – Broad themes for builders to propose innovative solutions

🎯 RFPs – Specific problems or opportunities with clear deliverables, inviting targeted proposals

Applicants Overview | Ethereum Foundation ESP Information about the Ecosystem Support Program's mission, scope, and support we offer.

1/ ESP’s grant applications are now OPEN! ✨

Our new grants program is structured through two pathways:

💡 Wishlist
🎯 Requests for Proposals (RFPs)

Explore the new opportunities and apply below!
esp.ethereum.foundation/applicants

Phantom Zone Phantom Zone has 17 repositories available. Follow their code on GitHub.

2/ These two complementary efforts are critical to Ethereum's long-term vision of secure, private, and decentralized computation.

github.com/phantomzone-...

1/ 🎊 Grant Announcement: Phantom Zone!

Building Phantom (encrypted RISC-V virtual machine that executes encrypted RISC-V binaries on encrypted inputs), and Poulpy (fast and modular FHE library written in Rust).

🎊 Grant Announcement: PBS Foundation!

Continued stewardship of the MEV ecosystem, including coordination across the MEV ecosystem for current and future hard forks, along with R&D for mev-boost and mev-boost-relay that supports hard fork development.

2/ Extending that model to quantify how changes to the reward curve impact overall staking levels, then further extending the framework to distinguish between solo vs liquid staking.

1/ 💡 Academic Grants Round Announcement: Staking Economics by Joel Hasbrouck & Fahad Saleh!

Analyzing how the staking reward curve affects equilibrium staking by developing a structural econometric model of ETH and LST joint price dynamics.

We’re excited to kick off stage 2 of our project to verify the Jolt zkVM! Thank you to the Ethereum Foundation Ecosystem Support Program for the grant to fund this effort.

Check out our post from January to learn more about the project: www.galois.com/articles/tow...

GitHub - walletbeat/walletbeat: An open repository of EVM-compatible wallets. An open repository of EVM-compatible wallets. Contribute to walletbeat/walletbeat development by creating an account on GitHub.

🎊 Grant Announcement: Walletbeat!

Open-repository of EVM-compatible wallets, providing reviews to help ensure the Ethereum wallet ecosystem remains competitive, interoperable, and upholds Ethereum values.

github.com/walletbeat/w...

What are preconfirmations and why do they matter for Ethereum? 🤔

Our Q2 2025 grantees Conor McMenamin and Lin Oshitani unpack it all in their open Systematization of Knowledge—exploring the theory, implementations, critiques, and open questions.

📖 Read the pull paper:
github.com/NethermindEt...

🎉 Funded in Q2 2024, now live: rrelayer!

An open-source relayer built in Rust which can be used for gasless transactions, transaction migrations, L2 proof transactions, blob storage transactions, and more.

Explore below 👇
x.com/devjoshsteve...

🚨 Blockchain forensics, decoded

ETH Rangers Program grantee SomaXBT has published 4 deep-dive articles unpacking:

🔎 How investigations work
⚡ The challenges investigators face
🛠️ How to solve them

Dive into them through the tweet thread below 👇
x.com/somaxbt/stat...

🥷 Verification of the completeness of an OpenVM chip | Formal Land In our previous blog post 🥷 Formal verification of an OpenVM chip, we have seen how to verify the determinism of the branch_eq chip of OpenVM. Now, we will see how to verify its completeness, meaning ...

Our grantee @formalland.bsky.social is pushing ZK research forward again! 🚀

Their blog post explains how to formally verify the completeness of ZK circuits, ensuring that a valid witness for any possible input is always accepted.

formal.land/blog/2025/09...

GitHub - ethereumjs/ethereumjs-monorepo: Ethereum L1 Protocol Stack and EVM in TypeScript Ethereum L1 Protocol Stack and EVM in TypeScript. Contribute to ethereumjs/ethereumjs-monorepo development by creating an account on GitHub.

🎊 Grant Announcement: EthereumJS Maintenance & Development!

Maintenance and evolution of the EthereumJS monorepo’s core libraries, ensuring the packages remain reliable, secure, and up-to-date with the latest protocol changes.

github.com/ethereumjs/e...

GitHub - Verified-zkEVM/ArkLib: Formally Verified Arguments of Knowledge in Lean Formally Verified Arguments of Knowledge in Lean. Contribute to Verified-zkEVM/ArkLib development by creating an account on GitHub.

🎊 Grant Announcement: ArkLib Contributions by Logical Intelligence!

Formally verifying ZK protocols through contributing some proofs to ArkLib github.com/Verified-zkE..., including formalization of core theorems from the Ligero paper.

github.com/logical-inte...

Zhuo Zhang on X: "1/10 @troublor says wait, but I can't. Can't wait. We are builting an Ethereum debugger with 1) true source-level stepping, 2) near-100% local/state variable inspection, and 3) on-the-fly Solidity expression eval at any step. Screenshots below; details in the thread. https://t.co/BYpk6eXQ4r" / X 1/10 @troublor says wait, but I can't. Can't wait. We are builting an Ethereum debugger with 1) true source-level stepping, 2) near-100% local/state variable inspection, and 3) on-the-fly Solidity expression eval at any step. Screenshots below; details in the thread. https://t.co/BYpk6eXQ4r

Debugging in Solidity just got a boost ⚡

Q2 2024 grantees Zhuo Zhang and William Cheung are reimagining the developer experience by improving the debugging process in smart contract development!

👉 See their latest updates: x.com/i2huer/statu...

🥷 Pretty-printing of Rust ZK constraints | Formal Land Many zkVMs are implemented in Rust, using the Plonky3 library to describe their circuits. While Rust is efficient and expressive for describing complex circuits, it is a complex language when it comes...

✨ New work from our grantee @formalland.bsky.social, formally verifying ZK circuits for zkVMs!

Their new blog post presents how to pretty-print the constraints from a Plonky3 circuit, ensuring their modeling is correct.

formal.land/blog/2025/08...

ETHShanghai 2025 Hackathon · Luma ETHShanghai 2025 Hackathon Scaling Ethereum · Shaping the Open Future Location:Shanghai, China Dates: October 18-21, 2025 🌐 为什么是 ETH…

🚀 Sponsorship Announcement: ETHShanghai 2025!

Summit and hackathon in Shanghai, China with cutting-edge tracks on AI x Ethereum, DeFi x Infrastructure, and Public Goods x Open-Source Development.

Hackathon 👉🏻 luma.com/n2gwlgkx
Summit 👉🏻 luma.com/n11m5knq

Ethereum for the World – Real Solutions, Real Impact Discover how Ethereum powers global good. ETH FTW highlights case studies, builders, and ecosystems driving real-world solutions for people and the planet.

You can check out their website, which is www.fortheworld.eco! 😊

For The World on X: "Revealing Ethereum For The World 🌍✨ A builder movement positioning @ethereum as the platform for SDG solutions. Through programs and events, we’ll support builders with resources and networks to scale. Our first programs will run during GG24, more info to come Learn more 👇 https://t.co/Wp55y11r8w" / X Revealing Ethereum For The World 🌍✨ A builder movement positioning @ethereum as the platform for SDG solutions. Through programs and events, we’ll support builders with resources and networks to scale. Our first programs will run during GG24, more info to come Learn more 👇 https://t.co/Wp55y11r8w

🎊 Grant Announcement: Ethereum for the World!

Highlighting and accelerating Ethereum-based projects contributing to the UN Sustainable Development Goals (SDGs) through producing case studies, launching a public-facing platform, and ecosystem-building efforts.

x.com/ETHForTheWor...

💡 Academic Grants Round Announcement: A Cryptographic Cookbook for Mechanism Designers by Fan Zhang, Jiasun Li, & @avivy.bsky.social!

Define key cryptographic primitives, explain their utility, and provide proof “recipes,” while also mapping the limits of cryptographic approaches in this context.

Delweng on X: "🚀 Just completed the @EF_ESP funded Geth grant project and contributed 24+ PRs to @go_ethereum. Thanks to @sina_mahmoodi for the grant application support and @Gary_Rong for continuous technical guidance throughout this research 🙏 Full report: https://t.co/9MVm4kV83Y." / X 🚀 Just completed the @EF_ESP funded Geth grant project and contributed 24+ PRs to @go_ethereum. Thanks to @sina_mahmoodi for the grant application support and @Gary_Rong for continuous technical guidance throughout this research 🙏 Full report: https://t.co/9MVm4kV83Y.

💡 Our grantee jsvisa just wrapped up a grant on scaling Geth!

This involved benchmarking, analyzing, and optimizing both the underlying database engine (Pebble) and Geth itself, assessing their impact on overall performance under real-world workloads.

📑 Read the full report:
x.com/jsvisa/statu...