in

Allocation Replace – Q1 2025




Community & educationAccount Abstraction Afterhours – Season 2Mirko Garozzo & Francesco AndreoliProducing educational videos with thought leaders in the account abstraction ecosystem, with Season 2 focusing on the application layer and how dapps are using account abstraction.Community & educationACM Conference on Economics and Computation (EC)Scientific conference on advances in theory, empirics, and applications at the interface of economics and computation.Community & educationA General Forum on Ethereum Localism (GFEL): Boulder 2025OpenCivicsEvent in Boulder, USA that explored Ethereum’s real-world use cases in the realm of social impact and public goods through talks, unconference sessions, and a quadratic funding allocation to local community groups.Community & educationArabic Blockchain Developer BootcampBlokkatArabic-language, online bootcamp equipping computer science students and web2 developers in the MENA region with the technical skills needed to become proficient blockchain developers.Community & educationCentrum NodeCentrumRunning an Ethereum node and holding regular beginner-friendly events aiming to expand the reach of decentralized technology (e.g. node construction workshops, dapp development introductions, study sessions).Community & educationCommunity Privacy ResidencyResidency in Taipei, Taiwan focused on researching, co-designing, and building open-source applications for community privacy, with emphasis on applications for vulnerable communities, community co-design, and privacy infrastructure.EmailCommunity & educationCrowdsourced Community-Organizing ResourcesTanja MladenovicCreating a collection of crowdsourced insights that serve as a comprehensive Ethereum event-planning guide, hosted on the ethereum.org website.Community & educationDevcon Satellite EventsFunding round to support events that spotlight Devcon SEA programming or experiences.Community & educationEscuela de Ciencias Informáticas (ECI) Summer SchoolSummer school hosted at the University of Buenos Aires in Argentina, featuring courses presented by professors from across the globe with some topics closely related to Ethereum.Community & educationETHBratislavaSupporting the ETHBratislava community to host the ETHBratislava hackathon and conference, meetups, and community calls to grow the Central and Eastern Europe Ethereum ecosystem.Community & educationETHClujSupporting ETHCluj for a series of community-building activities in Cluj-Napoca, Romania including Ethereum think tank sessions, workshops for university students, and technical presentations.Community & educationEthereum Argentina Cordoba EditionBeginner-friendly conference organized in Cordoba, Argentina covering topics such as the Ethereum roadmap, use cases, and layer 2s (L2s).Community & educationEthereum TegucigalpaSupporting Ethereum Tegucigalpa for a series of community-building activities in Honduras.Community & educationEthereumZuri.chConference hosted in Zurich, Switzerland that aims to bridge the gap between academia and industry, focusing on topics such as consensus mechanisms, dapps, and security.Community & educationETHiopia Hackathon & ConferenceFirst Ethereum conference and hackathon in Addis Ababa, Ethiopia focused on government tech and scaling Ethereum across Africa.Community & educationETHPragueConference hosted in Prague, Czech Republic focusing on topics such Ethereum core and EVM, developer ecosystem and tooling, sustainable futures, and societal challenges and opportunities.Community & educationEthStakerCommunity providing guidance, education, support, and resources for existing and potential stakers, with the principle goal of maximizing the Ethereum network’s decentralization.DiscordCommunity & educationHacklahomaHackathon hosted by students at the University of Oklahoma in USA, with workshops and a track dedicated to building on Ethereum.Community & educationHigh-Assurance Crypto Software (HACS) WorkshopAspiration TechWorkshop hosted in Sofia, Bulgaria bringing cryptographic developers together with experts in formal verification and high assurance methodologies, fostering collaboration towards making cryptographic software flawless.Community & educationInternational Institute of Information Technology (IIIT) Hyderabad Ethereum Education Explorations v2Ankit GangwalRunning a dedicated Ethereum course as part of IIIT Hyderabad‘s main curriculum, and guiding 2 PhD students and a research associate on Ethereum-related research.Community & educationInternational Workshop on Satisfiability Modulo Theories (SMT)Workshop run in Glasgow, UK with the goal of exchanging ideas between SMT solver developers and users of SMT, and motivating new research in SMT.Community & educationETHKyivSupporting the community to host mini-hackathons, meetups focused on use cases, and hackathon events.Community & educationNapulETH Open VillageConference and hackathon organized in Naples, Italy, featuring tracks such as zero-knowledge proofs (ZKPs), privacy, and scaling.Community & educationNational Workshop & Bootcamp on Cybersecurity & BlockchainEvent that explored theoretical knowledge of evolving cyber threats and blockchain security along with Ethereum-focused, hands-on practical sessions and interactive bootcamp exercises, organized by IIIT, Hyderabad in India.Community & educationRoad to ETHPrague MeetupsEthereumCzech & ETHPragueSeries of meetups organized in Prague and Brno, Czech Republic to onboard more locals to the Ethereum ecosystem in the lead-up to ETHPrague, focused on topics such as security, AI agents, and UX/UI.Community & educationStackTooDeepBlockchain Society IIT RoorkeeEthereum-focused hackathon that aimed to foster a culture of web3 development and promote decentralized innovation at the Indian Institute of Technology (IIT) Roorkee in India.Community & educationThe House of EtherBluechain Research CooperativeEthereum community education initiative aimed at engaging university students, researchers, and academics, as well as the general public in northeastern Greece.Community & educationThe Midwest Block-a-ThonKU Blockchain InstituteBlockchain hackathon hosted at the University of Kansas in USA with Ethereum-focused workshops.Community & educationThe Wellbeing ProtocolDesigning and developing an “end-to-end money flow” on Ethereum rails for local community funding allocation, including improvements towards more intuitive and user-friendly UI/UX for quadratic voting.Community & educationUzumakiTitania ResearchResearch hub in Japan working to solve Ethereum’s most critical problems, in domains such as consensus, zkVM, and proposer-builder separation (PBS).Community & educationWeb3 Development Internship ProgramWeb3 InstituteInternship program focused on Ethereum ecosystem development in Ukraine, bridging the gap between technical education and industry needs by connecting students with practical development opportunities.Community & educationZu-GrāmaResidency in Kerala, India dedicated to exploring advancements and conducting experiments in thematic tracks such as impact and public goods, cryptography, and longevity.Consensus layerFabricCommunity-driven initiative focused on standardizing based rollup infrastructure by defining common components, improving proposer commitments, and creating shared specifications for rollup teams to adopt.Consensus layerGotEthMiga LabsContinued development of the open-source Ethereum data indexing client, expanding existing features by filling in missing onchain data, improving slashing event tracking, indexing Ethereum deposits, and optimizing validator rewards data storage, followed by ensuring full compatibility with the upcoming Pectra upgrade to enhance its long-term reliability and impact.Consensus layerjvm-libp2p QUIC Transport SupportPeergosAdding support for the QUIC transport protocol to the jvm-libp2p library, as QUIC has inherently faster handshake latency and generally better performance characteristics than TCP transport.Consensus layerLighthouseSigma PrimeSupport for the Lighthouse consensus client to continue protocol R&D towards upcoming network upgrades, work on PeerDAS, and networking engineering on mainnet.Consensus layerLiveness AccountabilityAndrew Lewis-PyeDeveloping a proof-of-concept approach that delineates the settings in which some form of liveness accountability is possible, aiming to establish both possibility and impossibility results where possible.Consensus layerLodestarChainSafeContinued development and maintenance of the Lodestar TypeScript implementation of the Ethereum beacon chain, development of the Ethereum protocol, and TypeScript/JavaScript ecosystem tooling.Consensus layerROP-9.3: FOCIL Implementation, Tests, & DevnetsJihoon SongImplementing and testing FOCIL prototypes in Prysm and Geth, and running local devnets using Kurtosis.Cryptography & zero knowledge proofsCursiveSupporting the Cursive team’s app development, cryptography research, design work, and user expansion strategy.Cryptography & zero knowledge proofsDimitri KoshelevExploration of isogenies and other cryptographic areas essential to Ethereum’s roadmap, working closely with Ethereum Foundation researchers to accelerate learning and align efforts with Ethereum’s goals.Cryptography & zero knowledge proofsLean Blueprint for FRINethermindDeveloping a Lean blueprint for FRI, along with the mathematical pre-requisites that are needed for it and currently missing from Lean’s mathlib (primarily coding theory).Cryptography & zero knowledge proofsLean Blueprints for STIR & WHIRLeast AuthorityDeveloping a Lean blueprint for STIR and WHIR by laying out all the definitions, lemmas, and theorems required to prove the properties of completeness and soundness for STIR and WHIR, and producing a dependency graph relating them all.Cryptography & zero knowledge proofsMachina iOPia ParkSupporting the team in implementing new theoretical ideas and resolving bottlenecks in both theory and implementation of iO that improve either its security or efficiency.Cryptography & zero knowledge proofsPhantom ZoneAdvancing practical iO by strengthening the local mixing approach, developing an obfuscated AES program for white-box hacking contests, creating an encrypted RISC-V virtual machine using fully homomorphic encryption (FHE), and exploring improvements to functional encryption schemes based on evasive LWE for publicly verifiable FHE.EmailCryptography & zero knowledge proofsplonky3 & LeanNethermindDeveloping an interface between plonky3 (widely used by zkVMs to implement STARKs) and Lean to enable the verification of plonky3 AIR circuits.Cryptography & zero knowledge proofsPoseidon Algebraic CryptanalysisLuca Campa & Stefano TrevisaniAlgebraic cryptanalysis of Poseidon specifically focusing on the Groebner basis cryptanalysis of the Poseidon instances suggested in the bounty program, as part of the Poseidon Grants Round.Cryptography & zero knowledge proofsSemaphore in NoirHashCloakImplementing Semaphore in Noir, which requires a Noir circuit, additional software development kit (SDK) functionality that does proof generation and proof verification for the Noir circuit, and additional versions of the Semaphore Solidity contracts where the verifier for UltraHonk is included.Cryptography & zero knowledge proofsUnderstanding the Algebraic Security of Multi-Output CICO-Problems from PoseidonSimula UiBDetermining the security of Poseidon in the multi-output CICO context by deriving concrete estimates of algebraic attacks in this setting, as part of the Poseidon Grants Round.Cryptography & zero knowledge proofsVOLE in the Head (VOLE-itH)Shouki TsudaEnabling on-chain verification of VOLE-itH ZKP, specifically encapsulating VOLE-itH ZKP within SNARK to achieve succinctness and enable verification with smart contracts. The cost of verification on Ethereum is measured and analyzed, with benchmarks covering circuits such as hash functions and including execution on mobile clients. These will be used to identify bottlenecks and explore further improvements.Cryptography & zero knowledge proofsZK EmailAayush GuptaExtensive set of open source SDKs, libraries, and protocols that enable email-based proofs.Cryptography & zero knowledge proofsZKEmail.nrZK Email written in Noir to push forward the capabilities of client-side, privacy-preserving email proving.Cryptography & zero knowledge proofsZKNOXSupporting ZKNOX to implement post-quantum signatures and ZK-friendly cryptography, improve hardware wallets, and implement and optimize EIP-616 for cryptographic and ZK verification efficiency.Developer experience & toolingAndroidPortalDirk JäckelDeveloping a decentralized mobile SDK for Android that operates without a JSON-RPC provider or any other centralized backend. By integrating a Portal Network client and a Trueblocks client, the SDK will enable users to access Ethereum data in a trustless and verifiable manner.Developer experience & toolingBuidl GuidlEducational community of builders creating products and prototypes, and providing Ethereum developer education.Developer experience & toolingCommit-BoostOpen-source platform enabling Ethereum validators to securely execute MEV-Boost and other community-built commitment protocols, actively working to increase adoption by providing validators with a proposer commitment sidecar that enables preconfirmations and out-of-protocol inclusion lists.Developer experience & toolingEIPs OntologyDavid Hyland-WoodOpen-source project aiming to produce EIP content that is more accessible and usable by leveraging large language models (LLMs) to process AllCoreDev meeting summaries, EIP metadata, and additional documentation.Developer experience & toolingEthereum Ecosystem GitHub CategorizationOpen Source ObserverBuilding an automated classification system for open-source GitHub repositories in the Ethereum ecosystem to enable easier discovery, more informed decision-making, and better resource allocation across Ethereum development efforts.Developer experience & toolingEthereum for RubyStraightforward Ruby library to build, sign, and broadcast Ethereum transactions that allows the separation of key and node management.Developer experience & toolingFe LanguageOngoing development of the Fe v2 language server and editor plugins, along with broader work on various aspects of the compiler.Developer experience & toolingOpenSaucedEnhancing the open-source analytics tooling and dashboard by introducing key Ethereum developer metrics, namely library usage analytics and languages by TVL and fees.Developer experience & toolingVyperSupporting the Vyper team’s core development activities in 2025.Developer experience & toolingWeb3.jsChainSafeWeb3.js was sunset with a structured support plan to ensure security, successful migration, and continuity for users as they transitioned to new tooling.Developer experience & toolingKurtosis Engine Kubernetes Logging SupportTedi MitikuAdding centralized/persistent logging support to the Kurtosis Kubernetes backend.Developer experience & toolingKurtosis Support for Log Aggregation via External ServicesBloctopusAdding support for Kurtosis to export logs to an external log aggregation platform, allowing for seamless integration into existing systems as well as using external compute resources for more complicated analytics.Twitter, TelegramDeveloper experience & toolingSimplifying the Verification of zkVM CircuitsCertiKDeveloping tactics that will simplify the verification of zkVM circuits, with a focus on modular arithmetic and cases where multiple numbers are packed into one field element.Developer experience & toolingSolhintProtofireOngoing maintenance and support for Solhint, the Solidity linter, including actively managing community contributions, addressing questions, and resolving bug reports to ensure the tool remains robust, up-to-date, and valuable for the Ethereum developer ecosystem.DiscordDeveloper experience & toolingSTK2ChainCarlos MuriithiResearching and developing open-source smart contracts (building on existing AA-437 implementations), middleware, and backend to allow authenticating and sending of 4337 UserOps over GSM USSD (using STK interface) without using the internet.Developer experience & toolingVerus EvaluationCertiKEvaluating the usefulness of Verus (a tool for Rust verification) in verifying circuits and EVM precompiles written in Rust.Execution layerErigonFunding for Erigon’s continued work on the Ethereum mainnet, specifically their execution client development and applied R&D on Ethereum’s execution layer.TwitterExecution layerGas Cost EstimatorimappBenchmarking BLS12-381 precompiles, exploring the impact of different repricing approaches on mainnet transaction throughput, and drafting an EIP to adjust the pricing of one or more operations based on the benchmark results.Execution layerGeth RollupNethermindContinued development of the Geth rollup project.Execution layerROP-15: EVM Gas MeteringMaria Inês SilvaDetermining how changes to the gas metering rules impact block throughput and utilization through empirical analysis and simulation.Execution layerSambameldsun0 & Derek SorkenEthereum portal client written in Java language based on Teku and Besu.Email, Discord: meldsunGeneral growth & supportEcoDev Research FellowshipAnna M., Jelilat Anofiu, Nick Potts, & Ori ShimonySix-month research fellowship positions investigating a research proposal focused on one or two nascent Ethereum use cases which materially and uniquely benefit from the affordances of Ethereum, exploring the key blockers and enablers to making these use cases a reality.General growth & supportEF Internship ProgramBosul Mun, Souradeep Das, Louis Tsai, Shantikiran Chanal, Wonbin Jin, & Harsh KariaThe EF’s first formal summer internship program aimed at nurturing the next generation of Ethereum developers and researchers, with interns working in the following teams and domains: Applied Research Group (ARG), Ethereum Execution Layer Specifications (EELS), Ethereum Execution Specification Tests (EEST), Geth, Portal, and Protocol Security.General growth & supportEU Grants ResearchConducting a comprehensive analysis of the available EU programs and initiatives that can support blockchain non-profits.General growth & supportThe European Decentralization Think TankEuropean decentralization think tank that produces tangible outputs (policy briefs/events) to strengthen corporate engagement and policy influence in Europe.Indirect fundingGitcoin Grants 23Matching funding for Gitcoin Grants 23, focusing on ecosystem and community-driven rounds.Indirect fundingStackTooDeep Quadratic Voting RoundBounty prize contribution to support a hackathon organized via Privote—a universal no-code platform built on MACI. MACI is a private, on-chain, voting system leveraging ZKPs.Layer 2L2BEATContinued financial support for L2BEAT to provide transparent and reliable information about Ethereum’s L2 ecosystem.OtherDecentralization Research CenterNon-profit that advocates for decentralization as a fundamental characteristic of emerging technologies. This includes the development of blockchain protocols and applications that are immutable, censorship resistant, transparent, secure, and enable data self-sovereignty.OtherDeFi ScanDeFi CollectiveIncreasing the coverage and pace of covered DeFi projects on DeFi Scan, improving the website frontend design, and supporting education efforts.OtherEtherealizeInstitutional business development and marketing for Ethereum to educate and onboard institutions into the Ethereum ecosystem.OtherEthereum Financial InstituteGlobal, credibly neutral organization dedicated to integrating the traditional financial system with Ethereum, fostering collaboration and strategic alignment.OtherFORYU: FORmal semantics for YUL in CoqEnrique Martin, Samir Genaim, & Elvira AlbertDeveloping formal semantics for Yul in Coq prover.OtherLocal-First DappsrotkiSteps towards local-first dapps within rotki and other containers, including developing a secure proxy architecture that bridges the local application with wallet extensions or other signers, and general research into local-first applications as a vision.OtherPayments ReportBluechipIn-depth stablecoin report incorporating insights from real conversations with industry practitioners, in addition to secondary research.OtherVerifereumEstablishing a formal specification for a subset of the Vyper programming language, which involves defining a definitional interpreter in logic that excludes EVM state operations.Website, ZulipProtocol growth & supporteODS SpecsDan GoronDeveloping initial specifications for enshrined operator-delegator separation, as well as community feedback on the mechanism.Protocol growth & supportETH Rangers ProgramAmber Group, Alexandre Melo, David, Ho Nhut Minh, Jean-Loïc Mugnier, Kelsie Nabben, NFT_Dreww, Nick Bax, Oskar (blackbigswan), Palina Tolmach, Peter Kacherginsky, Sergio Garcia, Sina Pilehchiha, SomaXBT, SunSec, & Tim FanProgram supporting individuals dedicating time to working on public goods security efforts within the Ethereum ecosystem.Protocol growth & supportPebbleDB for GethjsvisaBenchmarking, optimizing, and demonstrating improvement in PebbleDB performance for Geth.Protocol growth & supportPectra Proactive Grant RoundGrants round to support the Ethereum ecosystem in preparation for the Pectra network upgrade.Protocol growth & supportPeerDAS & FOCIL MetricsKatya RyazantsevaMetric specifications for PeerDAS and FOCIL.



Source link

Leave a Reply

Your email address will not be published. Required fields are marked *

GIPHY App Key not set. Please check settings

XEI ETF: Greater Dividend And Extra Diversified Than XDIV (TSX:XEI:CA)

When Is Jerome Powell’s Time period Up? Discover Out When it Ends – Hollywood Life