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. |