Hackathon in Paro, Bhutan uniting local and global innovators to develop solutions leveraging decentralized technology, including Bhutan's self-sovereign National Digital Identity (NDI) that empowers citizens to control and selectively share personal data.
Blockchain developer training program in Jos, Nigeria designed to transition web2 developers to web3 builders through deep technical instruction in Solidity and blockchain fundamentals with hands-on learning, hackathons, and project showcases.
Hybrid hackathon held in Nairobi, Kenya, focused on building projects to bring Africa onchain, with themes including infrastructure and tooling, healthcare, and education.
Ethereum ecosystem development initiatives in Buenos Aires, Argentina from May to November 2025, including Ethereum-aligned pop up cities, summits, hackathons, bootcamps, and other collaborative events.
Summer school offering a multidisciplinary exploration of blockchain technology, covering its technological, economic, and legal pillars through a highly interactive 3-week course that blends theory with hands-on experience.
Supporting Edge City's popup villages of 2025, which convenes people working at the frontiers of tech, science, and social innovation to run real experiments on new ideas and collaborations.
Encouraging the growth of a student-led Ethereum community in Novi Sad, Serbia with guidance from professors and assistants from the local technical university who will help students self-organize, host events, and build a sustainable local ecosystem.
Event hosted in Munich, Germany bringing together participants to ideate on high-impact research challenges, forming teams to explore theoretical concepts, build simulation models, or propose new mechanisms with mentorship from leading researchers.
Supporting ETHKL's development and self-sustainability exploration through a series of programs featuring meetups, a hacker house, conference, and hackathon.
Supporting ETHWarsaw's 2025 initiatives including their annual conference and hackathon, regular monthly Ethereum meetups, blockchain bootcamps, workshops, a legal conference, podcast episodes, and a newsletter.
Global open source gathering bringing together activists, technologists, and artists to collaborate on building a more open, inclusive, and trustworthy internet.
Ethereum-focused bootcamp hosted at Chulalongkorn University in Bangkok, Thailand that teaches participants practical skills in smart contracts, L2s, dapps, real-world use cases, and career opportunities.
Open-source platform that empowers Ethereum validator users to easily manage their validators post-Pectra, providing a user-friendly tool for consolidating, withdrawing, and topping up their validators.
Pop-up village in Rome, Italy revolving around themes of privacy, finance, and AI through activations such as the Urbe Campus bootcamp, workshops, and the ETHRome hackathon.
Supporting the local ZK community in Argentina, Brazil, and Ecuador, kickstarting its growth through a 6-week educational program and weekly meetups that are targeted towards students and early-career developers.
Championing EIP-7917, which involves writing explanatory documents and unit tests, participating in the All Core Devs calls, and advocating for its inclusion on mainnet.
Developing or extending the current set of tools to measure the performance of the network and the GossipSub protocol in the Ethereum network as it gears up to the PeerDAS transition.
Supporting the PeerDAS roadmap by analyzing the effectiveness of distributed blob publishing, getBlobs hit rate, and creating a tool to help verify node custody checks.
Establishing a Lean library for formally verified cryptographic proof systems based on Interactive Oracle Proofs (IOPs).
Cryptography & zero knowledge proofs
Binius in Lean
Adding a formalization of Binius-related work to ArkLib, Lean's library of formally verified SNARKs, including construction codes over the binary tower field (BTF), as well as several constructions on top of BTF (Binary FRI, Binary BaseFold, Ligero-Binius, FRI-Binius) and soundness/completeness proofs.
Clustering differential trails into differentials or truncated differentials by researching and identifying target primitives or related toy hash/ciphers, studying the clustering of trails into differentials in AO using Matsui search or similar tools, researching truncated trails, and analyzing potential malicious designs. Part of the Poseidon Grants Round.
Cryptography & zero knowledge proofs
Cryptanalysis of Poseidon-Based Fiat-Shamir Protocols
Analyzing the security of the reduced-round Poseidon hash function when employed within non-interactive ZK protocols that generate public randomness using the Fiat-Shamir heuristic, as part of the Poseidon Grants Round.
Contributing to Ethproofs' ongoing development by enhancing its core functionality and user experience, focusing on areas such as refining the block proof explorer interface and UX, improving data visualization capabilities for proof metrics, and optimizing proof comparison functionality.
Conducting a long series of experiments with the Groebner basis attack to assess the security of Poseidon and its suitability as a component within the Ethereum protocol, as part of the Poseidon Grants Round.
Cryptography & zero knowledge proofs
Integral Cryptanalysis & Security Arguments Against Statistical Attacks for Arithmetization-Oriented Primitives
Providing stronger security arguments against linear and differential cryptanalysis for primitives defined over large fields and extending (ultrametric) integral cryptanalysis to finite fields of any characteristic, as part of the Poseidon Grants Round.
Decentralized private voting platform that enables users to conduct and participate in polls while preserving voter anonymity and integrity through MACI with seamless UX.
Investigating the potential threats that quantum computers pose to the Ethereum cryptosystem, providing a good introduction to the math and notation around quantum algorithms, and mechanical descriptions of how they work.
Deploying and testing “prover killer” transactions on Ethereum mainnet, aimed at stress-testing proving systems like Ethproofs and generating visibility for it.
Builder community dedicated to Ethereum developer education, with a focus on expanding SpeedRunEthereum, making it easier to build on Ethereum with tools like Scaffold-ETH 2, and bringing education to university students globally through Ethereum on Tour.
Project enabling users to fetch and verify frontend data directly from decentralized networks like IPFS, reducing reliance on centralized infrastructure and mitigating risks such as censorship, outage, and supply chain attacks.
Enhancing the visibility and usability of the EIP process by introducing real-time upgrade tracking, lifecycle analytics, and contributor education, while also delivering new tools for community engagement such as a trends dashboard, guided submission builder, and customizable EIP status notifications.
Contributing to the prize pool for security community submissions of Glider queries into an open-source query database, to protect onchain mainnet contracts and projects from exploits, crowdsourcing vulnerability queries from the broader Ethereum security community.
Updating and maintaining Kurtosis, an open-source platform for packaging and launching ephemeral backend stacks with a focus on approachability for the average developer.
Developing a Lean backend for Hax, a tool for high assurance translations of a large subset of Rust into proof of language (currently Rocq and F*) that can then be used to prove its correctness.
Solidity debugger that integrates with Visual Studio Code and works by simulating and inspecting contract execution at both the Solidity and EVM levels, with support for breakpoints, variable inspection, and symbolic execution.
Solidity debugger with an experimental interpreter approach that works for optimized EVM bytecode generated by any Solidity compiler. It will be developed in the form of a TypeScript library so it is small, modular, and easily embeddable in a variety of projects.
Setting up infrastructure to test the various execution layer clients at higher gas limits, identifying bottlenecks, and building tooling to mimic mainnet conditions.
Transitioning a community currency platform from web2 to web3 by testing the migration process and assessing the viability to scale to its 170 municipality partners in Brazil and then beyond.
Initial support for Ethereum House in San Francisco's Frontier Tower, a physical nexus for the Ethereum community in Silicon Valley that will foster crypto innovation, cross-industry collaboration, and community engagement.
Advancing governance-minimized, censorship-resistant rollups by collaborating with Ethereum Foundation researchers on embedding rollup validation directly into Ethereum and maintaining Facet, a production-ready, governance-minimized rollup.
Introducing detailed tracking and metrics for EIP-7702 and its relationship with ERC-4337 by indexing EIP-7702 activity, surfacing wallet usage trends, analyzing authorized contract patterns, and measuring how EIP-7702 wallets interact with ERC-4337 infrastructure.
Non-profit that advocates for decentralization as a fundamental characteristic of emerging technologies. This includes the development of blockchain protocols and applications that are immutable, censorship resistant, transparent, secure, and enable data self-sovereignty.
Researching and creating an Ethereum privacy ecosystem map, for highlighting and easy reference of existing actors, creating connections and fostering the ecosystem towards delivering practical daily privacy within Ethereum.
Exploring a proof-of-concept solution to the blind signing problem in hardware wallets. This involves a “bundle” of transactions, with a custom one-off smart contract (for onchain verification of certain actions) and the actual onchain verification/assertion of state changes, sandwiching the intended transaction.
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.
