X (Twitter)<\/a><\/td>\n<\/tr>\n\n| Cryptography & zero knowledge proofs<\/td>\n | Private Payments L2<\/td>\n | Vienhage Cybersecurity UG<\/td>\n | Creating a prototype of a minimal, open-source app-specific L2 rollup for private stablecoin transfers, using lightweight ZK circuits and a simplified sequencing model.<\/td>\n | <\/tr>\n |
\n| Cryptography & zero knowledge proofs<\/td>\n | Privote<\/a><\/td>\n | Shashank Trivedi<\/a><\/td>\n | Private on-chain voting protocol powered by MACI that is hosting the frontend for the Gitcoin Grants 24: Privacy<\/a> domain.<\/td>\n | <\/tr>\n |
\n| Cryptography & zero knowledge proofs<\/td>\n | The Recursive Extraction Problem<\/td>\n | Nicholas Spooner<\/a><\/td>\n | Researching the security of recursive composition in SNARKs, focusing on the recursive extraction problem that arises when security proofs require repeated application of knowledge extractors.<\/td>\n | <\/tr>\n |
\n| Cryptography & zero knowledge proofs<\/td>\n | Rust Verification Through Lean 4 Tooling Investigation<\/td>\n | Runtime Verification<\/a><\/td>\n | Investigating Lean 4-based formal verification of Rust components used in zkEVM and zkVM stacks, with a focus on establishing a practical Rust to Lean verification pipeline using the hax toolchain.<\/td>\n | <\/tr>\n |
\n| Cryptography & zero knowledge proofs<\/td>\n | STIR & WHIR in ArkLib<\/a><\/td>\n | Nethermind<\/a><\/td>\n | Formalizing key theorems for STIR and WHIR in Lean and supplementing them with an executable specification.<\/td>\n | <\/tr>\n |
\n| Cryptography & zero knowledge proofs<\/td>\n | Poseidon Cryptanalysis Bounty Program<\/a><\/td>\n | Jintai Ding<\/a> & Ziyu Zhao<\/td>\n | Solving bounties listed in the Poseidon Cryptanalysis Bounty Program<\/a>, which has the twin goals of ensuring that the interpolation attack is the fastest preimage attack on Poseidon, and verifying that the complexity of the interpolation attack on the reduced round versions matches the theoretical estimates.<\/td>\n | <\/tr>\n |
\n| Cryptography & zero knowledge proofs<\/td>\n | Technical Review of Fiat\u2013Shamir from Duplex Sponges<\/td>\n | Kasra Abbaszadeh<\/a><\/td>\n | Technical review of the recent analysis of the Fiat\u2013Shamir transformation instantiated via duplex sponges, focusing on carefully auditing the underlying security arguments, identifying any gaps or ambiguities, and clarifying the key abstractions needed for rigorous reasoning.<\/td>\n | <\/tr>\n |
\n| Cryptography & zero knowledge proofs<\/td>\n | Tightening the Hash Size in Round-by-Round Sound IOPs<\/td>\n | Nethermind<\/a><\/td>\n | Investigating whether multi-round, round-by-round sound SNARKs can safely use smaller hash digests, beginning with a feasibility study in both the Random Oracle Model and the Quantum Random Oracle Model.<\/td>\n | <\/tr>\n |
\n| Cryptography & zero knowledge proofs<\/td>\n | Verifying Autoprecompiles<\/td>\n | powdr labs<\/a> & Certora<\/a><\/td>\n | Formally verifying powdr<\/a>‘s autoprecompiles to help improve performance and speed up adoption.<\/td>\n | <\/tr>\n |
\n| Cryptography & zero knowledge proofs<\/td>\n | WHIR<\/td>\n | Onur K\u0131l\u0131\u00e7<\/a><\/td>\n | Accelerate WHIR and upstream it into Plonky3, to contribute to the low-level stack of proving system for Ethereum post-quantum signatures.<\/td>\n | <\/tr>\n |
\n| Developer experience & tooling<\/td>\n | Ethereum Developer Ecosystem Dataset<\/td>\n | Open Source Observer<\/a><\/td>\n | Delivering an improved, reproducible, and publicly auditable view of Ethereum developer ecosystem data along with a sustainable mechanism to keep it updated.<\/td>\n | <\/tr>\n |
\n| Developer experience & tooling<\/td>\n | solc-mlir Middle End Optimization Layer for Solidity<\/td>\n | Walnut<\/a><\/td>\n | Focused research effort to add an MLIR middle-end to the Solidity compiler, with the aim of yielding measurable gas savings and enabling richer correctness and safety analyses.<\/td>\n | <\/tr>\n |
\n| Execution layer<\/td>\n | Helios<\/a> Integration in Kohaku<\/a><\/td>\n | Karen Sarkisyan<\/a><\/td>\n | Integrating Helios<\/a> with the Kohaku<\/a> browser extension, improving performance, and ensuring it is a portable and easily integrable part of the Kohaku<\/a> SDK.<\/td>\n | <\/tr>\n |
\n| General growth & support<\/td>\n | Deep Funding Markets<\/a><\/td>\n | Seer<\/a><\/td>\n | Multiscalar prediction market where model builders bet on the value an open-source repository would receive if it were to be professionally evaluated, used in Gitcoin Grants 24<\/a>.<\/td>\n | <\/tr>\n |
\n| General growth & support<\/td>\n | \n | European Crypto Initiative (EUCI)<\/a><\/td>\n | Conducting EU-focused policy advocacy and education campaigns aimed at key regulators and policymakers.<\/td>\n | <\/tr>\n |
\n| General growth & support<\/td>\n | Gitcoin Grants 24: Privacy Domain<\/a><\/td>\n | \n | Co-funding for the Privacy domain, which supports privacy solutions for a secure onchain Ethereum ecosystem.<\/td>\n | <\/tr>\n |
\n| General growth & support<\/td>\n | Gitcoin Grants 24<\/a>: Public Goods R&D Domain<\/td>\n | \n | Co-funding for the GG24 Public Goods R&D Domain. The grant supports concrete academic and other forms of research that advance the insights and knowledge on Ethereum public goods and their funding, while supporting the development of neutral, open-source solutions rooted in these insights, with a focus on interoperability between tools.<\/td>\n | <\/tr>\n |
\n| General growth & support<\/td>\n | Juror Voting for Deep Funding<\/a><\/td>\n | Allan Niemerg<\/a><\/td>\n | Establishing a juror evaluation process, creating an app for collecting data from jurors, and integrating the results into the Deep Funding voting app.<\/td>\n | <\/tr>\n |
\n| Other<\/td>\n | Anti-Crypto-Drainer Operations<\/td>\n | Security Alliance (SEAL)<\/a><\/td>\n | Tracking, discovering, and blocking crypto drainers attacking EVM-based chains.<\/td>\n | <\/tr>\n |
\n| Other<\/td>\n | BuidlGuidl’s Builder Bootcamp<\/a> Capture the Flag<\/td>\n | \n | Capture the Flag (CTF) competition where participants tackle 12 increasingly challenging Solidity puzzles to hunt for vulnerabilities, exploit smart contract weaknesses, and solve cryptographic challenges.<\/td>\n | <\/tr>\n |
\n| Other<\/td>\n | Capture the Funds<\/a><\/td>\n | Certora<\/a><\/td>\n | Solidity based CTF-style security competition, where participants compete against one another to exploit vulnerable DeFi protocols and earn the highest score.<\/td>\n | <\/tr>\n |
\n| Other<\/td>\n | Clear Signing Library<\/td>\n | WalletConnect<\/a><\/td>\n | Building a library and PoC wallet that aims to solve the issue of blind signing.<\/td>\n | <\/tr>\n |
\n| Other<\/td>\n | Kaggle Competition for LLM Identification of Smart Contract Vulnerabilities<\/td>\n | OneSavie Lab<\/a><\/td>\n | Hosting a Kaggle competition<\/a> for LLM-based smart contract vulnerability detection built on the Bastet<\/a> dataset, with the goal of attracting both crypto security talent and non-crypto AI\/LLM talent.<\/td>\n | <\/tr>\n |
\n| Other<\/td>\n | NodeCore<\/a><\/td>\n | dRPC<\/a><\/td>\n | Incorporating network-level privacy into a high-performance, self-hosted RPC load-balancer that distributes requests across multiple blockchain providers or nodes, optimizing for latency, error rate, and cost.<\/td>\n | <\/tr>\n |
\n| Other<\/td>\n | Open Creator Rails<\/td>\n | ChainSafe<\/a><\/td>\n | Minimal, verifiable on-chain runtime for managing time-bound access to digital resources using deterministic entitlements.<\/td>\n | <\/tr>\n |
\n| Protocol growth & support<\/td>\n | LLM-Enabled Differential Testing on Ethereum Clients<\/a><\/td>\n | Chiachih Wu<\/a><\/td>\n | Designing and implementing LLM-enabled differential testing on Ethereum clients to speed up the ability to find vulnerabilities on the Ethereum protocol.<\/td>\n | <\/tr>\n |
\n| Protocol growth & support<\/td>\n | Protocol Fellowship<\/td>\n | Mike Neuder<\/a><\/td>\n | Doctoral work focused on using tools from economics and computation to deepen the understanding of blockchain mechanism design, generating high-impact academic research and educational content such as public explainers on protocol changes and teaching a new blockchain course at Princeton University.<\/td>\n | <\/tr>\n |
\n| Protocol growth & support<\/td>\n | Smart Contract Vulnerability Database<\/a><\/td>\n | Truscova<\/a><\/td>\n | Building a system that accepts a wide variety of different vulnerability reports in various formats from multiple sources, massaging them into a schema, and then outputting it into a publicly available dataset.<\/td>\n | <\/tr>\n |
\n| Protocol growth & support<\/td>\n | Summer of Protocols (SoP)<\/a> Program Management<\/td>\n | Timber Stinson-Schroff<\/a><\/td>\n | Managing SoP by overseeing the 2025 program logistics, supporting community management, and helping to shape SoP’s longer-term roadmap.<\/td>\n | <\/tr>\n |
\n| Protocol growth & support<\/td>\n | \n | The Tor Project<\/a><\/td>\n | Providing technical support to the Ethereum Foundation’s Privacy Cluster<\/a> to overcome technical barriers of integrating Tor at the edge and the infrastructure of the Ethereum ecosystem. Work includes improving scalability of bridging to Tor, and adapting Arti Tor client into wasm such that it can be integrated in wallets[sdks] and frontends. The collaboration aims to unlock Tor particularly in constrained environments like browser wallets, bringing privacy to RPC calls like transaction broadcasting (eth_sendRawTx).<\/td>\n | <\/tr>\n |
\n| Protocol growth & support<\/td>\n | Women in Ethereum Protocol (WiEP)<\/a> Cohort 4 Facilitator<\/td>\n | Mercy Boma Naps-Nkari<\/a> & Arunima Chaudhuri<\/a><\/td>\n | Facilitating WiEP<\/a> Cohort 4 through activities such as developing workflows, coordinating mentors, tracking participant contributions, and supporting the organization of the WiEP Brunch at Devconnect<\/a>.<\/td>\n | <\/tr>\n |
\n| Protocol growth & support<\/td>\n | WiEP<\/a> Cohort 4 Marketing Coordinator<\/td>\n | Meenakshi Singh<\/a><\/td>\n | Supporting WiEP<\/a> Cohort 4 by coordinating communications with mentors, students, and speakers, managing social media posts, and assisting with the organization and publication of session recordings.<\/td>\n | <\/tr>\n |
\n| Protocol growth & support<\/td>\n | \n | Divya Ranjan Pattanaik<\/a><\/td>\n | Informal 2-month internship to work on Ethereum protocol R&D.<\/td>\n | <\/tr>\n<\/div>\n
\n
Source link <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"Community & education Cal Hacks 12.0 Collegiate hackathon organized at the University of California, Berkeley covering themes such as AI and web3. Community & education Destino Devconnect Grants round focused on supporting community-led events and initiatives that help bring Argentina and the broader Latin America region onchain. Community & education ETH Latam Hackathon Brasil 2025 […]<\/p>\n","protected":false},"author":6,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"tdm_status":"","tdm_grid_status":"","footnotes":""},"categories":[24],"tags":[],"kronos_expire_date":[],"class_list":["post-18835","post","type-post","status-publish","format-standard","hentry","category-ethereum"],"_links":{"self":[{"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/posts\/18835","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/comments?post=18835"}],"version-history":[{"count":0,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/posts\/18835\/revisions"}],"wp:attachment":[{"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/media?parent=18835"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/categories?post=18835"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/tags?post=18835"},{"taxonomy":"kronos_expire_date","embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/kronos_expire_date?post=18835"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
|
![](\"https:\/\/storage.googleapis.com\/ethereum-hackmd\/upload_fd63dc334e72e1c2885cb7969adc1faf.jpg\")
<\/p>\n