2-week event in Buenos Aires, Argentina featuring a ZK and fully homomorphic encryption (FHE) bootcamp, hackathon, demo day, and talks on DeFi, infrastructure, governance, and regulation.
3-day conference hosted during the Aleph pop-up city in Buenos Aires, Argentina, that provided a deep dive into programmable cryptography, multi-party computation (MPC), FHE, and decentralized identity systems.
Research workshop that unites experts in arithmetic oriented symmetric-key primitives and their cryptanalysis to foster collaborations on significant research problems, including special sessions on Poseidon.
Updating the Blockchain Foundations textbook with chapters on PoS and accountability, which will be used to teach a course at the University of Athens.
Event held in Bangkok, Thailand that delved into the education and technical advances in securing decentralization applications on top of blockchain technology.
ETH Belgrade University and community initiatives, including meetups in Serbia and other Balkan countries, lectures at the University of Belgrade, and courses on Solidity, security, and ZK.
Cypherpunk conference hosted in Bangkok, Thailand that delved into themes such as practical privacy and self-sovereignty tooling, the moral role of cryptography, and the political culture of Ethereum.
Monthly meetups delving into themes such as infrastructure, security, and developer tooling, alongside quarterly events to foster collaboration among web3 businesses and encourage web2 companies to enter the web3 ecosystem.
Series of community and education initiatives across 2025 including learning hub, staking initiatives, Kipu Impact, and the annual ETH Latam conference.
Workshop bringing together formal verification experts to foster collaboration, share insights, and advance formal verification efforts in ZKP systems.
Community & education
Latincrypt 2025
Week-long cryptography-focused event that will feature the Latincrypt conference alongside educational events such as ASCrypto and CatioCrypt in Medellín, Colombia.
Programmable cryptography workshop hosted during the Research Workshop and Symposium in Stanford that identified key research priorities and discussed important problems in the field.
Event in Lusaka, Zambia that featured talks by women in tech communities, highlighting the transformative power of blockchain and Ethereum in Africa and the vital role women play in this journey.
Creating developer-friendly documentation that simplifies Hashcaster’s mathematical foundations and building an open-source implementation to facilitate community adoption and the exploration of potential CPU optimizations.
Optimizing merkleization performance for ssz-rs through studying other merkleization libraries, creating robust benchmarks to measure performance improvement, and switching to Prysm’s hashtree library to enhance hashing efficiency.
Developing a transaction fee mechanism for inclusion lists that would enable researchers to better understand the flow of value through the Ethereum network, potentially impacting the user experience and effectiveness of FOCIL.
Updating Vero to prepare for the Pectra network upgrade and address popular community requests, while contributing to widely-used community tools for testing, managing, and monitoring Vero before and during the Pectra upgrade.
Full stack engineer for Community Link, focused on enhancing wireless connectivity while providing expertise in cryptography to bridge the gap between connectivity and smart contracts. Please note that this project has been sunset by PSE, you may visit this page for more information.
Cryptography & zero knowledge proofs
Community Link & Pollen Labs Smart Contract Engineer
Developed smart contracts based on real user feedback, community needs, and collaborated closely with other engineers in the Community Link and Pollen Labs teams. Please note that these projects have been sunset by PSE, you may visit this page for more information.
Design and development of a privacy-preserving application, piloted at Edge City Lanna and Devcon, which uses cryptographic computation on private data to surface meaningful connections between users without revealing any information publicly.
Developing a framework in Lean to write circuits and verify that they meet a given specification, with the goal of demonstrating an AIR arithmetization and precompiles useful to RISC-V zkVMs.
Toolkit designed for ZKPs that leverages the growing power of mobile GPUs to deliver a fast, scalable, and secure proving experience directly on client-side applications.
Non-technical research and project management for Pollen Labs. Please note that this project has been sunset by PSE, you may visit this page for more information.
Co-creating concrete impact definitions and metrics that will enable PSE teams to measure their success and support them in improving their short- and long-term strategy to achieve real world impact.
Investigating the potential threats that quantum computers pose to the Ethereum cryptosystem, providing a good introduction to the math and notation around quantum algorithms, and mechanical descriptions of how they work.
Developing a Semaphore ERC-7579 validator module and frontend demo that enables users to install the module to their smart accounts, add members (identity commitments) to the Semaphore group, and send ZKPs on testnet.
Open-source tools and modular components, including a Semaphore paymaster and frontend elements, specifically designed for building account abstraction applications.
Articles centered on ZK and programmable cryptography designed to bridge the gap between the ZK community and a broader audience with no or limited exposure to crypto and ZK.
Designing an Intermediate Representation (IR) for circuit languages to address the fragmentation that exists in the circuit ecosystem, with a focus on developing the initial ZK IR library that is integrated with a proof-of-concept frontend and verification backend.
Establishing a Lean library for formally verified cryptographic proof systems based on Interactive Oracle Proofs (IOPs).
Cryptography & zero knowledge proofs
ZK Research Engineering Study Group
Team of developers in Nigeria focused on researching, implementing, and teaching the core and fundamentals of ZK protocols to onboard new and well-seasoned ZK research engineers.
Open-source, Rust-based Solidity smart contract static analyzer designed to help protocol engineers and security researchers find vulnerabilities in Solidity code bases.
Enabling the use of RISC-V semantics defined in Sail for verifying zkVMs, making the Lean backend accessible to the wider formal methods community and providing extracted semantics for teams verifying RISC-V zkVMs.
Developing formal semantics for Sonatina, a Rust-based compiler backend, with the goal of achieving formal verification at the level of Sonatina’s IR to enhance security, efficiency, and robustness in smart contract development on the Ethereum platform.
TypeScript (TS) library that aims to complement existing EVM-TS browser tooling by providing typesafe low-level EVM tooling for executing bytecode in TS and enabling the bundling of Solidity Application Binary Interfaces (ABIs) into TS.
Ensuring the correctness of revm when compiled to RISC-V against KEVM (the formal specification of the EVM written in K) and developing a Lean backend for K.
Lightweight, highly modular, reactive, typesafe Java and Android library for working with smart contracts and integrating with clients (nodes) on the Ethereum network.
Supporting a 3-year project at Aarhus University, during which a PhD student will work on certified compilation with precompiles applied to the EVM and zkVMs.
Developing a canonical, maintainable, and validated EVM specification in Coq that can be the basis for a verified implementation of the EVM specification for RISC-V via certified compilation.
Designing a transaction fee market for Ethereum that accommodates parallel execution by charging transactions based on resource utilization and demand.
Research into the optimization of honest block building (no toxic MEV) to maximize total gas fees, using gas dependence relations among transactions, sparsity of gas dependence graphs, and the design of a parameterized algorithm for optimization.
Developing a public, open-source simulation model to evaluate cryptoeconomic security and the yield/risk parameters within the restaking protocol ecosystem.
Quadratic voting round to support key Ethereum dashboards that help the community understand relevant Ethereum data. Every Devcon SEA attendee had the opportunity to vote.
Public goods funding round using MACI Platform aimed at onboarding and tapping into university communities in Tegucigalpa, Honduras, with a focus on projects in research, education, social good, and academia that foster blockchain adoption.
Building a blob-sharing tool for based rollups, which will involve defining a standard for how to lay out L2 blocks of different rollups in a shared blob, a standard in the L2 inboxes to consume the shared blob, and running test cases to validate the design.
Expanding metrics to include the Ethereum chain and incorporating contracts deployed to Ethereum into their contract labeling solution, enabling users to compare Ethereum L1 chain statistics with L2s.
Developing a Coq version of revm for formal verification, with tests to compare the Coq and Rust versions covering each instruction and proof that the formalization of revm is equivalent to the Rust source code.
