Development of a curriculum and course to coach college college students and professors to turn into educators in Ethereum growth, aiming to supply them with a basis to guide academic initiatives at their respective universities.
Applying topological knowledge evaluation strategies to elements of the beacon chain community together with visualization of validator conduct, insights into the construction and well being of the p2p community, and inspection of key consensus metrics.
Continued work on Dark Forest, a decentralized and protracted RTS (real-time technique) sport, demonstrating use of zk-snarks to assemble “incomplete information” environments the place customers can maintain a personal state whereas publicly submitting verifiably legitimate actions. Dark Forest was created to reveal the aptitude of this framework to create advanced environmental and strategic dynamics in decentralized gaming.
Extensions to MicroMix, an ETH and ERC-20 mixer constructed on Semaphore, together with the power to deploy a brand new contract for any denomination, a mixer registry to keep away from splitting liquidity, enablig layer 2 deployment, and a completely open-source and non-minified consumer interface.
Design and specification for a repute proving service that exports cryptographic proofs of consumer attributes from current websites the place customers have accrued repute corresponding to Github or Twitter, which could be verified by websites or decentralized purposes.
Development of a repute proving service that exports cryptographic proofs of consumer attributes from current websites (corresponding to Github or Twitter) to be verified by websites or decentralized purposes.
Design a wise contract requiring customers on a Unirep-based personal and decentralized social media platform to threat repute in an effort to put up, with any put up leading to a discount or addition of their complete repute rating.
Design for a trustless knowledge market utilizing a wise contract to permit encrypted knowledge to be printed on the market, whereas patrons can verify authenticity utilizing a section of uncovered knowledge and a ZKP issued by the vendor.
Cryptography & zero data proofs
Zkopru Stress Testing
Stress testing, monitoring instruments, CI setup and cluster testing scripts for Zkopru, a layer-2 scaling resolution for personal transactions utilizing zk-SNARK and optimistic rollup.
Developer expertise & tooling
ETH Winter Education Resources
Conversion of assets from the ETH Winter program, together with Intro to Eth paperwork, mentor studying lists and quests, right into a publicly consumable format.
Development of a super-optimizer for Ethereum sensible contracts that optimizes block-by-block by trying to find instruction sequences which might be semantically equal to the unique sequence within the block however eat much less gasoline, aiming to scale back general transaction prices and enhance transaction capability.
Funding for Baseline Grants supporting analysis, growth and adoption of the Baseline protocol, which permits companies to synchronize their techniques of report and cut back pricey errors in B2B transactions.
Development of a production-ready model of clr.fund, a decentralized quadratic funding protocol utilizing BrightID and MACI to to allow permissionless, pseudonymous, and minimally-trustful protocol-level funding for Ethereum.
Deep assessment of a analysis paper titled “Big primes make me high: New results on biprimality testing” by Dmitry Khovratovich and Mary Maller, to validate a breakthrough lead to biprimality testing which might facilitate giant scale RSA MPCs.