{"id":17588,"date":"2026-02-23T21:01:02","date_gmt":"2026-02-23T21:01:02","guid":{"rendered":"https:\/\/cryptoted.net\/index.php\/2026\/02\/23\/allocation-update-q4-2024\/"},"modified":"2026-02-23T21:01:02","modified_gmt":"2026-02-23T21:01:02","slug":"allocation-update-q4-2024","status":"publish","type":"post","link":"https:\/\/cryptoted.net\/index.php\/2026\/02\/23\/allocation-update-q4-2024\/","title":{"rendered":"Allocation Update – Q4 2024"},"content":{"rendered":"


\n
<\/p>\n

\n\nCommunity & education<\/td>\nAleph de Verano<\/a><\/td>\nCrecimiento<\/a><\/td>\n2-week event in Buenos Aires, Argentina featuring a ZK and fully homomorphic encryption (FHE) bootcamp, hackathon, demo day, and talks on DeFi<\/a>, infrastructure, governance, and regulation.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nAleph ZK Week<\/a><\/td>\n\n3-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.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nAlgebraic Aspects in the Design and Cryptanalysis of Modern Symmetric Cryptography (ALPSY) 2025<\/a><\/td>\n\nResearch 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.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nbETHink Hackathon<\/a><\/td>\n\nHackathon organized in Shanghai, China with tracks focused on rebuilding social trust systems, open-source and public goods, and human verification.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nBucharest Ethereum Hub<\/td>\nETH Bucharest<\/a><\/td>\nSupporting activities run at the local Ethereum hub in Bucharest, Romania including hackathons, meetups, a Solidity<\/a> bootcamp, and a university module.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nBlockchain Foundations Textbook<\/td>\nDionysis Zindros<\/a><\/td>\nUpdating the Blockchain Foundations<\/a> textbook with chapters on PoS<\/a> and accountability, which will be used to teach a course at the University of Athens.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nCohort-Based Ethereum Education Program<\/a><\/td>\nBlockHeader Web3<\/a><\/td>\nCohort-based Solidity<\/a> training and hackathon in Kaduna, Nigeria.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nDeFi Security Summit<\/a><\/td>\n\nEvent held in Bangkok, Thailand that delved into the education and technical advances in securing decentralization applications on top of blockchain technology.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nDevcon Satellite Events<\/a><\/td>\n\nFunding round to support events that spotlight Devcon SEA programming or experiences.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nEOF V1 Educational Materials in Chinese<\/a><\/td>\nHung-Ying Tai<\/a><\/td>\nArticles and video tutorials in Mandarin Chinese to cover the details of proposed EOF v1 (EIP-7692)<\/a> and any related background knowledge.<\/td>\nTwitter<\/a>, Email<\/a><\/td>\n<\/tr>\n\nCommunity & education<\/td>\n\nETH Belgrade<\/a><\/td>\nETH Belgrade University<\/a> and community initiatives, including meetups in Serbia and other Balkan countries, lectures at the University of Belgrade, and courses on Solidity<\/a>, security, and ZK.<\/td>\nEmail<\/a><\/td>\n<\/tr>\n\nCommunity & education<\/td>\nEthereum Cypherpunk Congress<\/a><\/td>\nWeb3Privacy Now<\/a><\/td>\nCypherpunk 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.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nEthereum Day Series – Mysteries of the Blockchain<\/td>\nBlack Ice Hackerspace<\/a><\/td>\nSeries of events organized in Kazakhstan exploring topics such as privacy, security, and the EVM<\/a>.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nEthereum Hackathon Support & Archives<\/a><\/td>\nAlina Latinina<\/a><\/td>\nProviding community-building and operations support to Ethereum hackathon organizers, while documenting the process to create hackathon archives.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\n\nEthereum Melbourne<\/a><\/td>\nSeries of local Ethereum meetups run in Melbourne, Australia, focusing on topics such as EVM<\/a> security, account abstraction<\/a>, and MEV<\/a>.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nEthereum Security Research Bootcamp<\/td>\nGuild Audits<\/a><\/td>\nFree security developer training program in Nigeria conducted through lectures, events, and hackathons.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\n\nEthereum Slovenia<\/a><\/td>\nMonthly 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.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nETHIndia<\/a><\/td>\nDevfolio<\/a><\/td>\nHackathon hosted in Bengaluru, India focused on developing decentralized applications for the future in India.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\n\nETH Kipu<\/a><\/td>\nSeries of community and education initiatives across 2025 including learning hub, staking<\/a> initiatives, Kipu Impact<\/a>, and the annual ETH Latam<\/a> conference.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nFormal Verification of ZKP Workshop<\/a><\/td>\nZKProof<\/a><\/td>\nWorkshop bringing together formal verification experts to foster collaboration, share insights, and advance formal verification efforts in ZKP<\/a> systems.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nLatincrypt 2025<\/td>\n\nWeek-long cryptography-focused event that will feature the Latincrypt conference alongside educational events such as ASCrypto<\/a> and CatioCrypt in Medell\u00edn, Colombia.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nMempool Guru<\/a><\/td>\nFan Zhang<\/a><\/td>\nPublic service system that collects, persists, and analyzes the Ethereum mempool data for research.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nModular Carnival 2025<\/a><\/td>\nModular Crypto<\/a><\/td>\nEvent in Belo Horizonte, Brazil that will explore topics such as L2s<\/a>, staking<\/a>, and ZK, featuring a conference, hackathon, and debate competition.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nProgrammable Cryptography Research Workshop<\/td>\n0xPARC<\/a><\/td>\nProgrammable cryptography workshop hosted during the Research Workshop and Symposium in Stanford that identified key research priorities and discussed important problems in the field.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\n\nThe Red Guild<\/a><\/td>\nEnhancing Ethereum’s ecosystem resilience through security research, education, and public awareness initiatives.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nRoad to Devcon Grants Round<\/td>\n\nGrants round to support the growth of local Ethereum communities, initiatives, and projects in Southeast Asia.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\n\nSEED Org<\/a><\/td>\nImplementing a series of community-building programs in Argentina and Latin America, including SEEDLatam<\/a>, SEEDNodes<\/a>, and more.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nStudent Research at KTH Royal Institute of Technology<\/a><\/td>\n\nStipends for students conducting blockchain research at the KTH Royal Institute of Technology.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nWomen in Blockchain Conference<\/a><\/td>\nBlockchain & Web3 Community Network<\/a><\/td>\nEvent 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.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nYul Puzzles<\/a><\/td>\nRareSkills<\/a><\/td>\nSet 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.<\/td>\nTwitter<\/a><\/td>\n<\/tr>\n\nCommunity & education<\/td>\nZKProof 7<\/a><\/td>\nZKProof<\/a><\/td>\nEvent focused on ZK standardization efforts with an entire day dedicated to the zkEVM formal verification project, held in Sofia, Bulgaria.<\/td>\n<\/tr>\n\nConsensus layer<\/td>\nCombining Logic & Consensus via Semitopologies<\/td>\nMurdoch Gabbay<\/a><\/td>\nUsing semitopologies to design new declarative methods of specifying and reasoning about consensus protocols.<\/td>\n<\/tr>\n\nConsensus layer<\/td>\nHashcaster Exploration<\/a><\/td>\nThomas Coratger<\/a><\/td>\nCreating 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.<\/td>\nTwitter<\/a>, Email<\/a><\/td>\n<\/tr>\n\nConsensus layer<\/td>\nlibp2p<\/a><\/td>\nlibp2p Foundation<\/td>\nContinued development of libp2p and support for various libp2p improvements critical to the Ethereum roadmap.<\/td>\n<\/tr>\n\nConsensus layer<\/td>\nOptimize Merkle Proving in ssz-rs<\/td>\nH\u00e5vard Anda Winninge<\/a><\/td>\nOptimizing merkleization performance for ssz-rs<\/a> through studying other merkleization libraries, creating robust benchmarks to measure performance improvement, and switching to Prysm’s hashtree library to enhance hashing efficiency.<\/td>\n<\/tr>\n\nConsensus layer<\/td>\nTransaction Fee Mechanism for Inclusion Lists<\/td>\nNethermind<\/a><\/td>\nDeveloping 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.<\/td>\n<\/tr>\n\nConsensus layer<\/td>\nVero<\/a><\/td>\nSerenita<\/a><\/td>\nUpdating 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.<\/td>\nTwitter<\/a>, Telegram<\/a><\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nAuthenticated Garbling MPZ<\/td>\nNakul Khambhati<\/a><\/td>\nImplementing authenticated garbling in MPZ<\/a> to complement ongoing efforts to extend MPZ<\/a> for supporting malicious security.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nBlockchain Powered eSIM<\/a><\/td>\nDungeon<\/a>, Manul Singh Parihar<\/a>, & GuyPhy4<\/a><\/td>\nMobile-based hardware crypto wallet using eSIMs with remote provisioning of accessibility.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nCommit-and-prove Lookup Research<\/td>\nChaya Ganesh<\/a><\/td>\nResearch into commit-and-prove lookup to potentially augment and improve the modularity of SNARK and STARK designs.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nCommunity Link Embedded Software Engineer<\/td>\nGiammarco Casanova<\/a><\/td>\nFull 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<\/a>, you may visit this page<\/a> for more information.<\/em><\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nCommunity Link & Pollen Labs Smart Contract Engineer<\/td>\ngeeloko<\/a><\/td>\nDeveloped smart contracts based on real user feedback, community needs, and collaborated closely with other engineers in the Community Link and Pollen Labs<\/a> teams. Please note that these projects have been sunset by PSE<\/a>, you may visit this page<\/a> for more information.<\/em><\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nCursive Connections<\/a><\/td>\nCursive<\/a><\/td>\nDesign 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.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nCursive Design Contributions<\/td>\nTessa Maneewong<\/a><\/td>\nDesign work for Cursive<\/a>‘s fall activations, including Devcon “Cryptographic Connections” booth and production\/print designs.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nCursive Technical Contributions<\/td>\nSteven Elleman<\/a><\/td>\nTechnical contributions to Cursive Connections<\/a>, assisting in development of a production-grade app.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nECIES Implementation in Circom<\/a><\/td>\nCrema<\/a><\/td>\nBuilding a secure and efficient ECIES encryption system in Circom with ZKP<\/a> features and creating an example use case for the ECIES scheme.<\/td>\nTwitter<\/a><\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\ncLean<\/a><\/td>\nzkSecurity<\/a><\/td>\nDeveloping 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.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nMobile edDSA Key Management Library<\/td>\nYash Goyal<\/a><\/td>\nExploring the feasibility and implementation of a secure, reusable mobile library for managing edDSA keys.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nmopro<\/a><\/td>\nHao-Chen Tsai<\/a>, Fu-Chuan Chung<\/a>, Yaroslav Yashin<\/a>, & Oskar<\/a><\/td>\nToolkit designed for ZKPs<\/a> that leverages the growing power of mobile GPUs to deliver a fast, scalable, and secure proving experience directly on client-side applications.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nMultilateral Trade Credit Set-off in MPC via Graph Anonymization and Network Simplex<\/a><\/td>\nMasato Tsutsumi<\/a> (co-author)<\/td>\nContribution to the paper by designing an MPC algorithm that efficiently solves the minimum cost flow problem in a privacy-preserving way.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nOpenPassport<\/a><\/td>\n\nIdentity wallet that lets users generate privacy-preserving proofs from government-issued IDs such as passports.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nPollen Labs Core Contributor<\/td>\nNicole Yeh<\/a><\/td>\nNon-technical research and project management for Pollen Labs<\/a>. Please note that this project has been sunset by PSE<\/a>, you may visit this page<\/a> for more information.<\/em><\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nPSE Impact Framework Research<\/td>\nLauNaMu<\/a><\/td>\nCo-creating concrete impact definitions and metrics that will enable PSE<\/a> teams to measure their success and support them in improving their short- and long-term strategy to achieve real world impact.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nQuantum Computer Canary<\/a><\/td>\nKanguk Lee<\/a><\/td>\nInvestigating 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.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nReplicating circom-MP-SPDZ to Support MOTION<\/a><\/td>\n\nProducing documentation for MOTION and replicating circom-MP-SPDZ to circom-MOTION.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nReplicating circom-MP-SPDZ to Support tfhe-rs<\/a><\/td>\nVishal Kulkarni<\/a> & Changmin Cho<\/a><\/td>\nCreating comprehensive documentation for tfhe-rs and adapting circom-MP-SPDZ to circom-tfhe-rs.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nSemaphore Modular Smart Contract Validator Module<\/a><\/td>\nJimmy Chu<\/a><\/td>\nDeveloping 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<\/a> on testnet.<\/td>\nTwitter<\/a>, Telegram<\/a><\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nSemaphore Paymaster<\/td>\nJihoon Song<\/a> & Alfredo Bonilla<\/a><\/td>\nOpen-source tools and modular components, including a Semaphore paymaster and frontend elements, specifically designed for building account abstraction<\/a> applications.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nzkintro<\/a><\/td>\nOskar<\/a><\/td>\nArticles 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.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nZK IR<\/td>\nVeridise<\/a><\/td>\nDesigning 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.<\/td>\nEmail<\/a><\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nzkLean<\/a><\/td>\nGalois<\/a><\/td>\nDeveloping a Lean DSL for specifying ZK statements and a tool to automatically extract Jolt\u2019s statements into this DSL.<\/td>\nJames’ Email<\/a>, Decker’s Email<\/a><\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nZKLib<\/a><\/td>\nGregor Mitscha-Baude (zkSecurity)<\/a> & Devon Tuma<\/a><\/td>\nEstablishing a Lean library for formally verified cryptographic proof systems based on Interactive Oracle Proofs (IOPs).<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\n\nZK Research Engineering Study Group<\/td>\nTeam 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.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nZK & Attestation Research<\/td>\nEAS Foundation<\/a><\/td>\nResearching integrations between attestations and ZK to inform the potential development of open-source tools for generating proofs from attestations.<\/td>\nTwitter<\/a>, Telegram<\/a><\/td>\n<\/tr>\n\nDeveloper experience & tooling<\/td>\nAderyn<\/a><\/td>\nCyfrin<\/a><\/td>\nOpen-source, Rust-based Solidity<\/a> smart contract static analyzer designed to help protocol engineers and security researchers find vulnerabilities in Solidity code bases.<\/td>\n<\/tr>\n\nDeveloper experience & tooling<\/td>\nSail to Lean<\/a><\/td>\nUniversity of Cambridge<\/a>, Galois<\/a>, & Lindy Labs<\/a><\/td>\nEnabling 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.<\/td>\n<\/tr>\n\nDeveloper experience & tooling<\/td>\nSonatina Enhancements<\/td>\nLane Biocini<\/a><\/td>\nDeveloping formal semantics for Sonatina<\/a>, 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.<\/td>\nEmail<\/a><\/td>\n<\/tr>\n\nDeveloper experience & tooling<\/td>\ntevm<\/a><\/td>\nWill Cory<\/a><\/td>\nTypeScript (TS) library that aims to complement existing EVM-TS browser tooling by providing typesafe low-level EVM<\/a> tooling for executing bytecode in TS and enabling the bundling of Solidity<\/a> Application Binary Interfaces (ABIs) into TS.<\/td>\n<\/tr>\n\nDeveloper experience & tooling<\/td>\ntxtx<\/a><\/td>\nLudo Galabru<\/a> & Micaiah Reid<\/a><\/td>\nTooling to abstract and manage multi-EVM-chain smart contract deployment and operations, including integrations with Hardhat and Foundry.<\/td>\n<\/tr>\n\nDeveloper experience & tooling<\/td>\nVerification of revm using KEVM & Lean Backend for K<\/td>\nRuntime Verification<\/a><\/td>\nEnsuring the correctness of revm<\/a> when compiled to RISC-V against KEVM (the formal specification of the EVM written in K) and developing a Lean backend for K.<\/td>\n<\/tr>\n\nDeveloper experience & tooling<\/td>\nWeb3j<\/a><\/td>\nWeb3 Labs<\/a><\/td>\nLightweight, highly modular, reactive, typesafe Java and Android library for working with smart contracts and integrating with clients (nodes) on the Ethereum network.<\/td>\n<\/tr>\n\nExecution layer<\/td>\nBesu Stateless Implementation<\/td>\nConsenSys<\/a><\/td>\nActive contributions to statelessness research and development, including spec\/design work and Besu implementations.<\/td>\n<\/tr>\n\nExecution layer<\/td>\nCertified Compilation with Precompiles<\/td>\nBas Spitters (Aarhus University)<\/a><\/td>\nSupporting a 3-year project at Aarhus University<\/a>, during which a PhD student will work on certified compilation with precompiles applied to the EVM<\/a> and zkVMs.<\/td>\n<\/tr>\n\nExecution layer<\/td>\nEIP-7736 Prototype<\/a><\/td>\nWei Han Ng<\/a><\/td>\nPrototyping EIP-7736, an elegant and simple proposal to leverage verkle trees to implement state expiry.<\/td>\nDiscord\/Telegram: @ngweihan_eth<\/td>\n<\/tr>\n\nExecution layer<\/td>\nEVM in Coq<\/td>\nKarl Palmskog (KTH)<\/a> & Bas Spitters (Aarhus University)<\/a><\/td>\nDeveloping a canonical, maintainable, and validated EVM specification in Coq that can be the basis for a verified implementation of the EVM<\/a> specification for RISC-V via certified compilation.<\/td>\n<\/tr>\n\nExecution layer<\/td>\nkaralabe-ssz Fuzzer<\/td>\nDongHyeon Hwang<\/a><\/td>\nResearching and developing an effective fuzzer for testing the serialization and deserialization processes in Go-based karalabe-ssz<\/a>.<\/td>\n<\/tr>\n\nExecution layer<\/td>\nROP-14: Transaction Fee Market Design for Parallel Execution<\/a><\/td>\nLioba Heimbach<\/a> & Andrei Constantinescu<\/a><\/td>\nDesigning a transaction fee market for Ethereum that accommodates parallel execution by charging transactions based on resource utilization and demand.<\/td>\n<\/tr>\n\nExecution layer<\/td>\nZevem<\/a><\/td>\nJordan Ellis Coppard<\/a><\/td>\nExpanding Zevem, the EVM<\/a> implemented with Zig, to support all current instructions and stateless gas costs.<\/td>\n<\/tr>\n\nGeneral research<\/td>\nCrystal-Clear<\/a><\/td>\nCHAINS Research Group<\/a> at KTH<\/a><\/td>\nResearch project that aims to map interconnections between smart contracts and track changes to smart contracts to increase security.<\/td>\n<\/tr>\n\nGeneral research<\/td>\nOptimization of Honest Block Building<\/td>\nALPACAS Research Group<\/a> at HKUST<\/a><\/td>\nResearch into the optimization of honest block building (no toxic MEV<\/a>) 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.<\/td>\n<\/tr>\n\nGeneral research<\/td>\nRestaking Economic Model<\/td>\nCADLabs<\/a><\/td>\nDeveloping a public, open-source simulation model to evaluate cryptoeconomic security and the yield\/risk parameters within the restaking protocol ecosystem.<\/td>\nEmail<\/a><\/td>\n<\/tr>\n\nIndirect funding<\/td>\nDevcon SEA Quadratic Voting Round<\/a><\/td>\n\nQuadratic voting round to support key Ethereum dashboards that help the community understand relevant Ethereum data. Every Devcon SEA attendee had the opportunity to vote.<\/td>\n<\/tr>\n\nIndirect funding<\/td>\nEthereum TGU<\/a> Academia QV Round<\/td>\n\nPublic goods funding round using MACI<\/a> 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.<\/td>\n<\/tr>\n\nLayer 2<\/td>\nBlob-Sharing Protocol for Based Rollups<\/td>\nNethermind<\/a><\/td>\nBuilding a blob-sharing tool for based rollups, which will involve defining a standard for how to lay out L2<\/a> blocks of different rollups in a shared blob, a standard in the L2<\/a> inboxes to consume the shared blob, and running test cases to validate the design.<\/td>\n<\/tr>\n\nLayer 2<\/td>\n\ngrowthepie<\/a><\/td>\nExpanding 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<\/a>.<\/td>\n<\/tr>\n\nOther<\/td>\nDeFRIDA<\/td>\nNethermind<\/a><\/td>\nNovel data availability sampling protocol for L2<\/a> applications and light clients.<\/td>\n<\/tr>\n\nOther<\/td>\n\nEuropean Crypto Initiative (EUCI)<\/a><\/td>\nSupport for EUCI’s blockchain advocacy work in the EU.<\/td>\n<\/tr>\n\nOther<\/td>\nFormal Verification Model of revm in Coq<\/a><\/td>\nFormal Land<\/a><\/td>\nDeveloping a Coq version of revm<\/a> 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.<\/td>\nTwitter<\/a>, LinkedIn<\/a>, Blog<\/a><\/td>\n<\/tr>\n\nOther<\/td>\n\nFoundation for American Innovation<\/a><\/td>\nSupport for the Foundation for American Innovation’s continued work on blockchain, decentralization, and privacy policy research and advocacy.<\/td>\n<\/tr>\n<\/div>\n