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.