Maintenance for the EthereumJS TypeScript stack to ensure reliability and compatibility with execution-layer changes. This includes implementing protocol updates, improving tests, and supporting downstream developers.
Enhances Ethereum light client privacy by integrating Tor. This project designs and implements a Tor-based mitigation scheme, improving user anonymity and network resilience.
Application layer
Ecosystem development
ERC-8004 Developers Engagement
Fosters ERC-8004 community growth by providing technical assistance and coordinating builder engagement. Supports decentralized AI engineers through direct feedback and Devconnect event curation.
Transitions flagship Ethereum education and developer tools, including SpeedRunEthereum and Scaffold-ETH 2, into an AI-ready maintenance mode. The project sustains core infrastructure and supports enterprise certification efforts.
Optimizes the developer funnel, leading enterprise certification efforts, and shaping ecosystem funding strategy for developer growth.
Community
Ecosystem development
Specialized Event Support
Supports the operations and systems rollout for Specialized Events in H1 2026, including planning coordination and invoicing workflows.
Community
Ecosystem development
Cornell Blockchain Conference 2025
An academic conference at Cornell Tech convening researchers, policymakers, and industry leaders to examine U.S.-based crypto innovation and its implications for financial systems and public infrastructure.
A private, high-signal gathering of Layer 2 teams in Singapore focused on roadmap alignment, L1–L2 coordination, and collaborative R&D, strengthening long-term protocol collaboration across APAC and global ecosystems.
Systematizes algebraic modeling to determine Gröbner basis attack complexity on Poseidon instances. Large-scale experiments will derive an updated round-number formula, enhancing security analysis.
Cryptography
Research
Local Mixing
Develops a practical, open-source indistinguishability obfuscation (iO) using reversible circuits. This Rust implementation aims to scale from small to large circuits, improving privacy for Ethereum applications.
GPU-Accelerated R1CS Witness Generation based on MLIR Compiler stack
Builds an MLIR-based compiler stack for an end-to-end R1CS pipeline to decouple ZK circuit authoring from hardware optimizations. This reduces fragmentation and demonstrates GPU-based witness generation for future zkVM integration.
The High Assurance Crypto Software Workshop (HACS) is a small workshop that brings together cryptographers, cryptographic software engineers, and formal verification experts to improve the security and correctness of real world cryptographic
Formalising Proximity Generators and Related Properties
Add new coding theory definitions and theorems to the ArkLib Lean library, focusing on distance preservation and proximity generators for Reed Solomon codes.
Builds a comprehensive knowledge commons to map open problems, solutions, and active contributors in governance research. This project combines data collection and community workshops to create a reusable framework for research coordination.
Advances the did:ethr Decentralized Identifier standard by modernizing its specification and improving EVM interoperability. This research and tooling update addresses usability gaps to achieve DIF Recommended status across the ecosystem.
Enables systematic study of blockchain and DeFi transaction patterns. This open-source platform provides curated datasets, benchmarks, and tools for reproducible empirical research, accelerating cumulative insights.
Ethereum Protocol
Ecosystem development
Internship Program 2026, Protocol Snarkification
Ensuring the mathematical correctness of Ethereum’s scaling infrastructure, this work applies formal verification to cryptographic protocols and zkVM circuits.
Ethereum Protocol
Ecosystem development
Ethereum Founders and VCs – Hong Kong Strategic Forum
A focused, strategic Forum and networking mixer in HK to bring together institutional capital, leading VCs, and Ethereum mainnet founders to define the future of the EVM landscape toward 2026.
Ethereum Protocol
Dashboard
[Pectra Round] Post-Pectra Network Dashboard
Insights into the Beacon network’s validator consolidation and p2p bandwidth usage are now available. This dashboard tracks improvements post-Pectra hardfork with real-time and historical data.
Develops Lighthouse client features for the Fusaka transition and BPO forks. This R&D effort will implement Glamsterdam, tree sync, and expand adversarial testing for improved mainnet resilience and modularity.
Develops tooling to generate bloated and easily maintainable states 10x Mainnet size. This work identifies and addresses performance bottlenecks, prioritizing critical, underrepresented areas in stateful testing.
Sustains L2BEAT’s critical work providing onchain transparency and security assessments for Ethereum Layer 2s. Supports 2026 priorities including an interoperability dashboard, tokens transparency, and a DA risk framework.
Develops Erigon’s zkEVM guest program, Zilkworm, in C++. This enhances Erigon’s capabilities as a high-performance, compact Ethereum client with cutting-edge zero-knowledge proof technology.
Develops a production-ready PKCS#11 plugin for the Besu client to ensure validator key generation and signing occur entirely within Hardware Security Modules, removing a major compliance blocker for institutional Ethereum adoption.
Nodes and Clients
Ecosystem development
Vero
Develops a multi-node validator client that mitigates consensus bugs by combining views from multiple execution and consensus client pairs. Operators can configure safety thresholds before attesting to chain state.
This project is focused on scoping pilots to Productize the Commons, exploring embedded and voluntary mechanisms, specifically around DeFi curators as public goods stewards, and public goods UI or frontends for protocols like ENS, Aave, and Uniswap.
Other
Ecosystem development
Ethereum Vancouver 2026
Fosters a vibrant Ethereum ecosystem in Vancouver, connecting startups, researchers, and the public through regular, high-signal events. This initiative cultivates local talent and collaboration.
Privacy
Developer tooling
Kohaku – Privacy Pool and TC Integrations
Integrates Privacy Pool v1 and TC into the Kohaku SDK, empowering wallet teams to adopt privacy features with minimal developer effort.
Analyzes the OpenAC access control system’s relationship to selective disclosure and credential presentation standards. This project produces technical mappings to inform ecosystem discussions without introducing new mechanisms.
Expands cryptanalysis of Poseidon2, exploring advanced round-skipping techniques and extending attacks to new parameter sets and modes. This research also investigates countermeasures like improved round constant selection.
Security
Research
Improved Resultant-based Techniques for the Cryptanalysis of Poseidon(2)(b)
Explores resultant degrees in Poseidon2 polynomial systems, developing new algorithms for iterated resultants. Benchmarks these against Gröbner basis techniques for CICO-k, k >= 2.
Security
Developer tooling
ERC-7730 v2 Cross-Platform Clear Signing Library
Enables mobile wallets to display human-readable transaction previews. This Rust library implements ERC-7730 v2 clear signing, with iOS and Android bindings, replacing raw hex calldata for a better user experience.
Integrates the Colibri stateless client into the Kohaku SDK and browser extension. This enables trustless, proof-based verification of on-chain state in user-facing environments without relying on centralized RPCs.
Formal Verification of the Brevis Pico RISC-V zkVM
Formally verifies the Brevis Pico RISC-V zkVM core in Lean against the RISC-V specification. It produces a reusable workflow to check zkVM constraints against verified instruction semantics, delivering a proof library and tooling.
Updates to the Ethereum Climate Impact Assessment will refine electricity consumption and greenhouse gas emissions estimates post-Merge. This research enhances the public Cambridge Blockchain Network Sustainability Index with current, accurate data.
Society and Regulatory
Research
European Decentralisation Institute 2026
Supports EDI’s 2026 roadmap to deliver four key policy projects, including research, roundtables, and policy briefs. This effort fosters strategic regulatory engagement and policy development for the Ethereum ecosystem.
Synergy Seoul is a 3-day meetup featuring a strategic matching program to connect local builders with key stakeholders. This initiative aims to foster deep, sustainable integration within the Korean Ethereum ecosystem.
UX/UI
Ecosystem development
Improve UX Work
Develops the Open Intents Framework and Interop SDK, advancing Ethereum interoperability standards like ERC-7930. This work improves cross-chain UX, supporting token standards, balance consolidation, and messaging for wider adoption.
Supports the Use Case Lab in identifying and unblocking high-potential Ethereum use cases beyond finance through research and pilot interventions.
Zero-knowledge Proofs
Research
Cryptanalysis of Poseidon within Fiat-Shamir
Investigates cryptographic vulnerabilities in Poseidon-based Fiat-Shamir proof systems and folding schemes. Explores potential weaknesses in FRI-based commitments and whether SumCheck reductions expose new attack vectors.
Zero-knowledge Proofs
Developer tooling
Accelerated Minimal Trace Construction
Optimizes ZisKVM trace construction by pipelining EVM precompile hints and block inputs with sequential emulation. This concurrent workflow significantly lowers end-to-end latency and increases throughput for real-time proving.
Leave feedback about this