1/ As decentralized identity grows in importance, Ethereum needs a current, well-documented, and verifiable identity standard That’s why we’re aiming to bring did:ethr to full maturity in our RFP: ⚡ Advancing the did:ethr Method Specification ⚡ Apply by January 3, 2026 👇

🎊 Grant Announcement: Kaggle Competition for AI/LLM Detection of Smart Contract Vulnerabilities by OneSavie Lab! Dataset curation & preparation, development of evaluation methods, & promotion to onboard crypto security talent & non-crypto AI/LLM talent. Learn more below 👇 x.com/onesavielab/...

Q3 2025 was full of fresh ideas and community momentum 🌐✨ Explore the projects @ethereum.foundation teams awarded grants to last quarter and the work they’re driving forward in our blog post below! blog.ethereum.org/2025/12/02/a...

Allocation Update - Q3 2025 | Ethereum Foundation Blog

blog.ethereum.org

💥 Check out the latest progress from one of our Q1 2025 grantees! The Nethermind Security team is unveiling CertiPlonk, a framework for extracting Plonky3 constraints and verifying their correctness in Lean. Dive into their full update in the thread below 👇 x.com/NethermindSe...

Nethermind Security on X: "The Nethermind Formal Verification team is introducing CertiPlonk, a framework for extracting Plonky3 constraints & verifying their correctness in @leanprover. CertiPlonk verifies circuit correctness without code changes. Supported by a grant from @ethereumfndn. More info ⬇️ https://t.co/Dm8ri53pdV" / X

The Nethermind Formal Verification team is introducing CertiPlonk, a framework for extracting Plonky3 constraints & verifying their correctness in @leanprover. CertiPlonk verifies circuit correctness without code changes. Supported by a grant from @ethereumfndn. More info ⬇️ https://t.co/Dm8ri53pdV

x.com

1/ 🤖 Can AI make Ethereum safer? We're exploring how LLMs can automate auditing, specification compliance, and code analyses in our RFP: ⚡️ Integrating LLMs into Ethereum Protocol Security Research ⚡️ Dive deeper and apply by February 3, 2026 👇 esp.ethereum.foundation/applicants/r...

Apply for Integrating LLMs into Ethereum Protocol Security Research | Ethereum Foundation ESP

Submit your application for: Integrating LLMs into Ethereum Protocol Security Research - An RFP to design and implement tools that apply large language models (LLMs) to Ethereum protocol security rese...

esp.ethereum.foundation

💡 Academic Grants Round Announcement: Open-Source Tool Development for Automated Vulnerability Detection in Ethereum Transaction Propagation by Yibo Wang & Yuzhe Tang! Design & implement an automated, stateful fuzzing framework to detect vulnerabilities in Ethereum’s transaction propagation layer.

1/ 🎊 Grant Announcement: OpenRPC! Co-funding a 6-month sprint to update OpenRPC, making it easier for developers, tooling, and infrastructure providers to build on Ethereum with consistent, open standards. open-rpc.org

🎊 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...

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

github.com

💡 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.

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...

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,...

esp.ethereum.foundation

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

Applicants Overview | Ethereum Foundation ESP

Information about the Ecosystem Support Program's mission, scope, and support we offer.

esp.ethereum.foundation

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.

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...

🎊 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...

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.

github.com

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...

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...

🥷 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 ...

formal.land

🎊 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 - 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.

github.com

🎊 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...

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.

github.com

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...

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

x.com

✨ 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...

🥷 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...

formal.land

🚀 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

ETHShanghai 2025 Hackathon · Luma

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

luma.com

🎊 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...

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

x.com

💡 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.

💡 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...

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.

x.com

Our grantee EIPsInsight just shipped some fantastic upgrades: 📊 EIP Submission Trends Dashboard 📈 Trending EIPs Module 🛠️ Proposal Builder Enhancements 🔔 EIP Status Notification Bot Explore it all here ⬇️ eipsinsight.com

Wallet attribution isn’t magic, it’s method ✨ In this article, ETH Rangers Program grantee SomaXBT reveals how onchain forensics + open-source intelligence (OSINT) uncover the hidden stories. Don't miss this one 👇 x.com/somaxbt/stat...

SomaXBT on X: "Here’s my new article: " Blockchain Forensics: Attribution Techniques and the Role of OSINT " Attribution is the backbone of blockchain investigations. Well-maintained wallet attribution acts as a goldmine for investigators, uncovering connections that criminals try to hide. In https://t.co/2glCLPqAd2" / X

Here’s my new article: " Blockchain Forensics: Attribution Techniques and the Role of OSINT " Attribution is the backbone of blockchain investigations. Well-maintained wallet attribution acts as a goldmine for investigators, uncovering connections that criminals try to hide. In https://t.co/2glCLPqAd2

x.com