Community & education
Round of small grants to virtual and in-person meetups around the world.
Community-focused conference in Lisbon, Portugal.
Research into approaches to third party allocation via programmatically defined DAOs (based on on-chain traction) which could leverage the domain knowledge of individuals and communities in the Ethereum ecosystem to serve as resource allocators.
Enterprise-focused community event in Atlanta, Georgia, US.
Monthly meetup in Torino, Italy, with a project-focused agenda.
Conference in Lagos, Nigeria covering a variety of topics including making the switch from Web2 to Web3.
Kickstarting community growth in Cuba.
Support for Ethereum community development in Honduras including meetups, developer events and Spanish-language Ethereum content.
Organization supporting applied cryptography research and development.
Nonprofit promoting sensible regulatory approaches to cryptocurrency technology through research, advocacy and educating policymakers.
Nonprofit dedicated to promoting digital privacy, free speech, and innovation.
Three month online course aiming to familiarize Nepalese developers with the key elements of blockchain technology through instruction and project-based learning.
Community talks and meetups in Colombia's Coffee Region.
Grassroots activism group that fights for a future where technology is a force for liberation and not oppression.
Community development in Medellín, Colombia.
Development and continued support of Wagyu, a multi-client, desktop UI automating the setup and management of staking infrastructure.
Beacon chain network stress and scenario tests on cloud instances distributed across the globe; initial tests will be performed against small 32-node networks to assess viability, refine test tooling, and formulate a methodology for subsequent, larger tests.
Mainnet load testing on restricted capacity ARM devices, and publication of metrics and reports regarding load capabilities of Ethereum validators on many different client and hardware choices.
Cryptography & zero knowledge proofs
Advancing Tree-Based Vector Commitments
Exploration into approaches to tree-based vector commitments, including RSA groups, multilinear and lattice-based constructions, to address challenges such as aggregatability and post-quantum security.
Book covering the information-theoretic foundations of hash-based SNARKs, with a focus on mathematical correctness, comprehensiveness and clarity of results.
API to manage MACI proof generation using messages signed with the coordinator's private key, a more straightforward and scalable interface allowing users to construct correct proofs by running commands in the cli.
Content sharing platform demonstrating the use of a prediction market mechanism for collaborative curation.
Development of proofs of cryptographically-verifiable truth claims, such as ownership of web2 identities or government issued credentials.
Contributions to research and development on the zkEVM project, which aims to build both a zk rollup that directly supports smart contracts, and a proof of validity for the EVM that could verify Ethereum's entire history in one proof.
Developer experience & tooling
Ongoing development and maintenance of TypeChain and other Ethereum developer tools.
Rethnet is a native, flexible, extensible, fast, and language-agnostic EVM local development network, distributed as a Rust library, that is designed to be the back-end for tools that provide debugging information to developers.
Collection, publishing, and categorization of MEV-rich data in order to bring further visibility to MEV and promote understanding of the problem.
Open-source toolkit for facilitating contributions and bounties across the Ethereum ecosystem.
Formally verifying key Ethers.js modules in Kind-Lang, and support for Kind-Lang community development.
Continuation of research and proof-of-concept development by a group of students and professors from the Carnegie Mellon School of Computer Science to demonstrate that key features of the Obsidian smart contract language can translate successfully to Ethereum. Formal verification by Certora of OpenZeppelin's library of template contracts for commonly-used components and standards. ZK Rollup and L2 Developer Tools by Ryodan Work on Layer 2 and zk rollups including a zk rollup design that eliminates transaction history data for contract execution and zkCloud, a service which aims to help developers use zero-knowledge proofs to write smart contracts and programs more easily.
Continued support for ETHStaker, a community group promoting and supporting Ethereum staking through education, advocacy, technical support, tooling, etc; and funding of a mainnet ETHStaker validator to be used for demonstrations, client metrics, and more.
Continued development of ssz.dev, a website documenting and demonstrating the SSZ serialization standard, including a visualization playground and React-based SSZ implementation.
Continued development of the Lodestar JS consensus client, with goals including light client R&D, improved tooling and documentation, and Merge readiness.
Research and optimization of the DiscV5 service discovery mechanism; current goal is the publication of a report including performance evaluation of the proposed mechanism and an evaluation of its resistance against attacks.
Continued development of the Prysm consensus client.
Continued development of the Stereum "one click installer" for solo stakers to install a beacon chain client and dependencies in a single setup, with support for all production clients on testnet and mainnet.
Continued development of the Lighthouse consensus client.