| Neighborhood & schooling |
Cal Hacks 12.0 |
|
Collegiate hackathon organized on the College of California, Berkeley overlaying themes resembling AI and web3. |
|
| Neighborhood & schooling |
Destino Devconnect |
|
Grants spherical centered on supporting community-led occasions and initiatives that assist deliver Argentina and the broader Latin America area onchain. |
|
| Neighborhood & schooling |
ETH Latam Hackathon Brasil 2025 |
ETHSamba |
Hackathon hosted in São Paulo, Brazil prioritizing real-world Ethereum and onboarding new builders. |
Email |
| Neighborhood & schooling |
Funding the Commons: Buenos Aires 2025 |
|
Convention hosted in Buenos Aires, Argentina revolving round RealFi: monetary infrastructure designed for real-world coordination, entry, and public items funding. |
|
| Neighborhood & schooling |
High Assurance Crypto Software (HACS) Workshop 2026 |
|
Workshop organized in Taipei, Taiwan bringing collectively cryptographers, cryptographic software program engineers, and formal verification consultants to enhance the safety and correctness of real-world cryptographic software program. |
|
| Neighborhood & schooling |
|
Hong Kong Polytechnic University Research Center for Blockchain Technology |
Collaborating on and supporting a variety of educational actions, resembling scholarships for the MSc in Blockchain Technology program, the Asiacrypt 2026 convention, visitor lectures, and joint analysis actions. |
|
| Neighborhood & schooling |
Invisible Garden |
|
Developer pop-up metropolis centered on Ethereum, ZKPs, AI, and cybersecurity organized in Buenos Aires, Argentina. |
|
| Neighborhood & schooling |
|
Lancerium |
Offering journey help to allow the 2 founders to fly to and attend Devconnect ARG. |
|
| Neighborhood & schooling |
Local Meetups LATAM Grant Round |
Localism Fund |
Collaborative grant spherical with Localism Fund designed to maintain post-Devconnect momentum throughout Latin America by empowering native Ethereum communities to host constant, instructional, and inclusive month-to-month meetups for one 12 months. |
|
| Neighborhood & schooling |
Stablecoin (JPYC) Innovation Challenge |
Crypto Asset Community |
Cross-industry ideathon designed to floor and speed up options that make use of stablecoins—particularly JPYC—to unravel actual enterprise challenges throughout sectors resembling e-commerce, logistics, actual property, and accounting. |
|
| Neighborhood & schooling |
2025 ethereum.org Translatathon |
|
Translation contest that goals to incentivize translation contributions in less-active languages, improve the variety of languages and quantity of content material obtainable on ethereum.org, and onboard new contributors whereas rewarding present ones. |
|
| Consensus layer |
Ream |
Ream Labs |
Continued growth of the modular, contributor-friendly, and quick implementation of the Lean Consensus specification. |
|
| Cryptography & zero data proofs |
AVAZAR: Automated Verification Instruments for zkVM Arithmetization |
Albert Rubio |
Supporting work on the verification (and tooling to take action) of circuits in LLZK. |
|
| Cryptography & zero data proofs |
|
EPFL Laboratory for Computation Security |
Supporting PhD college students within the analysis lab engaged on foundational and utilized cryptography analysis, which addresses core limitations in present SNARK designs together with recursion safety and the exploration of tradeoffs between proof measurement and safety. |
|
| Cryptography & zero data proofs |
Evolution of the LLZK IR |
Veridise |
Continued growth of LLZK to strengthen it as shared, verification-oriented infrastructure for the ZK compiler ecosystem, enabling extra strong tooling, interoperability throughout ZK DSLs, and improved correctness ensures for ZK circuits. |
|
| Cryptography & zero data proofs |
Fiat-Shamir Specification |
|
Specification and formalization in Lean of Fiat-Shamir based mostly on the Fiat-Shamir transformation from duplex sponges/spongefish development. |
|
| Cryptography & zero data proofs |
Lean Backend for Hax |
Cryspen |
Continued growth of a Lean backend for Hax, permitting Rust code to be formally verified in Lean. |
|
| Cryptography & zero data proofs |
OpenVM Formal Verification |
Axiom |
Formal verification of OpenVM centered on establishing the useful correctness of all RV32IM opcode circuits, with the purpose of decreasing the danger of soundness or completeness points in OpenVM’s circuit design and contributing reusable formal verification infrastructure to the broader zkVM ecosystem. |
X (Twitter) |
| Cryptography & zero data proofs |
Personal Funds L2 |
Vienhage Cybersecurity UG |
Making a prototype of a minimal, open-source app-specific L2 rollup for personal stablecoin transfers, utilizing light-weight ZK circuits and a simplified sequencing mannequin. |
|
| Cryptography & zero data proofs |
Privote |
Shashank Trivedi |
Personal on-chain voting protocol powered by MACI that’s internet hosting the frontend for the Gitcoin Grants 24: Privacy area. |
|
| Cryptography & zero data proofs |
The Recursive Extraction Downside |
Nicholas Spooner |
Researching the safety of recursive composition in SNARKs, specializing in the recursive extraction drawback that arises when safety proofs require repeated software of data extractors. |
|
| Cryptography & zero data proofs |
Rust Verification Via Lean 4 Tooling Investigation |
Runtime Verification |
Investigating Lean 4-based formal verification of Rust elements utilized in zkEVM and zkVM stacks, with a give attention to establishing a sensible Rust to Lean verification pipeline utilizing the hax toolchain. |
|
| Cryptography & zero data proofs |
STIR & WHIR in ArkLib |
Nethermind |
Formalizing key theorems for STIR and WHIR in Lean and supplementing them with an executable specification. |
|
| Cryptography & zero data proofs |
Poseidon Cryptanalysis Bounty Program |
Jintai Ding & Ziyu Zhao |
Fixing bounties listed within the Poseidon Cryptanalysis Bounty Program, which has the dual objectives of guaranteeing that the interpolation assault is the quickest preimage assault on Poseidon, and verifying that the complexity of the interpolation assault on the diminished spherical variations matches the theoretical estimates. |
|
| Cryptography & zero data proofs |
Technical Evaluation of Fiat–Shamir from Duplex Sponges |
Kasra Abbaszadeh |
Technical evaluation of the latest evaluation of the Fiat–Shamir transformation instantiated by way of duplex sponges, specializing in rigorously auditing the underlying safety arguments, figuring out any gaps or ambiguities, and clarifying the important thing abstractions wanted for rigorous reasoning. |
|
| Cryptography & zero data proofs |
Tightening the Hash Dimension in Spherical-by-Spherical Sound IOPs |
Nethermind |
Investigating whether or not multi-round, round-by-round sound SNARKs can safely use smaller hash digests, starting with a feasibility research in each the Random Oracle Mannequin and the Quantum Random Oracle Mannequin. |
|
| Cryptography & zero data proofs |
Verifying Autoprecompiles |
powdr labs & Certora |
Formally verifying powdr‘s autoprecompiles to assist enhance efficiency and velocity up adoption. |
|
| Cryptography & zero data proofs |
WHIR |
Onur Kılıç |
Speed up WHIR and upstream it into Plonky3, to contribute to the low-level stack of proving system for Ethereum post-quantum signatures. |
|
| Developer expertise & tooling |
Ethereum Developer Ecosystem Dataset |
Open Source Observer |
Delivering an improved, reproducible, and publicly auditable view of Ethereum developer ecosystem knowledge together with a sustainable mechanism to maintain it up to date. |
|
| Developer expertise & tooling |
solc-mlir Center Finish Optimization Layer for Solidity |
Walnut |
Centered analysis effort so as to add an MLIR middle-end to the Solidity compiler, with the purpose of yielding measurable fuel financial savings and enabling richer correctness and security analyses. |
|
| Execution layer |
Helios Integration in Kohaku |
Karen Sarkisyan |
Integrating Helios with the Kohaku browser extension, enhancing efficiency, and guaranteeing it’s a transportable and simply integrable a part of the Kohaku SDK. |
|
| Basic development & help |
Deep Funding Markets |
Seer |
Multiscalar prediction market the place mannequin builders wager on the worth an open-source repository would obtain if it had been to be professionally evaluated, used in Gitcoin Grants 24. |
|
| Basic development & help |
|
European Crypto Initiative (EUCI) |
Conducting EU-focused coverage advocacy and schooling campaigns aimed toward key regulators and policymakers. |
|
| Basic development & help |
Gitcoin Grants 24: Privacy Domain |
|
Co-funding for the Privateness area, which helps privateness options for a safe onchain Ethereum ecosystem. |
|
| Basic development & help |
Gitcoin Grants 24: Public Items R&D Area |
|
Co-funding for the GG24 Public Items R&D Area. The grant helps concrete tutorial and different types of analysis that advance the insights and data on Ethereum public items and their funding, whereas supporting the event of impartial, open-source options rooted in these insights, with a give attention to interoperability between instruments. |
|
| Basic development & help |
Juror Voting for Deep Funding |
Allan Niemerg |
Establishing a juror analysis course of, creating an app for accumulating knowledge from jurors, and integrating the outcomes into the Deep Funding voting app. |
|
| Different |
Anti-Crypto-Drainer Operations |
Security Alliance (SEAL) |
Monitoring, discovering, and blocking crypto drainers attacking EVM-based chains. |
|
| Different |
BuidlGuidl’s Builder Bootcamp Seize the Flag |
|
Seize the Flag (CTF) competitors the place individuals deal with 12 more and more difficult Solidity puzzles to hunt for vulnerabilities, exploit sensible contract weaknesses, and resolve cryptographic challenges. |
|
| Different |
Capture the Funds |
Certora |
Solidity based mostly CTF-style safety competitors, the place individuals compete towards each other to use susceptible DeFi protocols and earn the very best rating. |
|
| Different |
Clear Signing Library |
WalletConnect |
Constructing a library and PoC pockets that goals to unravel the problem of blind signing. |
|
| Different |
Kaggle Competitors for LLM Identification of Good Contract Vulnerabilities |
OneSavie Lab |
Internet hosting a Kaggle competition for LLM-based sensible contract vulnerability detection constructed on the Bastet dataset, with the purpose of attracting each crypto safety expertise and non-crypto AI/LLM expertise. |
|
| Different |
NodeCore |
dRPC |
Incorporating network-level privateness right into a high-performance, self-hosted RPC load-balancer that distributes requests throughout a number of blockchain suppliers or nodes, optimizing for latency, error price, and price. |
|
| Different |
Open Creator Rails |
ChainSafe |
Minimal, verifiable on-chain runtime for managing time-bound entry to digital assets utilizing deterministic entitlements. |
|
| Protocol development & help |
LLM-Enabled Differential Testing on Ethereum Clients |
Chiachih Wu |
Designing and implementing LLM-enabled differential testing on Ethereum purchasers to hurry up the flexibility to search out vulnerabilities on the Ethereum protocol. |
|
| Protocol development & help |
Protocol Fellowship |
Mike Neuder |
Doctoral work centered on utilizing instruments from economics and computation to deepen the understanding of blockchain mechanism design, producing high-impact tutorial analysis and academic content material resembling public explainers on protocol adjustments and educating a brand new blockchain course at Princeton College. |
|
| Protocol development & help |
Smart Contract Vulnerability Database |
Truscova |
Constructing a system that accepts all kinds of various vulnerability experiences in numerous codecs from a number of sources, massaging them right into a schema, after which outputting it right into a publicly obtainable dataset. |
|
| Protocol development & help |
Summer of Protocols (SoP) Program Administration |
Timber Stinson-Schroff |
Managing SoP by overseeing the 2025 program logistics, supporting neighborhood administration, and serving to to form SoP’s longer-term roadmap. |
|
| Protocol development & help |
|
The Tor Project |
Offering technical help to the Ethereum Basis’s Privacy Cluster to beat technical limitations of integrating Tor on the edge and the infrastructure of the Ethereum ecosystem. Work consists of enhancing scalability of bridging to Tor, and adapting Arti Tor consumer into wasm such that it may be built-in in wallets[sdks] and frontends. The collaboration goals to unlock Tor notably in constrained environments like browser wallets, bringing privateness to RPC calls like transaction broadcasting (eth_sendRawTx). |
|
| Protocol development & help |
Women in Ethereum Protocol (WiEP) Cohort 4 Facilitator |
Mercy Boma Naps-Nkari & Arunima Chaudhuri |
Facilitating WiEP Cohort 4 via actions resembling growing workflows, coordinating mentors, monitoring participant contributions, and supporting the group of the WiEP Brunch at Devconnect. |
|
| Protocol development & help |
WiEP Cohort 4 Advertising Coordinator |
Meenakshi Singh |
Supporting WiEP Cohort 4 by coordinating communications with mentors, college students, and audio system, managing social media posts, and aiding with the group and publication of session recordings. |
|
| Protocol development & help |
|
Divya Ranjan Pattanaik |
Casual 2-month internship to work on Ethereum protocol R&D. |
|
