Apply for Advancing the did:ethr Method Specification | Ethereum Foundation ESP

Allocation Update - Q3 2025 | Ethereum Foundation Blog

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

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

OpenRPC

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

Apply for Decentralized RPC Access for Developers and End Users | Ethereum Foundation ESP

Unveiling ESP's New Grants Program | Ethereum Foundation Blog

Applicants Overview | Ethereum Foundation ESP

Phantom Zone

Towards a verified Jolt zkVM

GitHub - walletbeat/walletbeat: An open repository of EVM-compatible wallets.

🥷 Verification of the completeness of an OpenVM chip | Formal Land

GitHub - ethereumjs/ethereumjs-monorepo: Ethereum L1 Protocol Stack and EVM in TypeScript

GitHub - Verified-zkEVM/ArkLib: Formally Verified Arguments of Knowledge in Lean

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

🥷 Pretty-printing of Rust ZK constraints | Formal Land

ETHShanghai 2025 Hackathon · Luma

Ethereum for the World – Real Solutions, Real Impact

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

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

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

Quadrvium on X: "🧵 We're excited to share our report on simulation of Post-Quantum (PQ) signature aggregation! https://t.co/NWE6CzXMd7 With support from an @ethereumfndn grant we investigated requirements needed to aggregate thousands of signatures within a four-seconds lean consensus slot" / X