Growth of a curriculum and course to coach college college students and professors to turn into educators in Ethereum growth, aiming to offer them with a basis to guide instructional initiatives at their respective universities.
Making use of topological knowledge evaluation strategies to points of the beacon chain community together with visualization of validator habits, insights into the construction and well being of the p2p community, and inspection of key consensus metrics.
Continued work on Darkish Forest, a decentralized and protracted RTS (real-time technique) sport, demonstrating use of zk-snarks to assemble “incomplete data” environments the place customers can preserve a non-public state whereas publicly submitting verifiably legitimate actions. Darkish 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 flexibility to deploy a brand new contract for any denomination, a mixer registry to keep away from splitting liquidity, enablig layer 2 deployment, and a totally open-source and non-minified consumer interface.
Design and specification for a status proving service that exports cryptographic proofs of consumer attributes from present websites the place customers have accrued status equivalent to Github or Twitter, which may be verified by websites or decentralized purposes.
Growth of a status proving service that exports cryptographic proofs of consumer attributes from present websites (equivalent to Github or Twitter) to be verified by websites or decentralized purposes.
Design a sensible contract requiring customers on a Unirep-based personal and decentralized social media platform to risk reputation in order to post, with any put up leading to a discount or addition of their complete status rating.
Design for a trustless data market utilizing a sensible contract to permit encrypted knowledge to be revealed on the market, whereas consumers can affirm authenticity utilizing a phase 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 Schooling Assets
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.
Growth of a super-optimizer for Ethereum good contracts that optimizes block-by-block by trying to find instruction sequences which can be semantically equal to the unique sequence within the block however devour much less fuel, aiming to cut 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 methods of file and scale back pricey errors in B2B transactions.
Growth 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 evaluation of a analysis paper titled “Massive primes make me excessive: New outcomes on biprimality testing” by Dmitry Khovratovich and Mary Maller, to validate a breakthrough end in biprimality testing which might facilitate massive scale RSA MPCs.