
EF Ecosystem Support Program
@ef_esp
Ethereum Foundation Ecosystem Support Program | Learn more or submit a support inquiry at esp.ethereum.foundation
ID: 1000095887740293122
https://esp.ethereum.foundation/ 25-05-2018 19:26:55
629 Tweet
7,7K Followers
68 Following

This year, Ethereum will celebrate 10 years since genesis. 10 Years of Ethereum Meetups are local gatherings happening on July 30 to celebrate the anniversary. 🎉 Apply to host events near you 💸 Get up to $500 in support from EF's EF Ecosystem Support Program For more, see the full post below!

Another day, another grant! 🔥 Nethermind has received a grant from Ethereum Foundation to formally model the FRI protocol in Lean and draft a blueprint for formal verification of its security guarantees. 1/


1/ Big thanks to the EF Ecosystem Support Program for our recently received grant to upgrade our KEVM and Kontrol tools for Ethereum's Pectra network upgrade🛠️ The KEVM upgrade will help us keep Ethereum secure and robust as it evolves 👇


We are excited to announce that we obtained a grant from the Ethereum Foundation Ethereum Foundation to build a formal verification framework in Rocq for zero-knowledge circuits in Plonky3/LLZK! 🎊 What does this mean? 🔍👇

📢We are honored to share that we have received a grant from the Ethereum Foundation in support of the policy-focused discussions that Project Glitch curates for the PGP for Crypto monthly breakfast events in Washington, DC! 🧵 1/


1/ Thanks to the EF Ecosystem Support Program, we have been awarded a grant to build a new open-source library for EthDebug that brings next-level debugging capabilities to Solidity development and Simbolik, our Solidity debugger. Keep reading to learn more about what this means for developers and


🎊 Grant Announcement: AndroidPortal by Dirk Jäckel! Developing a decentralized mobile SDK for Android with no JSON-RPC provider or centralized backend, that enables access to Ethereum data in a trustless and verifiable manner. github.com/biafra23/Andro…

BIG NEWS! We’re excited to share that we have been awarded a grant from the Ethereum Foundation to champion “Unstoppable Rollups”—rollups that can only be stopped by stopping Ethereum itself! 1/




The Ethereum Foundation has awarded CertiK with two research grants to advance formal verification of zkEVM systems. As Ethereum scales through zero-knowledge proofs, ensuring correctness at every layer becomes critical.

🎊 Grant Announcement: Cryptography Research by Dimitri Koshelev! Exploration of isogenies and other cryptographic areas essential to Ethereum's roadmap, working closely with Ethereum Foundation researchers to accelerate learning and align efforts with Ethereum's goals.


🎊 Grant Announcement: The Wellbeing Protocol The Wellbeing Protocol! Developing an "end-to-end money flow" on Ethereum rails for local community funding allocation, including improvements towards more intuitive and user-friendly UI/UX for quadratic voting. thewellbeingprotocol.org





Smart Account Manager lets you import or create modular smart accounts, manage validation configs, and walk away anytime. It’s a demo under active development (Link below) Thanks to EF Ecosystem Support Program for supporting this project through the Pectra Grants Round!