Allocation Update: Q2 2021 | Ethereum Foundation Blog

community education Ethereum Cat Herders Community group that supports core Ethereum developers with project management, communication, and coordination. community education EthCC ethereal france Developer and community conference held in Paris, France. community education Ethereal HN Grassroots Ethereum community group that hosts developer meetups, workshops, and events in Honduras. community education ether university Content and Educational Resources nathan leung Educational and community development resources for college students participating in the Summer ETH learning program community education Tunisia: Spring ETH community development Scott Moses Sunarto Community building and support for the ETH Spring undergraduate learning program, plus content formatting and migration to ETH Spring website for public consumption. community education Tunisia: Summer ETH teresa cresalia Y Scott Moses Sunarto Management of ETH Summer, a virtual program to introduce Ethereum to undergraduate students in computer science and mathematics. community education Smart Contract Audit Bootcamp insurance Structured program to train aspiring auditors in security and auditing of smart contracts. community education Ethereum Public Goods Funding Mapping Sumedha Deshmukh Research project to map the public goods financing landscape within the Ethereum ecosystem. community education Cryptofund 2021 UNICEF Cryptocurrency-denominated investment fund for startups using blockchain technology for social impact. consensus layer Eth2 Tracker ChainSafe DiscV5 tracker, API and front-end to capture and interact with information about beacon chain nodes. consensus layer Quick hash to curve investigation dimitri koshelev Research and write about faster hash to G2 hash functions for BLS12-381 for possible performance optimizations on SNARK, L2 dapps, and more. consensus layer stereo rock logic Docker images for individual users to install a beacon chain client and dependencies in a single configuration, with support for all production clients on testnet and mainnet. consensus layer beacon fluff sigma prime Ongoing maintenance and development of Beacon Fuzz, a beacon chain testing framework, including performance optimizations, integrating new clients and targets, and testing new Altair features for bugs or vulnerabilities. consensus layer Lighthouse sigma prime Continued development of the Lighthouse beacon chain client. consensus layer Beacon Chain Vitality Improvements Tse Lab at Stanford University Investigation of solutions for possible lifetime attacks on the Ethereum beacon chain consensus algorithm. consensus layer Ethereum Japan Participation Committee Effort to expand staking in Japan through awareness, education, and support for the engineering community, as well as fostering the Japanese staking environment from technical, regulatory, and business perspectives. Cryptography and Zero Knowledge Proofs ZK Games justin glibert Cutting-edge research on the use of zkSNARK in blockchain game mechanics to create decentralized real-time strategy games. Cryptography and Zero Knowledge Proofs Verkle Trie Optimizations Arne Osvik Day Implementation of pasted test data structure for Stateless Ethereum. Cryptography and Zero Knowledge Proofs MPC Phase 2 UI Improvements geoff lamperd Improvements to the Phase 2 MPC Trusted Configuration UI for a faster and more streamlined process, based on learnings from the zkopru MPC. Cryptography and Zero Knowledge Proofs ZK Developer Tools Jacob Rosenthal and Blaine Bublitz Development of tools to improve the applied ZK developer experience, including contributions to Dark forest, circusY Today . Cryptography and Zero Knowledge Proofs ETHUni: POC of the private data market nick the wolf Development of a proof-of-concept on-chain marketplace for secret or permissioned data using zkSNARK. Developer experience and tools clr.fund user interface clr.fund User experience improvements for the clr.fund decentralized quadratic funding protocol, including improvements to the implementer, subgraph, clr.fund documentation files, new MACI circuits enabling scaling to millions of users, and hosting a ceremony reliable configuration. Developer experience and tools Vyper/Fe formally verified compiler formalize.eth Formally verified transformation of the Faith smart contract language for yul as well as the development of the necessary functions to support a complete implementation of ERC20. Developer experience and tools Viblex heiko burkhardt Graphical representation of smart contract architectures, allowing users to analyze and interact with contracts on both the mainnet and testnets, including local testnets. Developer experience and tools Stage II Gas Cost Estimator image Systematic approach to estimating gas costs for EVM OPCODEs that takes into account differences in hardware, software, and programming environments, to inform discussions about OPCODE pricing. Developer experience and tools Formal verification of Yul compiler transformations kestrel institute Formalization of the semantics of the Yul language, as well as application and extension of existing formal verification and equivalence checking tools to test the correctness of Yul compiler optimizations. Developer experience and tools Decentralized Community Management Research other internet Research study and document on decentralized community management, analyzing organizational composition, communications and conflict resolution and proposing best community management practices. Developer experience and tools GCatch++ Pennsylvania State University Extension of GCatch, a system for detecting concurrency errors in Go programs, to apply channel-related non-blocking error detection to Ethereum clients. Developer experience and tools Transaction Classification Scheme roller skates Open source library and set of schemas for decoding ethereum transactions and classifying the associated actions (for example, classifying a transaction as a CLR donation, a token swap, or adding liquidity to an AMM). Developer experience and tools Decentralized identity tools Symphony Open source toolkit for decentralized identity and verified credentials on Ethereum, including wallet, data container, and SDK. execution layer Nethermind runtime client nether mind Ongoing maintenance and development of the Nethermind runtime client. execution layer Tier 1 R&D Quilt Support for ongoing research and development of Layer 1 protocol security and features. execution layer Nimbus Execution Client Condition Ongoing maintenance and development of the Nimbus runtime client. execution layer Spongy portal client Condition development of the fluffy thin clientdesigned for the portal networkwhose goal is to allow resource-constrained devices to contribute to the Ethereum network by accessing the APIs needed to perform standard wallet operations without the need for full state synchronization. execution layer erigon Torque Ongoing maintenance and development of the Torquem runtime client (fka TurboGeth). layer 2 Decision Review Kev Zettler Review of the Arbitrum system and code base, reporting any vulnerabilities to the Arbitrum team, similar to previous support Optimism Review. layer 2 L2Beat Website showing usage statistics and risk factors to compare between Layer 2 scaling solutions. user experience shiny identification Advancement of BrightID’s social identity network infrastructure, including strengthening node security and anti-sybil protections, creating a web client, and enabling blind signatures. user experience ZK game design support tired janneh Design and illustration support for teams working on experimental ZK games and apps.