Q4 2020 Allocation Update from Ethereum Foundation Blog

Community & education ETHTerakoya An educational project by Couger that organizes public meetings, workshops, and collaborative groups focused on developing prototypes and standards. Community & education EthereumCN Resources and community development for the Chinese-speaking audience, including resources for eth2 and a program designed for university students. Community & education Truffle Sponsorship for the TruffleCon 2020 virtual developer conference. Community & education Smart Contracts Creation with Ethereum Provided scholarships for 11 independent developers to enroll in the National University of Bogota’s “Smart Contracts Creation with Ethereum” course. Community & education Discovering Blockchain A Spanish-language educational series on Ethereum featuring different speakers for each lecture, predominantly from Latin American communities. Community & education India Ecosystem Development Events Collaboration in organizing online developer events specifically aimed at students from prestigious engineering colleges in India. Community & education Devfolio Fellowship An 8-week mentorship and education program featuring distinct tracks for experienced Ethereum developers and web developers new to Ethereum. Cryptography & zero knowledge proofs 4byte.directory Assistance for ETH Summer program students to continue developing 4byte.directory, a tool to translate 4-byte function selectors used by the EVM back to a registry of known canonical function signatures. Cryptography & zero knowledge proofs Scaffold.eth Projects Aid for ETH Summer program scholars to further various projects within scaffold.eth. Cryptography & zero knowledge proofs Blaine Bublitz, Ivan Chub, Jacob Rosenthal for Dark Forest and ZK Tooling Advancements to zero knowledge tooling and infrastructure, drawing insights from ongoing development of Dark Forest. Cryptography & zero knowledge proofs Kautuk Kundan for BLS Hubble Frontend Development of a frontend enabling users to create accounts and engage with Hubble and other applications utilizing BLS signatures. Cryptography & zero knowledge proofs Geoff Lamperd for MPC Phase 2 UI The creation of a website and necessary components for browser-based trusted setup ceremonies, including server applications, browser clients, and Firebase backend for core functionalities. Cryptography & zero knowledge proofs Riya Singh for Anonymous Login with Semaphore A proof of concept that utilizes Semaphore for anonymous logins, permitting users to confirm they are on the KYC list without disclosing their validated information (like phone numbers) or informing the KYC provider about login intents. Cryptography & zero knowledge proofs Cory Dickson for MACI 1.0 Ongoing development of the Minimal Anti-Collusion Infrastructure MVP aimed at the prescribed v1.0 implementation. Cryptography & zero knowledge proofs Igor Gulamov for Hubble Audit Security evaluation of Hubble, an optimistic rollup hub designed to facilitate the creation of multiple chains using a uniform interface to enhance interoperability amongst ORU chains. Cryptography & zero knowledge proofs Chance Hudson for Zkopru Infrastructure Enhancements to the Zero Knowledge Optimistic Rollup tooling and developer ecosystem, including establishing a testnet to assess Zkopru’s performance under real-world scenarios, with various coordinators vying for batch creation through a burn auction model crafted by Iden3 for the Hermez network. Developer experience & tooling Umbra A protocol designed for Bitcoin-like “stealth addresses” on Ethereum, facilitating payments to a public identifier (e.g. an ENS name or public Ethereum address) while generating a new address, managed by the receiver, whenever funds are dispatched. Developer experience & tooling Obsidian on Ethereum Research and proof of concept conducted by students and faculty from Carnegie Mellon School of Computer Science to validate that essential features of the Obsidian smart contract language can be effectively translated to Ethereum. Developer experience & tooling Yul-Isabelle Development of the formal semantics for Yul in the Isabelle theorem prover, with the intention of confirming compiler transformations. Developer experience & tooling ETH Learning Continuation of the ETH Summer initiative, aimed at guiding students in learning about and contributing to Ethereum. Developer experience & tooling Chainsafe Conducting an audit of GSN v2 contracts. Ethereum 1.x Nethermind Ongoing support for Nethermind working on eth1 and .NET client security enhancements. Ethereum 2.0 Nimbus Funding continuation for Status in the ongoing development of the Nimbus eth2 client. Ethereum 2.0 ConsenSys Automated Verification Team Ongoing efforts towards the formal modeling and verification of components within the eth2 specifications. Ethereum 2.0 ethereum2-docker-compose Work conducted by Rock Logic to enhance the ethereum2-docker-compose staking node toolset, incorporating support for Teku and Lighthouse clients along with supplementary features, articles, and documentation. Ethereum 2.0 Lighthouse Ongoing improvement of Sigma Prime’s Lighthouse staking client, developed in Rust, for the Ethereum 2.0 ecosystem. Ethereum 2.0 Staking Community Grants A special grants initiative centered on developing tools to enhance the staking and validator experience. Ethereum 2.0 Medalla Data Challenge A hackathon-style competition for blog submissions centered on data tools, visualizations, analyses, or other inventive uses of data extracted from the Medalla testnet. User experience ENS on L2 with a general methodology A standard procedure for securely retrieving verified information from off-chain sources, incorporating subdomain records from ENS domains stored on L2 but broadly applicable to any data external to the Ethereum mainnet. User experience Etherisc Assistance in evaluating the integration phase of a pilot program led by Etherisc and Acre Africa to establish blockchain-based agricultural microinsurance for smallholder farmers in Kenya.