Community and education
BlockchainsForSchools
Sponsored BlockchainsForHacks, an ideation challenge for high school and college students to create innovative projects using blockchain technology.
Cryptography and zero-knowledge proofs
Hubble
Continued funding of work on an optimistic rollup hub allowing the creation of any rollup chain simply by writing a solidity function.
Cryptography and zero-knowledge proofs
Zkopru (zk-optimistic-rollup)
Layer 2 scaling solution for private transactions using zk-SNARK and optimistic rollup. GitHub: https://github.com/zkopru-network/zkopru
Cryptography and zero-knowledge proofs
Dark Forest
Game theory research by a group of Stanford students on using zk-SNARK to build “incomplete information” environments in which users can maintain private state while publicly submitting valid, verifiable actions . Dark Forest was created to demonstrate this framework’s ability to create complex environmental and strategic dynamics in decentralized gaming.
Cryptography and zero-knowledge proofs
RLN semaphore
Method to avoid spam when using Semaphore, a zero-knowledge gadget for anonymous proof of membership. RLN (Rate Limiting Nullifier) reveals the private key of an account reporting a rate higher than an acceptable rate, which another member can use to remove it from the group.
Cryptography and zero-knowledge proofs
ETH summer
Program for students to discover and develop Ethereum, including contributions to 4bytes.directory.
Cryptography and zero-knowledge proofs
Aztec
Continuing work on PINARDincluding delivery of Ultra-PLONK, which adds RESEARCH doors; development of a domain-specific language and compiler; and prover upgrades.
Cryptography and zero-knowledge proofs
Blind search v1
Peer-to-peer network enabling private peer search: A user can locate another via provable paths between multiple peers without revealing any information about the connection.
Cryptography and zero-knowledge proofs
Quadratic Dollar Home Page
Smart contracts and web UI for a Quadratic Dollar homepage, inspired by Million Dollar Homepage. Users determine the importance of images on a web page via quadratic voting, using Minimal anti-collusion infrastructure (MACI) for resistance to collusion.
Developer experience and tools
Helmet
Safety helmet improvements (formerly known as Builder), a development environment for compiling, deploying, testing and debugging Ethereum software, built and maintained by Economic laboratories.
Developer experience and tools
formalize.eth
Verified compiler of a subset of Vyper to YUL, written in Coq.
Developer experience and tools
IPLD, object signing and encryption
Funded jointly with Protocol Labs: research into Textile And 3 boxes in cryptographically securing data in IPLD, the linked data framework used by IPFS, to enable scalable and interactive dapps using both IPFS and Ethereum.
Ethereum 1.x
Web3 Labs
Continued maintenance and improvements of Web3j Library including Solidity library dependency management, smart contract migration support, Web3j Solidity debugger enhancements and integration for IntelliJ/Android Studio and Eth2 support.
Ethereum 1.x
White block
Testnet and experimentation to understand the impact, including uncle rates and block delays, of larger block sizes resulting from EIP-1559 implementation, reduced gas cost call data and/or gas limit increase.
Ethereum 1.x
OpenEthereum
Maintenance and development on OpenEthereum, a takeover of the Parity client led by Gnosis.
Ethereum 1.x
Impapp
Testing, including the creation and deployment of a set of sample programs on various machines, operating systems and EVMs, to estimate gas costs and dependencies for EVM calculation, with the aim of remediating costs of unbalanced gases for EVM instructions.
Ethereum 2.0
bitfly
Continuing work on beaconcha.inAn open source Eth2 block explorer supporting Eth2 testnets. GitHub: https://github.com/gobitfly/eth2-beaconchain-explorer
Indirect financing
MetaCartel DAO
Contributed to a DAO funding microgrants and mentoring for post-hackathon and early-stage teams.
Indirect financing
GitcoinCLR
CLR match for rounds 6-8.
Layer 2
Auctions
Censorship-resistant block creation mechanism for optimistic rollups in which the right to create a new block is auctioned to the person willing to burn the most ETH.
Layer 2
State Channels
Continuous development of state channels including auditing, server wallet, SDK, enhanced documentation and mainnet implementation.
Layer 2
Fuel Laboratories
Continued development of the optimistic Fuel rollup.
Layer 2
Log in
Framework enabling cross-chain communication using state channels.
User experience
Less authority
Verification of GSN Contracts v2.
User experience
EIP1559 R&D
Double subsidy to EIP-1559 multisig to support community-wide effortsAnd ConsenSys for the coordination of research and development.
