Community building and support for the ETH Spring undergraduate learning program, plus formatting and migration of content to the ETH Spring website for public consumption.
Docker images 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 maintenance and development of Beacon Fuzz, a beacon chain testing framework, including performance optimizations, integration of new clients and targets, and testing new Altair functions for bugs or vulnerabilities.
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 & zero knowledge proofs
ZK Games
Justin Glibert
State of the art research on using zkSNARKs in blockchain game mechanics to build decentralized real-time strategy games.
Improvements to the user experience for the clr.fund decentralized quadratic funding protocol, including improvements to the clr.fund deployer, subgraph, documentation archives, new MACI circuits that allow scaling to millions of users, and conducting a trusted setup ceremony.
Formally verified transformation of the Fe smart contract language to Yul as well as development of features needed to support a complete ERC20 implementation.
Graphical representation of smart contract architectures, enabling users to analyze and interact with the contracts on both mainnet and testnets, including local testnets.
Systematic approach to estimating gas costs of EVM OPCODEs accounting for differences in hardware, software and programming environments, in order to inform discussions on adjusting OPCODE prices.
Developer experience & tooling
Formal Verification of Yul Compiler Transformations
Formalization of the semantics of the Yul language, as well as application and extension of existing formal verification and equivalence checking tools to prove the correctness of Yul compiler optimizations
Research study and paper on decentralized community management, analyzing organizational composition, communications, and conflict resolution and proposing community management best practices.
Extension of GCatch, a system for detecting concurrency bugs in Go programs, to apply detection of channel-related non-blocking bugs to Ethereum clients.
Open source library and set of schemas to decode ethereum transactions and classify the associated actions (e.g. classifying a transaction as a CLR donation, a token exchange, or adding liquidity to an AMM).
Development of the Fluffy light client, designed for the Portal Network, which aims to enable resource-restricted devices to contribute to the Ethereum network by accessing the necessary APIs to perform standard wallet operations without needing to sync the full state.
Review of the Arbitrum system and codebase, reporting any vulnerabilities to the Arbitrum team, similar to the previously supported review of Optimism.
Advancement of BrightID's social identity network infrastructure, including strengthening node security and anti-sybil protections, building a web client, and enabling blind signatures.
