Community & educationAleph de VeranoCrecimiento2-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.Community & educationAleph ZK Week3-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.Community & educationAlgebraic Aspects in the Design and Cryptanalysis of Modern Symmetric Cryptography (ALPSY) 2025Research 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.Community & educationbETHink HackathonHackathon organized in Shanghai, China with tracks focused on rebuilding social trust systems, open-source and public goods, and human verification.Community & educationBucharest Ethereum HubETH BucharestSupporting activities run at the local Ethereum hub in Bucharest, Romania including hackathons, meetups, a Solidity bootcamp, and a university module.Community & educationBlockchain Foundations TextbookDionysis ZindrosUpdating the Blockchain Foundations textbook with chapters on PoS and accountability, which will be used to teach a course at the University of Athens.Community & educationCohort-Based Ethereum Education ProgramBlockHeader Web3Cohort-based Solidity training and hackathon in Kaduna, Nigeria.Community & educationDeFi Security SummitEvent held in Bangkok, Thailand that delved into the education and technical advances in securing decentralization applications on top of blockchain technology.Community & educationDevcon Satellite EventsFunding round to support events that spotlight Devcon SEA programming or experiences.Community & educationEOF V1 Educational Materials in ChineseHung-Ying TaiArticles and video tutorials in Mandarin Chinese to cover the details of proposed EOF v1 (EIP-7692) and any related background knowledge.Twitter, EmailCommunity & educationETH BelgradeETH 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.EmailCommunity & educationEthereum Cypherpunk CongressWeb3Privacy NowCypherpunk 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.Community & educationEthereum Day Series - Mysteries of the BlockchainBlack Ice HackerspaceSeries of events organized in Kazakhstan exploring topics such as privacy, security, and the EVM.Community & educationEthereum Hackathon Support & ArchivesAlina LatininaProviding community-building and operations support to Ethereum hackathon organizers, while documenting the process to create hackathon archives.Community & educationEthereum MelbourneSeries of local Ethereum meetups run in Melbourne, Australia, focusing on topics such as EVM security, account abstraction, and MEV.Community & educationEthereum Security Research BootcampGuild AuditsFree security developer training program in Nigeria conducted through lectures, events, and hackathons.Community & educationEthereum SloveniaMonthly 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.Community & educationETHIndiaDevfolioHackathon hosted in Bengaluru, India focused on developing decentralized applications for the future in India.Community & educationETH KipuSeries of community and education initiatives across 2025 including learning hub, staking initiatives, Kipu Impact, and the annual ETH Latam conference.Community & educationFormal Verification of ZKP WorkshopZKProofWorkshop bringing together formal verification experts to foster collaboration, share insights, and advance formal verification efforts in ZKP systems.Community & educationLatincrypt 2025Week-long cryptography-focused event that will feature the Latincrypt conference alongside educational events such as ASCrypto and CatioCrypt in Medellín, Colombia.Community & educationMempool GuruFan ZhangPublic service system that collects, persists, and analyzes the Ethereum mempool data for research.Community & educationModular Carnival 2025Modular CryptoEvent in Belo Horizonte, Brazil that will explore topics such as L2s, staking, and ZK, featuring a conference, hackathon, and debate competition.Community & educationProgrammable Cryptography Research Workshop0xPARCProgrammable cryptography workshop hosted during the Research Workshop and Symposium in Stanford that identified key research priorities and discussed important problems in the field.Community & educationThe Red GuildEnhancing Ethereum's ecosystem resilience through security research, education, and public awareness initiatives.Community & educationRoad to Devcon Grants RoundGrants round to support the growth of local Ethereum communities, initiatives, and projects in Southeast Asia.Community & educationSEED OrgImplementing a series of community-building programs in Argentina and Latin America, including SEEDLatam, SEEDNodes, and more.Community & educationStudent Research at KTH Royal Institute of TechnologyStipends for students conducting blockchain research at the KTH Royal Institute of Technology.Community & educationWomen in Blockchain ConferenceBlockchain & Web3 Community NetworkEvent 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.Community & educationYul PuzzlesRareSkillsSet of 80 puzzles for players to become comfortable with writing Yul assembly where players fill out a code block and see if the unit tests pass.TwitterCommunity & educationZKProof 7ZKProofEvent focused on ZK standardization efforts with an entire day dedicated to the zkEVM formal verification project, held in Sofia, Bulgaria.Consensus layerCombining Logic & Consensus via SemitopologiesMurdoch GabbayUsing semitopologies to design new declarative methods of specifying and reasoning about consensus protocols.Consensus layerHashcaster ExplorationThomas CoratgerCreating 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.Twitter, EmailConsensus layerlibp2plibp2p FoundationContinued development of libp2p and support for various libp2p improvements critical to the Ethereum roadmap.Consensus layerOptimize Merkle Proving in ssz-rsHåvard Anda WinningeOptimizing 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.Consensus layerTransaction Fee Mechanism for Inclusion ListsNethermindDeveloping 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.Consensus layerVeroSerenitaUpdating 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.Twitter, TelegramCryptography & zero knowledge proofsAuthenticated Garbling MPZNakul KhambhatiImplementing authenticated garbling in MPZ to complement ongoing efforts to extend MPZ for supporting malicious security.Cryptography & zero knowledge proofsBlockchain Powered eSIMDungeon, Manul Singh Parihar, & GuyPhy4Mobile-based hardware crypto wallet using eSIMs with remote provisioning of accessibility.Cryptography & zero knowledge proofsCommit-and-prove Lookup ResearchChaya GaneshResearch into commit-and-prove lookup to potentially augment and improve the modularity of SNARK and STARK designs.Cryptography & zero knowledge proofsCommunity Link Embedded Software EngineerGiammarco CasanovaFull 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 proofsCommunity Link & Pollen Labs Smart Contract EngineergeelokoDeveloped 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.Cryptography & zero knowledge proofsCursive ConnectionsCursiveDesign 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.Cryptography & zero knowledge proofsCursive Design ContributionsTessa ManeewongDesign work for Cursive's fall activations, including Devcon "Cryptographic Connections" booth and production/print designs.Cryptography & zero knowledge proofsCursive Technical ContributionsSteven EllemanTechnical contributions to Cursive Connections, assisting in development of a production-grade app.Cryptography & zero knowledge proofsECIES Implementation in CircomCremaBuilding a secure and efficient ECIES encryption system in Circom with ZKP features and creating an example use case for the ECIES scheme.TwitterCryptography & zero knowledge proofscLeanzkSecurityDeveloping 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.Cryptography & zero knowledge proofsMobile edDSA Key Management LibraryYash GoyalExploring the feasibility and implementation of a secure, reusable mobile library for managing edDSA keys.Cryptography & zero knowledge proofsmoproHao-Chen Tsai, Fu-Chuan Chung, Yaroslav Yashin, & OskarToolkit 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.Cryptography & zero knowledge proofsMultilateral Trade Credit Set-off in MPC via Graph Anonymization and Network SimplexMasato Tsutsumi (co-author)Contribution to the paper by designing an MPC algorithm that efficiently solves the minimum cost flow problem in a privacy-preserving way.Cryptography & zero knowledge proofsOpenPassportIdentity wallet that lets users generate privacy-preserving proofs from government-issued IDs such as passports.Cryptography & zero knowledge proofsPollen Labs Core ContributorNicole YehNon-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.Cryptography & zero knowledge proofsPSE Impact Framework ResearchLauNaMuCo-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.Cryptography & zero knowledge proofsQuantum Computer CanaryKanguk LeeInvestigating 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.Cryptography & zero knowledge proofsReplicating circom-MP-SPDZ to Support MOTIONProducing documentation for MOTION and replicating circom-MP-SPDZ to circom-MOTION.Cryptography & zero knowledge proofsReplicating circom-MP-SPDZ to Support tfhe-rsVishal Kulkarni & Changmin ChoCreating comprehensive documentation for tfhe-rs and adapting circom-MP-SPDZ to circom-tfhe-rs.Cryptography & zero knowledge proofsSemaphore Modular Smart Contract Validator ModuleJimmy ChuDeveloping 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.Twitter, TelegramCryptography & zero knowledge proofsSemaphore PaymasterJihoon Song & Alfredo BonillaOpen-source tools and modular components, including a Semaphore paymaster and frontend elements, specifically designed for building account abstraction applications.Cryptography & zero knowledge proofszkintroOskarArticles 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.Cryptography & zero knowledge proofsZK IRVeridiseDesigning 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.EmailCryptography & zero knowledge proofszkLeanGaloisDeveloping a Lean DSL for specifying ZK statements and a tool to automatically extract Jolt’s statements into this DSL.James' Email, Decker's EmailCryptography & zero knowledge proofsZKLibGregor Mitscha-Baude (zkSecurity) & Devon TumaEstablishing a Lean library for formally verified cryptographic proof systems based on Interactive Oracle Proofs (IOPs).Cryptography & zero knowledge proofsZK Research Engineering Study GroupTeam 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.Cryptography & zero knowledge proofsZK & Attestation ResearchEAS FoundationResearching integrations between attestations and ZK to inform the potential development of open-source tools for generating proofs from attestations.Twitter, TelegramDeveloper experience & toolingAderynCyfrinOpen-source, Rust-based Solidity smart contract static analyzer designed to help protocol engineers and security researchers find vulnerabilities in Solidity code bases.Developer experience & toolingSail to LeanUniversity of Cambridge, Galois, & Lindy LabsEnabling 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.Developer experience & toolingSonatina EnhancementsLane BiociniDeveloping 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.EmailDeveloper experience & toolingtevmWill CoryTypeScript (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.Developer experience & toolingtxtxLudo Galabru & Micaiah ReidTooling to abstract and manage multi-EVM-chain smart contract deployment and operations, including integrations with Hardhat and Foundry.Developer experience & toolingVerification of revm using KEVM & Lean Backend for KRuntime VerificationEnsuring 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.Developer experience & toolingWeb3jWeb3 LabsLightweight, highly modular, reactive, typesafe Java and Android library for working with smart contracts and integrating with clients (nodes) on the Ethereum network.Execution layerBesu Stateless ImplementationConsenSysActive contributions to statelessness research and development, including spec/design work and Besu implementations.Execution layerCertified Compilation with PrecompilesBas Spitters (Aarhus University)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.Execution layerEIP-7736 PrototypeWei Han NgPrototyping EIP-7736, an elegant and simple proposal to leverage verkle trees to implement state expiry.Discord/Telegram: @ngweihan_ethExecution layerEVM in CoqKarl Palmskog (KTH) & Bas Spitters (Aarhus University)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.Execution layerkaralabe-ssz FuzzerDongHyeon HwangResearching and developing an effective fuzzer for testing the serialization and deserialization processes in Go-based karalabe-ssz.Execution layerROP-14: Transaction Fee Market Design for Parallel ExecutionLioba Heimbach & Andrei ConstantinescuDesigning a transaction fee market for Ethereum that accommodates parallel execution by charging transactions based on resource utilization and demand.Execution layerZevemJordan Ellis CoppardExpanding Zevem, the EVM implemented with Zig, to support all current instructions and stateless gas costs.General researchCrystal-ClearCHAINS Research Group at KTHResearch project that aims to map interconnections between smart contracts and track changes to smart contracts to increase security.General researchOptimization of Honest Block BuildingALPACAS Research Group at HKUSTResearch 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.General researchRestaking Economic ModelCADLabsDeveloping a public, open-source simulation model to evaluate cryptoeconomic security and the yield/risk parameters within the restaking protocol ecosystem.EmailIndirect fundingDevcon SEA Quadratic Voting RoundQuadratic voting round to support key Ethereum dashboards that help the community understand relevant Ethereum data. Every Devcon SEA attendee had the opportunity to vote.Indirect fundingEthereum TGU Academia QV RoundPublic 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.Layer 2Blob-Sharing Protocol for Based RollupsNethermindBuilding 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.Layer 2growthepieExpanding 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.OtherDeFRIDANethermindNovel data availability sampling protocol for L2 applications and light clients.OtherEuropean Crypto Initiative (EUCI)Support for EUCI's blockchain advocacy work in the EU.OtherFormal Verification Model of revm in CoqFormal LandDeveloping 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.Twitter, LinkedIn, BlogOtherFoundation for American InnovationSupport for the Foundation for American Innovation's continued work on blockchain, decentralization, and privacy policy research and advocacy.