Development of a curriculum and course to train university students and professors to become educators in Ethereum development, aiming to provide them with a foundation to lead educational initiatives at their respective universities.
Applying topological data analysis techniques to aspects of the beacon chain network including visualization of validator behavior, insights into the structure and health of the p2p network, and inspection of key consensus metrics.
Continued work on Dark Forest, a decentralized and persistent RTS (real-time strategy) game, demonstrating use of zk-snarks to construct “incomplete information” environments where users can keep a private state while publicly submitting verifiably valid actions. Dark Forest was created to demonstrate the capability of this framework to create complex environmental and strategic dynamics in decentralized gaming.
Extensions to MicroMix, an ETH and ERC-20 mixer built on Semaphore, including the ability to deploy a new contract for any denomination, a mixer registry to avoid splitting liquidity, enablig layer 2 deployment, and a fully open-source and non-minified user interface.
Design and specification for a reputation proving service that exports cryptographic proofs of user attributes from existing sites where users have accrued reputation such as Github or Twitter, which can be verified by sites or decentralized applications.
Design a smart contract requiring users on a Unirep-based private and decentralized social media platform to risk reputation in order to post, with any post resulting in a reduction or addition of their total reputation score.
Design for a trustless data market using a smart contract to allow encrypted data to be published for sale, while buyers can confirm authenticity using a segment of exposed data and a ZKP issued by the seller.
Cryptography & zero knowledge proofs
Zkopru Stress Testing
Stress testing, monitoring tools, CI setup and cluster testing scripts for Zkopru, a layer-2 scaling solution for private transactions using zk-SNARK and optimistic rollup.
Developer experience & tooling
ETH Winter Education Resources
Conversion of resources from the ETH Winter program, including Intro to Eth documents, mentor reading lists and quests, into a publicly consumable format.
Development of a super-optimizer for Ethereum smart contracts that optimizes block-by-block by searching for instruction sequences that are semantically equivalent to the original sequence in the block but consume less gas, aiming to reduce overall transaction costs and increase transaction capacity.
Funding for Baseline Grants supporting research, development and adoption of the Baseline protocol, which allows businesses to synchronize their systems of record and reduce costly errors in B2B transactions.
Development of a production-ready version of clr.fund, a decentralized quadratic funding protocol using BrightID and MACI to to enable permissionless, pseudonymous, and minimally-trustful protocol-level funding for Ethereum.
Deep review of a research paper titled “Big primes make me high: New results on biprimality testing” by Dmitry Khovratovich and Mary Maller, to validate a breakthrough result in biprimality testing which could facilitate large scale RSA MPCs.