EF Ecosystem Support Program

🎊 Grant Announcement: AI-Assisted Testing Framework for Detecting Synchronization Vulnerabilities by Tsinghua Cryptoeconomics Lab!

Intelligent automated testing system to discover inconsistencies & potential attacks stemming from the varied nature of CL client architectures.

💡 Academic Grants Round Announcement: MEV Law and Policy in 2025 by Mikołaj Barczentewicz!

Researching legal aspects of MEV on Ethereum, focusing on recent and planned developments both in MEV extraction and mitigation efforts.

GitHub - intellij-solidity/intellij-solidity: Solidity plugin for IntelliJ Solidity plugin for IntelliJ. Contribute to intellij-solidity/intellij-solidity development by creating an account on GitHub.

🎊 Grant Announcement: IntelliJ Solidity!

Improvement and reinvigoration of the IntelliJ Solidity plugin and community.

github.com/intellij-sol...

🎊 Grant Announcement: FOCIL Rebase & Testing by Jihoon Song!

Working on FOCIL and other Glamsterdam EIPs.

eips.ethereum.org/EIPS/eip-7805

GitHub - sigp/lighthouse: Ethereum consensus client in Rust Ethereum consensus client in Rust. Contribute to sigp/lighthouse development by creating an account on GitHub.

🎊 Grant Announcement: Lighthouse by Sigma Prime!

Support for the Lighthouse consensus client to continue protocol R&D with large network adoption.

github.com/sigp/lightho...

🎊 Grant Announcement: Free & Censorship-Resistant EIP-7702 Infrastructure by Etherspot!

Deploying freely accessible UserOp mempool nodes (within usage thresholds), offering an alternative to permissioned relayers.

x.com/etherspot/st...

💡 Academic Grants Round Announcement: Parallelizing Smart Contract Execution by Roy Friedman & Sathya Peri!

Enhancing the Ethereum Geth EVM with parallel execution capabilities to expedite the execution of smart contracts.

Raiders on X: "Thrilled to be awarded an Ecosystem Support Program @EF_ESP grant for https://t.co/r0P7IrfHTe We're developing a public good security platform that offers a centralized hub for real-time security tools, actionable checklists for personal privacy and protection, threat" / X Thrilled to be awarded an Ecosystem Support Program @EF_ESP grant for https://t.co/r0P7IrfHTe We're developing a public good security platform that offers a centralized hub for real-time security tools, actionable checklists for personal privacy and protection, threat

🎊 Grant Announcement: Digibastion!

Public good security platform with step-by-step guides on security practices and real-time threat feeds on the latest exploits, CVEs, dependency supply chain attacks, etc.

x.com/__Raiders/st...

🎊 Grant Announcement: Security Alliance (SEAL)!

Common good infrastructure for coordination between security professionals, protocols, and the community to collaborate on impactful security initiatives such as SEAL 911, SEAL Wargames, and SEAL-ISAC.

www.securityalliance.org

ETH Shenzhen 2025 · Luma 第二届 ETH Shenzhen 来啦！ 大湾区 Ethereum 生态盛会 ETH Shenzhen 2025 来啦！ 第一届 ETH Shenzhen 在 500+ Builder 们的热情参与，以及社区/高校/媒体等众多合作伙伴的鼎力支持下获得了巨大的成功！再次感谢大家！ 本届 ETH Shenzhen…

🚀 Sponsorship Announcement: ETH Shenzhen 2025!

Conference and hackathon hosted in Shenzhen, China discussing topics such as Ethereum core protocol development, AI agents, and developing blockchain talent in local universities.

lu.ma/iqh54330

Web3 Kamp Regionalni web3 startapi vas pozivaju da se upoznate se sa Web3 tehnologijama u Istraživačkoj stanici Petnica, od 31. jula do 10. avgusta 2025.

🎊 Grant Announcement: Web3 Kamp!

Immersive, residential bootcamp focusing on web3 technologies (e.g. Ethereum, smart contracts, ZKPs, decentralized architectures), taking place at the Petnica Science Center in Serbia.

web3kamp.org

Edinburgh Decentralised Finance Summit · Luma Welcome to a celebration of Decentralised Finance, tokenization and digital asset innovation! Blockchain Scotland is proud to announce Scotland's first…

🎤 Catch Matthew Dawson from the @ethereum.foundation Enterprise Acceleration team at the inaugural Edinburgh DeFi Summit by Blockchain Scotland!

He'll dive into enterprise adoption of Ethereum and the convergence of TradFi & DeFi.

📅 Happening next Wednesday (August 6)
🔗 More info: lu.ma/o1w06i3k

🌍 Web3 Lagos Conference by Web3Bridge is back!

3 days of talks, workshops, panels, and a hackathon designed to onboard the next generation of blockchain innovators.

Explore the future of web3 in Africa from the heart of Lagos, Nigeria 🚀

event.web3bridge.com

Allocation Update - Q2 2025 | Ethereum Foundation Blog

🚀 From grassroots gatherings to breakthrough projects, here’s a look at what we supported in Q2 2025.

Explore the work happening across the Ethereum ecosystem!

blog.ethereum.org/2025/07/23/a...

Giacomo Fenzi on X: "Excited to share that I've been awarded a research grant from the @ethereumfndn under the 2025 Academic Grants Round to explore how Ethereum can be made secure against quantum adversaries using hash-based arguments: a critical step for the long-term resilience of the network 🧵👇 https://t.co/vPmwR5JwLp" / X Excited to share that I've been awarded a research grant from the @ethereumfndn under the 2025 Academic Grants Round to explore how Ethereum can be made secure against quantum adversaries using hash-based arguments: a critical step for the long-term resilience of the network 🧵👇 https://t.co/vPmwR5JwLp

💡 Academic Grants Round Announcement: Post-Quantum Signatures for Ethereum from Hash-Based Succinct Arguments!

Exploring how advances in hash-based arguments & accumulation scheme fit in Ethereum's post-quantum transition, leading to efficient & secure quantum-safe consensus.

x.com/GiacomoFenzi...

🚀 Sponsorship Announcement: ProdFest by EthJos & Blockfuse Labs!

Community-powered conference, product showcase, and hackathon spotlighting local builders creating tools to onboard the next billion users, hosted in Jos, Nigeria.

www.prodfest.blockfuselabs.com

Prooflab on X: "1/ 🧵 (re-)Announcing ZKarnage! 💥 With support from an @ethereumfndn grant and in collaboration with @eth_proofs, we're launching a live stress-test of ZK provers on mainnet. We're about to find out how resilient these critical systems really are. https://t.co/sdTagDRNs3" / X 1/ 🧵 (re-)Announcing ZKarnage! 💥 With support from an @ethereumfndn grant and in collaboration with @eth_proofs, we're launching a live stress-test of ZK provers on mainnet. We're about to find out how resilient these critical systems really are. https://t.co/sdTagDRNs3

🎊 Grant Announcement: ZKarnage by ProofLab!

Deploying and testing "prover killer" transactions on Ethereum mainnet, aimed at stress-testing proving systems like Ethproofs and generating visibility for it.

x.com/TheProofLab/...

Blockfuse Labs on X: "Big News! We are excited to announce that for our upcoming Cohort III, the cohort will be supported by an @EF_ESP grant. We are super pumped for this exciting partnership as it strengthens our mission to onboard technical talent into the Web3 ecosystem through our comprehensive https://t.co/Njtqgobu3B" / X Big News! We are excited to announce that for our upcoming Cohort III, the cohort will be supported by an @EF_ESP grant. We are super pumped for this exciting partnership as it strengthens our mission to onboard technical talent into the Web3 ecosystem through our comprehensive https://t.co/Njtqgobu3B

🎊 Grant Announcement: Blockfuse Labs IRL Bootcamp Cohort 3!

Blockchain developer training program in Jos, Nigeria with deep technical instruction in Solidity and blockchain fundamentals through hands-on learning, hackathons, and project showcases.

x.com/blockfuselab...

ETHIstanbul (@ETHIstanbul_io) / X ETHIstanbul (@ETHIstanbul_io) / X

The future of Ethereum is being built at ETHIstanbul:

A 3-day conference and hackathon diving deep into ZKPs, AI Agents, TEE, Security & Privacy, Edge Proofs, and more.

Stay in the loop via their Twitter account 🌀

x.com/ETHIstanbul_io

🎊 Grant Announcement: Preconfirmation Systemization of Knowledge by Conor McMenamin and Lin Oshitani!

Producing an open Systematization of Knowledge on preconfirmations in Ethereum, covering theory, implementations, critiques, and open questions.

x.com/NethermindEt...

ETHSofia - Ethereum Conference and Hackathon The premium crypto tech conference in Bulgaria focused on the Ethereum ecosystem and non-EVM innovation is back. Bringing ETH enthusiasts, professionals, and developers to the IT heart of the Balkans....

🚀 Sponsorship Announcement: ETHSofia!

Conference and hackathon hosted in Sofia, Bulgaria revolving around topics such as web3 security, AI and blockchain, and DeFi.

www.ethsofia.com

What Did We Learn from the World's Largest Hack? By Kelsie Nabben - Decentralization Research Center What Did We Learn from the $1.5 billion Bybit hack as individuals and as an ecosystem? Research insights from an ethnographic investigation and forthcoming book on decentralised security.

New on @thedrc.bsky.social blog: ETH Rangers Program grantee @kelsiemvn.bsky.social breaks down some key takeaways from the world's largest hack!

It's the very first post, and it's a compelling one 💥

Start reading 👇

thedrcenter.org/what-did-we-...

SomaXBT on X: "Here’s my new article: Blockchain Forensics: A Practical Guide to Tracing Stolen Funds A beginner-friendly guide to investigating crypto crimes with structured methodologies, practical tools, and real-world examples. Includes analysis of common laundering techniques used to move https://t.co/l1au5yLZFk" / X Here’s my new article: Blockchain Forensics: A Practical Guide to Tracing Stolen Funds A beginner-friendly guide to investigating crypto crimes with structured methodologies, practical tools, and real-world examples. Includes analysis of common laundering techniques used to move https://t.co/l1au5yLZFk

New from ETH Rangers Program grantee, SomaXBT:

A step-by-step guide to investigating crypto crimes, perfect for curious minds and future onchain sleuths!

🔍 Practical tools
📚 Real cases
✅ Structured methodologies

Start exploring 🕵️

x.com/somaxbt/stat...

Ethereum Attestation Service on X: "Excited to drop the ZK Playbook! 🔥 Building with zk + attestations is complicated. This playbook makes it easier so you ship faster and confidently. Special thanks to @ethereumfndn for supporting this research. Link below. PRs open. https://t.co/tZvGBMGRzd" / X Excited to drop the ZK Playbook! 🔥 Building with zk + attestations is complicated. This playbook makes it easier so you ship faster and confidently. Special thanks to @ethereumfndn for supporting this research. Link below. PRs open. https://t.co/tZvGBMGRzd

How can attestations and ZK unlock new possibilities together? 🧩

Our Q4 2024 grantee, Ethereum Attestation Service, created the ZK Playbook! A practical guide to help you build faster and more confidently with ZK + attestations.

Dive in below 👇

x.com/eas_eth/stat...

Nethermind Security on X: "The @NethermindSec Formal Verification team, with support from the @ethereumfndn through the 2024 ZK Grants Round, has developed Halva: an infrastructure for formal verification of Halo2 zk circuits in @leanprover. We used Halva to uncover a critical bug in a real-world Scroll https://t.co/Tq3BSjAGud" / X The @NethermindSec Formal Verification team, with support from the @ethereumfndn through the 2024 ZK Grants Round, has developed Halva: an infrastructure for formal verification of Halo2 zk circuits in @leanprover. We used Halva to uncover a critical bug in a real-world Scroll https://t.co/Tq3BSjAGud

Big strides in formal verification 👣

With support from the 2024 ZK Grants Round, Nethermind’s Formal Verification team built an infrastructure for formal verification of Halo2 ZK circuits in Lean!

Dive into their work below ⬇️

x.com/NethermindSe...

New grant unlocked: @ethereum.foundation supports us in Mapping Ethereum privacy ecosystem.

Our goal is to create a snapshot covering different players within decentralized privacy scene from Layer2 solutions like Aztec Network to stealth addresses projects like Fluidkey.

Shan Wang on X: "🤩We are excited to share that our research work on “Unraveling and Addressing Risks to Ethereum User Anonymity from Network Protocol Perspectives” has been awarded a grant by the Ethereum Foundation Ecosystem Support Program under the Academic Grants Round 2025! This support" / X 🤩We are excited to share that our research work on “Unraveling and Addressing Risks to Ethereum User Anonymity from Network Protocol Perspectives” has been awarded a grant by the Ethereum Foundation Ecosystem Support Program under the Academic Grants Round 2025! This support

💡 Academic Grants Round Announcement: Unraveling & Addressing Risks to Ethereum User Anonymity from Network Protocol Perspectives!

Conducting large-scale assessments of RPC protocol attack impacts and implementing protocol-level mitigation strategies.

x.com/shanwan82472...

Odisea Labs on X: "We’re pleased to announce that Odisea Labs has been awarded a grant by the Ethereum Foundation’s Ecosystem Support Program (@EF_ESP) under the 2025 Academic Grants Round to conduct pioneering research on how Ethereum-based technologies can mitigate the societal risks posed by" / X We’re pleased to announce that Odisea Labs has been awarded a grant by the Ethereum Foundation’s Ecosystem Support Program (@EF_ESP) under the 2025 Academic Grants Round to conduct pioneering research on how Ethereum-based technologies can mitigate the societal risks posed by

💡 Academic Grants Round Announcement: Ethereum-Based Solutions for Mitigating AI Risks in Latin America by Odisea Labs!

Exploring how Ethereum's decentralized infrastructure can address the region's pressing challenges, e.g. privacy, bias & inequality, surveillance oversight.

x.com/odisealabs/s...

🎊 Grant Announcement: [ROP-9.4] FOCIL Implementation, Tests, & Devnets by Jihoon Song!

FOCIL interoperability between clients, developing test suites for both consensus and execution layers, and coordinating with core developers.

eips.ethereum.org/EIPS/eip-7805

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: Binius in Lean!

Formalizing Polynomial Commitment Schemes built on Binary Tower Fields, specifically Binius and FRI-Binius, within ArkLib (github.com/Verified-zkE...), Lean's library of formally verifier SNARKs.