{"id":8212,"date":"2025-02-06T10:57:07","date_gmt":"2025-02-06T09:57:07","guid":{"rendered":"https:\/\/wsj-crypto.com\/?p=8212"},"modified":"2025-02-06T10:57:07","modified_gmt":"2025-02-06T09:57:07","slug":"q4-2024-allocation-insights-navigating-the-landscape-ahead","status":"publish","type":"post","link":"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/06\/q4-2024-allocation-insights-navigating-the-landscape-ahead\/","title":{"rendered":"Q4 2024 Allocation Insights: Navigating the Landscape Ahead"},"content":{"rendered":"\n
\n\nCommunity & education<\/td>\nAleph de Verano<\/a><\/td>\nCrecimiento<\/a><\/td>\nA 2-week gathering in Buenos Aires, Argentina comprising a ZK and fully homomorphic encryption (FHE) bootcamp, a hackathon, demo day, and discussions on DeFi<\/a>, infrastructure, governance, and regulations.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nAleph ZK Week<\/a><\/td>\n\nA 3-day symposium conducted during the Aleph pop-up city in Buenos Aires, Argentina, that went in-depth 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\nAn investigative workshop that brings together specialists in arithmetic-focused symmetric-key primitives and their cryptanalysis to stimulate partnerships on critical research challenges, which includes focused sessions on Poseidon.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nbETHink Hackathon<\/a><\/td>\n\nA hackathon held in Shanghai, China concentrating on reconstructing social trust systems, open-source and public goods, as well as human verification.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nBucharest Ethereum Hub<\/td>\nETH Bucharest<\/a><\/td>\nFacilitating activities conducted at the local Ethereum hub in Bucharest, Romania which includes hackathons, meetups, a Solidity<\/a> bootcamp, and a module for universities.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nBlockchain Foundations Textbook<\/td>\nDionysis Zindros<\/a><\/td>\nRevising the Blockchain Foundations<\/a> textbook with sections on PoS<\/a> and accountability, intended for 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> instruction and hackathon in Kaduna, Nigeria.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nDeFi Security Summit<\/a><\/td>\n\nAn event hosted in Bangkok, Thailand, focused on the education and technological advancements in securing decentralized applications built on blockchain technology.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nDevcon Satellite Events<\/a><\/td>\n\nFinancing round aimed at supporting events that highlight 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 elaborate on the specifics of the proposed EOF v1 (EIP-7692)<\/a> and related foundational knowledge.<\/td>\nTwitter<\/a>, Email<\/a><\/td>\n<\/tr>\n\nCommunity & education<\/td>\n\nETH Belgrade<\/a><\/td>\nETH Belgrade University<\/a> and community projects, involving gatherings in Serbia and additional Balkan nations, talks at the University of Belgrade, and classes on Solidity<\/a>, security, and ZK.<\/td>\nEmail<\/a><\/td>\n<\/tr>\n\nCommunity & learning<\/td>\nEthereum Cypherpunk Congress<\/a><\/td>\nWeb3Privacy Now<\/a><\/td>\nCypherpunk symposium held in Bangkok, Thailand, that explored topics including practical privacy, self-sovereignty tools, the ethical role of cryptography, and the political landscape of Ethereum.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nEthereum Day Series – Mysteries of the Blockchain<\/td>\nBlack Ice Hackerspace<\/a><\/td>\nA series of gatherings organized in Kazakhstan discussing subjects like privacy, security, and the EVM<\/a>.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nEthereum Hackathon Support & Archives<\/a><\/td>\nAlina Latinina<\/a><\/td>\nOffering community development and operational assistance to Ethereum hackathon planners while recording the process to build hackathon archives.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\n\nEthereum Melbourne<\/a><\/td>\nA series of local Ethereum gatherings taking place in Melbourne, Australia. These meetings emphasize 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>\nComplimentary security developer training initiative in Nigeria conducted via lectures, events, and hackathons.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\n\nEthereum Slovenia<\/a><\/td>\nMonthly gatherings focusing on topics such as infrastructure, security, and developer tools, along with quarterly events designed to enhance collaboration among web3 companies and motivate web2 firms to join the web3 ecosystem.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nETHIndia<\/a><\/td>\nDevfolio<\/a><\/td>\nHackathon held in Bengaluru, India aimed at creating decentralized applications for the future of India.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\n\nETH Kipu<\/a><\/td>\nA collection of community and education programs planned for 2025, encompassing a learning hub, staking<\/a> initiatives, Kipu Impact<\/a>, and the yearly ETH Latam<\/a> conference.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nFormal Verification of ZKP Workshop<\/a><\/td>\nZKProof<\/a><\/td>\nWorkshop uniting formal verification specialists to promote teamwork, exchange knowledge, and push forward formal verification endeavors in ZKP<\/a> systems.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nLatincrypt 2025<\/td>\n\nA week-long cryptography-centered event that will include the Latincrypt conference along with educational activities like ASCrypto<\/a> and CatioCrypt in Medell\u00edn, Colombia.<\/td>\n<\/tr>\n

“`html<\/p>\n\nCommunity & education<\/td>\nMempool Sage<\/a><\/td>\nFan Zhang<\/a><\/td>\nPublic resource framework that gathers, retains, and examines the Ethereum mempool information for academic purposes.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nModular Festival 2025<\/a><\/td>\nModular Crypto<\/a><\/td>\nEvent taking place in Belo Horizonte, Brazil that will investigate subjects like L2s<\/a>, staking<\/a>, and ZK, featuring a conference, hackathon, and debate championship.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nProgrammable Cryptography Research Seminar<\/td>\n0xPARC<\/a><\/td>\nProgrammable cryptography seminar organized during the Research Workshop and Symposium in Stanford that pinpointed essential research priorities and deliberated on crucial issues in the industry.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\n\nThe Red Guild<\/a><\/td>\nFortifying Ethereum’s ecosystem stability through security research, educational initiatives, and public consciousness campaigns.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nPath to Devcon Grants Round<\/td>\n\nGrants round aimed at facilitating the expansion of local Ethereum communities, initiatives, and projects in Southeast Asia.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\n\nSEED Organization<\/a><\/td>\nExecuting a variety of community-development 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\nFinancial support for students engaged in 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 held in Lusaka, Zambia that showcased discussions by women in tech sectors, emphasizing the transformative potential of blockchain and Ethereum in Africa and the crucial contributions of women to this endeavor.<\/td>\n<\/tr>\n\nCommunity & education<\/td>\nYul Puzzles<\/a><\/td>\nRareSkills<\/a><\/td>\nCollection of 80 challenges designed for individuals to become adept at writing Yul assembly, where users complete a code segment and check if the unit tests succeed.<\/td>\nTwitter<\/a><\/td>\n<\/tr>\n\nCommunity & education<\/td>\nZKProof 7<\/a><\/td>\nZKProof<\/a><\/td>\nEvent centered on ZK standardization efforts featuring an entire day committed to the zkEVM formal verification initiative, conducted in Sofia, Bulgaria.<\/td>\n<\/tr>\n\nConsensus layer<\/td>\nIntegrating Logic & Consensus through Semitopologies<\/td>\nMurdoch Gabbay<\/a><\/td>\nEmploying semitopologies to devise novel declarative techniques for specifying and reasoning about consensus protocols.<\/td>\n<\/tr>\n\nConsensus layer<\/td>\nHashcaster Exploration<\/a><\/td>\nThomas Coratger
\n“““html
\n<\/a><\/td>\nDeveloping user-centric documentation that clarifies Hashcaster’s computational principles and constructing an open-source version to encourage community engagement and the investigation of possible CPU enhancements.<\/td>\nTwitter<\/a>, Email<\/a><\/td>\n<\/tr>\n\nConsensus layer<\/td>\nlibp2p<\/a><\/td>\nlibp2p Foundation<\/td>\nOngoing enhancement of libp2p and backing for various libp2p advancements essential to the Ethereum roadmap.<\/td>\n<\/tr>\n\nConsensus layer<\/td>\nEnhancing Merkle Proving in ssz-rs<\/td>\nH\u00e5vard Anda Winninge<\/a><\/td>\nImproving the performance of merkleization for ssz-rs<\/a> by analyzing alternative merkleization libraries, establishing solid benchmarks to evaluate performance enhancements, and transitioning to Prysm’s hashtree library to boost hashing effectiveness.<\/td>\n<\/tr>\n\nConsensus layer<\/td>\nTransaction Fee System for Inclusion Lists<\/td>\nNethermind<\/a><\/td>\nCreating a transaction fee system for inclusion lists that will aid researchers in grasping the value flow throughout the Ethereum network, potentially affecting user experience and the efficiency of FOCIL.<\/td>\n<\/tr>\n\nConsensus layer<\/td>\nVero<\/a><\/td>\nSerenita<\/a><\/td>\nUpgrading Vero to get ready for the Pectra network enhancement and to cater to popular community demands, while contributing to commonly used community tools for testing, managing, and overseeing Vero prior to and during the Pectra update.<\/td>\nTwitter<\/a>, Telegram<\/a><\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nAuthenticated Garbling MPZ<\/td>\nNakul Khambhati<\/a><\/td>\nIntegrating authenticated garbling in MPZ<\/a> to augment ongoing initiatives aimed at extending MPZ<\/a> for fortified 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-oriented hardware crypto wallet utilizing eSIMs featuring remote provisioning for accessibility.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nCommit-and-prove Lookup Research<\/td>\nChaya Ganesh<\/a><\/td>\nInvestigation into commit-and-prove lookup with the aim of enhancing and refining the modularity of SNARK and STARK architectures.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nCommunity Link Embedded Software Engineer<\/td>\nGiammarco Casanova<\/a><\/td>\nComprehensive stack engineer for Community Link, concentrating on boosting wireless connectivity while providing knowledge in cryptography to connect the divide between connectivity and smart contracts. Please be aware that this project has been discontinued by PSE<\/a>, you can check this page<\/a> for additional details.<\/em><\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nCommunity Link & Pollen Labs Smart Contract Engineer<\/td>\ngeeloko<\/a><\/td>\nCrafted smart contracts grounded in real user insights, community demands, and collaborated intimately with fellow engineers from the Community Link and Pollen Labs<\/a> groups. Please note that these initiatives have been
\n“`sunset by PSE<\/a>, you may explore this page<\/a> for additional details.<\/em><\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nCursive Connections<\/a><\/td>\nCursive<\/a><\/td>\nCreation and deployment of a privacy-enhancing application, trialed at Edge City Lanna and Devcon, which utilizes cryptographic operations on confidential data to reveal significant connections among users without disclosing any information publicly.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nCursive Design Contributions<\/td>\nTessa Maneewong<\/a><\/td>\nDesign contributions for Cursive<\/a>‘s autumn activities, including the Devcon “Cryptographic Connections” exhibit and production\/print materials.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nCursive Technical Contributions<\/td>\nSteven Elleman<\/a><\/td>\nTechnical contributions to Cursive Connections<\/a>, aiding in the establishment of a production-ready application.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nECIES Implementation in Circom<\/a><\/td>\nCrema<\/a><\/td>\nCreating a secure and effective ECIES encryption framework in Circom with ZKP<\/a> capabilities and formulating an example application for the ECIES protocol.<\/td>\nTwitter<\/a><\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\ncLean<\/a><\/td>\nzkSecurity<\/a><\/td>\nBuilding a system in Lean to compose circuits and confirm that they satisfy a specific criterion, aiming to illustrate an AIR arithmetization and precompiles beneficial to RISC-V zkVMs.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nMobile edDSA Key Management Library<\/td>\nYash Goyal<\/a><\/td>\nInvestigating the practicality and establishment of a secure, reusable mobile library for the management of 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 developed for ZKPs<\/a> that harnesses the expanding capabilities of mobile GPUs to offer a rapid, scalable, and secure proving process directly within client 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 formulating an MPC algorithm that effectively handles the minimum cost flow issue in a privacy-preserving manner.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nOpenPassport<\/a><\/td>\n\nIdentity wallet that enables users to generate privacy-preserving proofs from government-issued identification such as passports.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nPollen Labs Core Contributor<\/td>\nNicole Yeh<\/a><\/td>\nNon-technical examination and project oversight for Pollen Labs<\/a>. Be informed that this initiative has been concluded by PSE<\/a>, you can explore this section<\/a> for additional details.<\/em><\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nPSE Impact Framework Research<\/td>\nLauNaMu<\/a><\/td>\nCollaboratively defining tangible impact parameters and metrics that will empower PSE<\/a> teams to evaluate their achievements and assist them in enhancing their immediate and strategic plans to generate real-world effects.<\/td>\n\n\nCryptography & zero knowledge proofs<\/td>\nQuantum Computer Canary<\/a><\/td>\nKanguk Lee<\/a><\/td>\nExploring the potential dangers that quantum computing presents to the Ethereum crypto framework, offering a comprehensive introduction to the mathematics and terminology surrounding quantum algorithms, as well as mechanical explanations of their functions.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nReplicating circom-MP-SPDZ to Support MOTION<\/a><\/td>\n\nGenerating documentation for MOTION and duplicating 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>\nProducing extensive documentation for tfhe-rs and modifying 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>\nConstructing a Semaphore ERC-7579 validator module and frontend demonstration that allows users to implement the module in their smart accounts, incorporate members (identity commitments) into the Semaphore collective, and execute 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 utilities and modular components, comprising a Semaphore paymaster and frontend elements, meticulously crafted for developing account abstraction<\/a> applications.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nzkintro<\/a><\/td>\nOskar<\/a><\/td>\nPapers focused on ZK and programmable cryptography aimed at connecting the ZK community with a wider public lacking or having minimal insight into crypto and ZK.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nZK IR<\/td>\nVeridise<\/a><\/td>\nCreating an Intermediate Representation (IR) for circuit languages to tackle the disunity present in the circuit ecosystem, concentrating on building the initial ZK IR library that is linked with a proof-of-concept frontend and validation backend.<\/td>\nEmail<\/a><\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nzkLean<\/a><\/td>\n“`html
\nGalois<\/a><\/td>\nCreating a Lean DSL for defining ZK statements and a utility to automatically transition 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>\nDeveloping a Lean library for formally verified cryptographic proof systems that utilize Interactive Oracle Proofs (IOPs).<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\n\nZK Research Engineering Study Group<\/td>\nA group of developers based in Nigeria concentrating on researching, implementing, and educating about the fundamentals of ZK protocols to onboard both novice and experienced ZK research engineers.<\/td>\n<\/tr>\n\nCryptography & zero knowledge proofs<\/td>\nZK & Attestation Research<\/td>\nEAS Foundation<\/a><\/td>\nInvestigating the links between attestations and ZK to guide the possible creation of open-source tools for producing proofs based on attestations.<\/td>\nTwitter<\/a>, Telegram<\/a><\/td>\n<\/tr>\n\nDeveloper experience & tooling<\/td>\nAderyn<\/a><\/td>\nCyfrin<\/a><\/td>\nOpen-source, Rust-centric Solidity<\/a> smart contract static analyzer, aimed at assisting protocol engineers and security analysts in identifying weaknesses in Solidity codebases.<\/td>\n<\/tr>\n\nDeveloper experience & tooling<\/td>\nSail to Lean<\/a><\/td>\nUniversity of Cambridge<\/a>, Galois<\/a>, & Lindy Labs<\/a><\/td>\nFacilitating the employment of RISC-V semantics defined in Sail for validating zkVMs, making the Lean backend available to the broader formal methods community and supplying extracted semantics for teams checking RISC-V zkVMs.<\/td>\n<\/tr>\n\nDeveloper experience & tooling<\/td>\nSonatina Enhancements<\/td>\nLane Biocini<\/a><\/td>\nCreating formal semantics for Sonatina<\/a>, a Rust-based compiler backend, aiming to attain formal verification at the level of Sonatina’s IR to improve security, efficiency, and reliability in smart contract production 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 intended to enhance current EVM-TS browser tools by offering typesafe low-level EVM<\/a> tools for running bytecode in TS and allowing the aggregation 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>\nA tool to simplify and manage multi-EVM-chain smart contract deployment and functionality, inclusive of 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>\nVerifying the precision of revm<\/a> when converted to RISC-V, in accordance with KEVM (the formal description of the EVM created in K), and constructing a Lean backend for K.<\/td>\n<\/tr>\n\nDeveloper experience & tools<\/td>\nWeb3j<\/a><\/td>\nWeb3 Labs<\/a><\/td>\nA lightweight, incredibly modular, reactive, and typesafe Java and Android library designed for engaging with smart contracts and integrating with clients (nodes) on the Ethereum ecosystem.<\/td>\n<\/tr>\n\nExecution layer<\/td>\nBesu Stateless Implementation<\/td>\nConsenSys<\/a><\/td>\nContributions towards statelessness research and development, encompassing specification\/design efforts and Besu implementations.<\/td>\n<\/tr>\n\nExecution layer<\/td>\nCertified Compilation with Precompiles<\/td>\nBas Spitters (Aarhus University)<\/a><\/td>\nFacilitating a 3-year initiative at Aarhus University<\/a>, where a PhD candidate will focus on certified compilation using precompiles applicable to the EVM<\/a> and zkVMs.<\/td>\n<\/tr>\n\nExecution layer<\/td>\nEIP-7736 Prototype<\/a><\/td>\nWei Han Ng<\/a><\/td>\nCreating a prototype for EIP-7736, a streamlined and elegant suggestion to utilize verkle trees for state expiry implementation.<\/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>\nCrafting a canonical, maintainable, and validated EVM specification in Coq that will serve as a foundation for a verified RISC-V implementation of the EVM<\/a> specification via certified compilation.<\/td>\n<\/tr>\n\nExecution layer<\/td>\nkaralabe-ssz Fuzzer<\/td>\nDongHyeon Hwang<\/a><\/td>\nInvestigating and constructing an efficient fuzzer aimed at assessing the serialization and deserialization operations 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>\nCreating a transaction fee market for Ethereum that facilitates parallel execution by pricing transactions based on resource usage and demand.<\/td>\n<\/tr>\n\nExecution layer<\/td>\nZevem<\/a><\/td>\nJordan Ellis Coppard<\/a><\/td>\nExtending Zevem, the EVM<\/a> designed with Zig, to accommodate all existing commands and stateless gas costs.<\/td>\n<\/tr>\n\nGeneral research<\/td>\nCrystal-Clear<\/a><\/td>\nCHAINS Research Group<\/a> at KTH<\/a><\/td>\nAn investigative endeavor aimed at mapping the connections among smart contracts while monitoring modifications to enhance security.<\/td>\n<\/tr>\n\nGeneral research<\/td>\nOptimization of Honest Block Building<\/td>\nALPACAS Research Group<\/a> at HKUST<\/a><\/td>\nResearch
\n“`into the enhancement of transparent block creation (no toxic MEV<\/a>) to optimize overall gas costs, utilizing gas dependency correlations among transactions, the sparsity within gas dependency networks, and the development of a parameterized methodology for optimization.<\/td>\n<\/tr>\n\nGeneral inquiry<\/td>\nRestaking Economic Framework<\/td>\nCADLabs<\/a><\/td>\nCreating a public, open-source modeling simulation to assess cryptoeconomic security and the yield\/risk metrics within the restaking protocol environment.<\/td>\nEmail<\/a><\/td>\n<\/tr>\n\nIndirect sponsorship<\/td>\nDevcon SEA Quadratic Voting Round<\/a><\/td>\n\nQuadratic voting phase to bolster essential Ethereum dashboards that aid the community in comprehending pertinent Ethereum data. Each Devcon SEA participant was offered the chance to cast their vote.<\/td>\n<\/tr>\n\nIndirect sponsorship<\/td>\nEthereum TGU<\/a> Academia QV Round<\/td>\n\nPublic funding initiative utilizing MACI<\/a> Platform focused on engaging and integrating university sectors in Tegucigalpa, Honduras, centering on projects in research, education, social betterment, and academia that promote blockchain adoption.<\/td>\n<\/tr>\n\nLayer 2<\/td>\nBlob-Sharing Protocol for Based Rollups<\/td>\nNethermind<\/a><\/td>\nCreating a blob-sharing instrument for based rollups, which will entail establishing a standard for organizing L2<\/a> blocks of various rollups within a collective blob, a standard in the L2<\/a> inboxes for processing the shared blob, and executing test scenarios to confirm the design.<\/td>\n<\/tr>\n\nLayer 2<\/td>\n\ngrowthepie<\/a><\/td>\nBroadening metrics to encompass the Ethereum network and integrating contracts deployed to Ethereum into their contract labeling framework, allowing users to juxtapose Ethereum L1 chain statistics with L2s<\/a>.<\/td>\n<\/tr>\n\nOther<\/td>\nDeFRIDA<\/td>\nNethermind<\/a><\/td>\nInnovative data availability sampling procedure for L2<\/a> applications and light clients.<\/td>\n<\/tr>\n\nOther<\/td>\n\nEuropean Crypto Initiative (EUCI)<\/a><\/td>\nAssistance for EUCI’s blockchain advocacy endeavors in the EU.<\/td>\n<\/tr>\n\nOther<\/td>\nFormal Verification Model of revm in Coq<\/a><\/td>\nFormal Land<\/a><\/td>\nCreating a Coq rendition of revm<\/a> for formal verification, with evaluations to contrast the Coq and Rust iterations encompassing each instruction and proof that the formalization of revm aligns with 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 ongoing efforts on blockchain, decentralization, and privacy policy studies and advocacy.<\/td>\n<\/tr>\n<\/div>\n