| community education |
BlockchainsForSchools |
Sponsorship of 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 to work on an optimistic summary hub that allows the creation of any summary string simply by writing a robustness function. |
| Cryptography and Zero Knowledge Proofs |
Zkopru (zk-optimist-rollup) |
Layer 2 scaling solution for private transactions using zk-SNARK and optimistic summarization. GitHub: https://github.com/zkopru-network/zkopru |
| Cryptography and Zero Knowledge Proofs |
Dark forest |
Game theoretical research completed by a group of Stanford students on the use of zk-SNARK to build “incomplete information” environments where users can maintain private state while publicly submitting valid verifiable actions. Dark Forest was created to demonstrate the ability of this framework to create complex environmental and strategic dynamics in decentralized games. |
| Cryptography and Zero Knowledge Proofs |
RLN traffic light |
Method to avoid spam when using Semaphore, a zero-knowledge device for anonymous proof of membership. RLN (Rate Limiting Nullifier) reveals the private key of an account that signals above an acceptable rate, which another member can use to remove them from the group. |
| Cryptography and Zero Knowledge Proofs |
Summer ETH |
Program for students to learn and develop Ethereum, including contributions to 4byte.directory. |
| Cryptography and Zero Knowledge Proofs |
Aztec |
continuous work on PLONKincluding the delivery of Ultra-PLONK, which adds FETCH doors; development of a domain-specific language and compiler; and tester updates. |
| Cryptography and Zero Knowledge Proofs |
Blind search v1 |
Peer-to-peer network that allows private peer search: One user can locate another through verifiable routes between multiple peers without revealing any information about the connection. |
| Cryptography and Zero Knowledge Proofs |
Quadratic Dollar Landing Page |
Smart contracts and web user interface for a square dollar landing page, inspired by the million dollar landing page. Users determine the prominence of images on a web page through quadratic voting, using Minimum anti-collusion infrastructure (MACI) for collusion resistance. |
| Developer experience and tools |
Today |
Hull upgrades (formerly known as builder), a development environment for compiling, deploying, testing, and debugging Ethereum software, created and maintained by nomic laboratories. |
| Developer experience and tools |
formalize.eth |
Verified compiler of a subset of Vyper to YUL, written in Coq. |
| Developer experience and tools |
IPLD, signature and object encryption |
Jointly funded with Protocol Labs: research on Textile Y 3box on cryptographic data protection in IPLD, the linked data framework used by IPFS, to enable scalable and interactive dapps using both IPFS and Ethereum. |
| Ethereal 1.x |
Web3 Labs |
Ongoing maintenance and improvements to web3j library including Solidity library dependency management, smart contract migration support, Web3j Solidity debugger enhancements, and integration for IntelliJ/Android Studio and Eth2 support. |
| Ethereal 1.x |
white block |
Testnet and experimentation to understand the impact, including uncle rates and block propagation times, of larger block sizes as a result of the EIP-1559 implementation, reduction in cost of call data gas, and/or or the increase in the gas limit. |
| Ethereal 1.x |
OpenEthereum |
Maintenance and development at OpenEthereum, a Parity client acquisition spearheaded by gnosis. |
| Ethereal 1.x |
image |
Testing, including creating and deploying a set of sample programs across multiple machines, operating systems, and EVMs, to estimate gas costs and dependencies for EVM calculation, with the goal of addressing unbalanced gas costs for EMV instructions. |
| ethereal 2.0 |
botfly |
continuous work on beaconcha.in, an open source eth2 block explorer that provides support for eth2 testnets. GitHub: https://github.com/gobitfly/eth2-beaconchain-browser |
| indirect financing |
MetaCartel DAO |
Contribution to DAO funding microgrants and mentoring for post-hackathon and early stage teams. |
| indirect financing |
Gitcoin CLR |
CLR match for rounds 6-8. |
| layer 2 |
burnt auction |
Censorship-resistant block creation mechanism for Optimistic Rollups where the right to create a new block is auctioned off to the person willing to burn the most ETH. |
| layer 2 |
state channels |
Ongoing development of State Channels, including auditing, server wallet, SDK, improved documentation, and mainnet implementation. |
| layer 2 |
fuel labs |
Further development of the optimistic fuel summary. |
| layer 2 |
Connect |
Framework that enables cross-chain communication using state channels. |
| user experience |
minimal authority |
audit of GSN contracts v2. |
| user experience |
EIP 1559 R&D |
Double grant to EIP-1559 multisig to support community-wide effortsY ConsenSys for coordinating research and development. |
