Support to execute the first round of DAO Drops, a retroactive public goods funding experiment that leverages on-chain data to empower participants to make fund allocation decisions.
Project-based learning repo that enables developers with basic skills to learn dApp development using actively used OS contracts, taught in English and Mandarin Chinese.
Monthly in-person meetups, weekly virtual talks in Spanish educating participants about Ethereum, and support with community activations during Devcon VI.
Monthly in-person meetups leading up to ETHWarsaw’s hackathon in September 2022. Attendees can learn from web3 engineers, exchange ideas, and network with like-minded blockchain enthusiasts.
Two-day virtual governance summit bringing together web3 governance practitioners and experts on governance and coordination beyond the crypto ecosystem.
Monthly in-person meetups hosted across Mexico and weekly virtual talks catered towards womxn. Topics such as the basics of web3, using L2s, and smart contracts will be covered.
Three-month program in Spanish teaching developers how to create their first dApps through online courses, live classes, group mentoring, and community events.
Ethereum education platform targeted towards the Chinese community, with a focus on community building, course development, connecting Ethereum with Chinese enterprises, and promoting Chinese government recognition of Ethereum.
Beacon chain network stress and scenario tests on cloud instances distributed across the globe. Initial development will assess viability, refine test tooling, and formulate a methodology for subsequent larger tests.
Continued development of Stereum, which enables solo stakers to install a beacon chain client and dependencies in a single setup with support for all production clients on testnet and mainnet.
Research in the field of privacy-enhancing technologies which seeks to bridge the gap between their theoretical specifications and the implementation of data sharing and analytics applications on Ethereum.
Support for Gitcoin’s GR13 ZK Tech side round, which focused on funding ZK applications, tooling, open-source contributions, and projects improving the usability of ZK technology.
Browser add-on which allows users to prove that HTTPS requests and responses originated from a given certificate subject through secure sockets layer (SSL) and transport layer security (TLS) cryptography.
Data collection on the performance and security characteristics of ZK circuits being verified on Ethereum, with the goal of displaying pertinent circuit information within chain explorer tools like Otterscan.
Browser plugin which enables ZK identity management and proof generation. Improving its functionality creating a Firefox version, enhancing UI/UX, and getting it ready for production.
Cryptography & zero knowledge proofs
ZK Proofs for Neural Net Classification and Accuracy
Project to design and implement ZK proofs for neural net classification, which would allow the owner of a neural net to reveal classifications or detections produced by a model from their private information without having to disclose that private information.
Open-source node deployment engine written in TypeScript that enables the easy creation of node deployment applications, with the goal of supporting all major execution and consensus layer clients.
Developer experience & tooling
Python-Simulation Engine & Testing Suite
Development of Python contract testing tool with a full suite of functionalities to serve as a primary testing library or companion to Hardhat/Foundry with optimized backtesting and parallelized chain simulations.
Developer experience & tooling
SolidiKeY – Solidity Asset Flow Verification at Scale
Solidity verification tool based on the KeY project verification system for Java with an emphasis on usability, scalability, and functional correctness properties specifying the relation of the asset flow with contract data.
Developing a Python implementation of Ethereum, that will serve as an executable specification for the execution layer. The specification is a Python implementation of Ethereum that prioritizes readability and simplicity.
