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
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.
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
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.