Allocation Update: Q1 and Q2 2022

Community & educationBlockchain Pachuca MeetupBlockchain PachucaFirst meetup for a community group based in Pachuca, Mexico that studies Ethereum dApps.Community & educationcity3 Quadratic Funding Experimentscity3Implementation of quadratic funding experiments in Oakland, California.Community & educationCryptistOne-day conference exploring ZK technology and the Ethereum ecosystem, held in Istanbul, Turkey.Community & educationDAO DropsdOrgSupport to execute the first round of DAO Drops, a retroactive public goods funding experiment that leverages on-chain data to empower participants to make fund allocation decisions.Community & educationdApp LearningProject-based learning repo that enables developers with basic skills to learn dApp development using actively used OS contracts, taught in English and Mandarin Chinese.Community & educationETHBarcelonaCommunity-led conference in Barcelona, Spain focusing on education, innovation, art, and creating positive social impact.Community & educationETHEcuador Meetup: Blockchain and the Future of EthereumWorkingUpMeetup in Quito, Ecuador covering an introduction to blockchain and the future of Ethereum.Community & educationLatAm Road to Devcon Community SupportAna BelénMonthly in-person meetups, weekly virtual talks in Spanish educating participants about Ethereum, and support with community activations during Devcon VI.Community & educationEthereum TegucigalpaSupport for Ethereum community development in Honduras including meetups, developer events, and Ethereum content in Spanish.Community & educationETHWarsaw MeetupsETHWarsawMonthly in-person meetups leading up to ETHWarsaw’s hackathon in September 2022. Attendees can learn from web3 engineers, exchange ideas, and network with like-minded blockchain enthusiasts.Community & educationGovernance Learning Forum 2022Other Internet & OrcaTwo-day virtual governance summit bringing together web3 governance practitioners and experts on governance and coordination beyond the crypto ecosystem.Community & educationDevconnectH.E.R DAOEthereum-based talks for womxn and other newcomers entering web3.Community & educationH.E.R. DAO LATAM Meetups and EventsH.E.R DAOMonthly in-person meetups hosted across Mexico and weekly virtual talks catered towards womxn. Topics such as the basics of web3, using L2s, and smart contracts will be covered.Community & educationOpen-Source Turkish Smart Contract Developer CourseITU BlockchainOpen-source and free smart contract developer course in Turkish, teaching topics such as Solidity basics, frontend and dApp development, and security.Community & educationQuadratic Funding at ETHBarcelonaETHBarcelonaQuadratic funding at ETHBarcelona to support projects from the local community and fund public goods.Community & educationQuadratic Funding at ETHPragueETHPragueQuadratic funding at ETHPrague to support projects from the local community and fund public goods.Community & educationQuadratic Funding Rounds in TaiwanTaiwan Association for Blockchain Ecosystem InnovationRunning quadratic funding rounds for the Taiwan Presidential Hackathon and MeetTaipei’s WAGMI pitch.Community & educationSpanish Ethereum Developer ProgramPlatzi AcademyThree-month program in Spanish teaching developers how to create their first dApps through online courses, live classes, group mentoring, and community events.Community & educationThe DAOist MeetupsThe DAOistLocal meetups in native languages to discuss and learn about topics including governance, coordination, and DAOs.Community & educationUETH Chinese Community & Education ProgramUnitimesEthereum education platform targeted towards the Chinese community, with a focus on community building, course development, connecting Ethereum with Chinese enterprises, and promoting Chinese government recognition of Ethereum.Consensus layerAccount Abstraction (EIP-4337)Alexander Forshtat, Shahaf Nacson, and Dror TiroshIndependent team working on EIP-4337: Account Abstraction via Entry Point Contract Specification, which circumvents the need for consensus layer protocol changes.Consensus layerBeacon Chain Network Stress TestingCryptoManufakturBeacon chain network stress and scenario tests on cloud instances distributed across the globe. Initial development will assess viability, refine test tooling, and formulate a methodology for subsequent larger tests.Consensus layerLighthouseSigma PrimeContinued development of the Lighthouse consensus client.Consensus layerLodestar Consensus ClientChainsafeContinued development of the Lodestar consensus client, with a focus on light client R&D and JavaScript ecosystem tooling.Consensus layerPrysm Consensus ClientPrysmatic LabsContinued development of the Prysm consensus client.Consensus layerStereumRock LogicContinued development of Stereum, which enables solo stakers to install a beacon chain client and dependencies in a single setup with support for all production clients on testnet and mainnet.Cryptography & zero knowledge proofsBattleZipsZK arithmetic circuit implementation for an on-chain battleship game.Cryptography & zero knowledge proofsBuilding a ZKP Second BrainFormula ZeroSupport for publishing a series of ZK proof articles in the Zettelkasten method.Cryptography & zero knowledge proofsDifferential Privacy and ZK Proofs ResearchGonzalo Munilla GarridoResearch in the field of privacy-enhancing technologies which seeks to bridge the gap between their theoretical specifications and the implementation of data sharing and analytics applications on Ethereum.Cryptography & zero knowledge proofsGitcoin GR13 ZK Tech Side RoundGitcoinSupport for Gitcoin’s GR13 ZK Tech side round, which focused on funding ZK applications, tooling, open-source contributions, and projects improving the usability of ZK technology.Cryptography & zero knowledge proofsProofs, Arguments, and Zero Knowledge Study GroupZKHackZKHack’s education group to implement a suite of ZK cryptographic protocols in Rust and Python.Cryptography & zero knowledge proofsTLS NotaryBrowser add-on which allows users to prove that HTTPS requests and responses originated from a given certificate subject through secure sockets layer (SSL) and transport layer security (TLS) cryptography.Cryptography & zero knowledge proofsZK Circuit Performance and Security Data on EthereumBrian WilkesData collection on the performance and security characteristics of ZK circuits being verified on Ethereum, with the goal of displaying pertinent circuit information within chain explorer tools like Otterscan.Cryptography & zero knowledge proofsZK-KeeperBrowser plugin which enables ZK identity management and proof generation. Improving its functionality creating a Firefox version, enhancing UI/UX, and getting it ready for production.Cryptography & zero knowledge proofsZK Proofs for Neural Net Classification and AccuracyProject to design and implement ZK proofs for neural net classification, which would allow the owner of a neural net to reveal classifications or detections produced by a model from their private information without having to disclose that private information.Developer experience & toolingBuidlGuidlSupport for BuidlGuidl, a developer community and series of educational initiatives focused on onboarding developers to Ethereum.Developer experience & toolingFlorida State University FoundationR&D on coverage and automated test case generation for Solidity smart contracts.Developer experience & toolingMerge Client Combination TestingSea MonkeyExtensive testing of all execution and consensus layer client pairs leading up to The Merge.Developer experience & toolingNode LauncherDecentralized AuthorityOpen-source node deployment engine written in TypeScript that enables the easy creation of node deployment applications, with the goal of supporting all major execution and consensus layer clients.Developer experience & toolingPython-Simulation Engine & Testing SuiteDevelopment of Python contract testing tool with a full suite of functionalities to serve as a primary testing library or companion to Hardhat/Foundry with optimized backtesting and parallelized chain simulations.Developer experience & toolingSolidiKeY – Solidity Asset Flow Verification at ScaleChalmers University of TechnologySolidity verification tool based on the KeY project verification system for Java with an emphasis on usability, scalability, and functional correctness properties specifying the relation of the asset flow with contract data.Developer experience & toolingWeb3JS Library MaintenanceChainsafeCollection of libraries that allows users to interact with a local or remote Ethereum node using HTTP, IPC, or WebSocket.Execution LayerEthereum Execution SpecificationsGuruprasad KamathDeveloping a Python implementation of Ethereum, that will serve as an executable specification for the execution layer. The specification is a Python implementation of Ethereum that prioritizes readability and simplicity.General ResearchAcademic Grants RoundProactive grants round funding formal research that aims to create more knowledge about Ethereum, blockchain technology, and related domains.General ResearchThe Grants (grants.xyz)Ethereum Community NetworkResearch exploring different public goods funding mechanisms for the overall Ethereum open-source community in China.Layer 2ETH.LIMO Infrastructure SupportETH.LIMOInfrastructure improvements for ETH.LIMO, a decentralized gateway for resolving ENS records and associated IPFS content.