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

Applicants Overview | Ethereum Foundation ESP

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

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

The Ecosystem Support Program's Next Chapter | Ethereum Foundation Blog

Matt Weinberg's Homepage

Yu Feng on X: "1/ Excited to share that I've just received my third Ethereum Foundation academic grant, this time under the 2025 Academic Grants Round 🎉 The project will combine fuzzing, reinforcement learning, and formal methods for Ethereum consensus" / X

Blockscout 🔭 on X: "❌ If you can’t read the code, you can’t easily trust it ✅ Verified contracts turn code into something anyone can inspect, test, and use Blockscout already does this across @ethereum and beyond ᯓ★ After Pectra, we’ve extended it to key system predeploys, now fully visible https://t.co/iQAswdnziP" / X

growthepie

Veridise on X: "We’re excited to launch LLZK, an open-source intermediate representation (IR) for zero-knowledge circuits. Think LLVM, but for ZK. Built by @VeridiseInc and supported with a grant from the @ethereumfndn, LLZK is now live on GitHub. Thread 🧵 1/4 https://t.co/Xz0Wj09PgS" / X

GitHub - intellij-solidity/intellij-solidity: Solidity plugin for IntelliJ

EIP-7805: Fork-choice enforced Inclusion Lists (FOCIL)

GitHub - sigp/lighthouse: Ethereum consensus client in Rust

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

Security Alliance