| Community & education |
BlockchainsForSchools |
Sponsorship of BlockchainsForHacks, an ideation challenge for high school and college students to create innovative projects using blockchain technology. |
| Cryptography & zero knowledge proofs |
Hubble |
Continued funding for work on an optimistic rollup hub allowing creation of any rollup chain simply by writing a solidity function. |
| Cryptography & zero knowledge proofs |
Zkopru (zk-optimistic-rollup) |
Layer-2 scaling solution for private transactions using zk-SNARKs and optimistic rollup. Github: https://github.com/zkopru-network/zkopru |
| Cryptography & zero knowledge proofs |
Dark Forest |
Game theorietic research completed by a group of Stanford students on using 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. |
| Cryptography & zero knowledge proofs |
Semaphore RLN |
Method for preventing spam when using Semaphore, a zero-knowledge gadget for anonymous proof of membership. RLN (Rate Limiting Nullifier)reveals the private key of an account signaling above an acceptable rate, which another member can use to remove them from the group. |
| Cryptography & zero knowledge proofs |
ETH Summer |
Program for students to learn about and build on Ethereum, including contributions to 4byte.directory. |
| Cryptography & zero knowledge proofs |
Aztec |
Continued work on PLONK, including delivery of Ultra-PLONK, which adds PLOOKUP gates; development of a domain-specific language and compiler; and prover upgrades. |
| Cryptography & zero knowledge proofs |
Blind Find v1 |
Peer-to-peer network allowing private peer search: one user can locate another via provable pathways between multiple peers without revealing any information about the connection. |
| Cryptography & zero knowledge proofs |
Quadratic Dollar Homepage |
Smart contracts and web UI for a Quadratic Dollar Homepage, inspired by the Million Dollar Homepage. Users determine the prominence of images on a web page via quadratic voting, using Minimal Anti-Collusion Infrastructure (MACI) for collusion resistance. |
| Developer experience & tooling |
Hardhat |
Improvements to Hardhat (formerly known as Buildler), a development environment for compiling, deploying, testing, and debugging Ethereum software, built and maintained by Nomic Labs. |
| Developer experience & tooling |
formalize.eth |
Verified compiler from a subset of Vyper to YUL, written in Coq. |
| Developer experience & tooling |
IPLD, Object Signing and Encryption |
Joint funded with Protocol Labs: research by Textile and 3box into 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 to the Web3j library including Solidity library dependency management, smart contract migration support, Web3j Solidity debugger enhancements amd integration for IntelliJ/Android Studio, and Eth2 support. |
| Ethereum 1.x |
Whiteblock |
Testnet and experimentation to understand the impact, including uncle rates and block propagation times, of larger block sizes resulting from implementation of EIP-1559, reduction in calldata gas cost, and/or increase in gas limit. |
| Ethereum 1.x |
OpenEthereum |
Maintenance and development on OpenEthereum, a takeover of the Parity client spearheaded by Gnosis. |
| Ethereum 1.x |
Imapp |
Testing, including creation and deployment of a set of sample programs on various machines, operating systems and EVMs, to estimate gas costs and dependencies for EVM computation, with the goal of addressing imbalanced gas costs for EVM instructions. |
| Ethereum 2.0 |
bitfly |
Continued work on beaconcha.in, an open-source eth2 block explorer providing support for eth2 testnets. Github: https://github.com/gobitfly/eth2-beaconchain-explorer |
| Indirect funding |
MetaCartel DAO |
Contribution to a DAO funding microgrants and mentoring for post-hackathon and early stage teams. |
| Indirect funding |
Gitcoin CLR |
CLR matching for rounds 6-8. |
| Layer 2 |
Burn Auction |
Censorship-resistant block creation mechanism for Optimistic Rollups wherein the right to create a new block to is auctioned to the person willing to burn the most ETH. |
| Layer 2 |
State Channels |
Continued development of State Channels including audit, server wallet, SDK, improved documentation and mainnet implementation. |
| Layer 2 |
Fuel Labs |
Further development of the Fuel optimistic rollup. |
| Layer 2 |
Connext |
Framework enabling cross-chain communication using state channels. |
| User experience |
Least Authority |
Audit of GSN v2 contracts. |
| User experience |
EIP 1559 R&D |
Dual grant to the EIP-1559 multisig to support community-wide efforts, and ConsenSys for coordination of research and development. |
