# TheDAO Security Fund Initiatives

> 64 approved Ethereum security initiatives (11 RFPs, 53 grants) looking for funding: $350,164.91 raised of $8,304,290 asked, from 45 backers. Every donation goes to that initiative's own Safe on Ethereum mainnet and is paid out to the team only as milestones are accepted.

To evaluate an initiative, read its full text: who ends up safer and from what attack, what gets built, and the adoption milestone that proves outside parties use it. Compare the goal with the impact and with what is already raised. To back one, donate to its Safe from any wallet or exchange (the Safe address, chain and accepted tokens are in each entry), or pledge on its page. Read the donation terms first.

## Data

- [All initiatives, full text](https://initiatives.thedao.fund/llms-full.txt): every approved initiative in one Markdown file, pinned first, then by total raised
- [initiatives.json](https://initiatives.thedao.fund/api/initiatives.json): the same data as JSON, filterable with ?type=rfp|grant, ?cat=<slug>, ?status=open|funded
- [JSON Schema](https://initiatives.thedao.fund/api/initiatives.schema.json): the schema of initiatives.json

## Initiatives

- [Source-Level Debugging for Solidity: ethdebug in solc](https://initiatives.thedao.fund/initiative/source-level-debugging-for-solidity-ethdebug-in-solc-2.md): Grant, Compilers & Languages, 54.1% funded of $279,000
- [End-to-End Formally Verified Vyper Compiler](https://initiatives.thedao.fund/initiative/vyper-verified-compilation-and-secure-language-upgrades.md): Grant, Formal Verification, 16.7% funded of $600,000
- [Community Fuzzing Tooling for Ethereum Ecosystem Projects](https://initiatives.thedao.fund/initiative/community-fuzzing-tooling-for-ethereum-ecosystem-projects.md): RFP, Fuzzing & Testing, 25% funded of $150,000
- [EEZ Extends Ethereum: Making Its Contracts Safe for Chains to Adopt](https://initiatives.thedao.fund/initiative/independent-security-assurance-for-the-eez-smart-contracts.md): Grant, Audits & Analysis, 25% funded of $120,000
- [DappFence: Verifiable Frontend Security](https://initiatives.thedao.fund/initiative/dappfence-verifiable-frontend-security.md): Grant, Infrastructure & Clients, 30% funded of $90,000
- [Safe Lockdown Guard: An Emergency Freeze for Kidnapping and Coercion](https://initiatives.thedao.fund/initiative/safe-lockdown-guard-an-emergency-freeze-for-kidnapping-and-c.md): Grant, OpSec, 25% funded of $14,000
- [Wallet Security for Post-Quantum Ethereum](https://initiatives.thedao.fund/initiative/wallet-security-for-post-quantum-ethereum.md): RFP, Wallets & Signing, 0.2% funded of $250,000
- [Preventing Theft in Mainstream Wallets with Vaults](https://initiatives.thedao.fund/initiative/preventing-theft-with-vaults-in-mainstream-wallets.md): RFP, Wallets & Signing, 0.1% funded of $240,000
- [LeekWallet: an open DIY hardware wallet with a secure element PIN gate, and build workshops in Mexico](https://initiatives.thedao.fund/initiative/leekwallet-an-open-diy-hardware-wallet-with-a-secure-element.md): Grant, Wallets & Signing, 0.4% funded of $32,190
- [EquiVM: End-to-End Formal Verification for EVM Bytecode](https://initiatives.thedao.fund/initiative/equivm-formal-verification-of-evm-bytecode.md): Grant, Formal Verification, 0% funded of $240,000
- [Phishing Dojo: Interactive Security Training for Teams.](https://initiatives.thedao.fund/initiative/phishing-dojo-interactive-security-training-for-teams.md): Grant, OpSec, 0.1% funded of $75,000
- [thatsRekt: EVM exploit alerts for the public good.](https://initiatives.thedao.fund/initiative/thatsrekt-evm-exploit-alerts-for-the-public-good.md): Grant, Detection & Response, 0% funded of $45,000
- [HackViz — Interactive Real-World Ethereum Exploit Learning Sandbox](https://initiatives.thedao.fund/initiative/hackviz-interactive-real-world-ethereum-exploit-learning-san.md): Grant, Research & Education, 0% funded of $20,000
- [Decentralized, Privacy-Preserving EDR](https://initiatives.thedao.fund/initiative/privacy-preserving-edr.md): Grant, OpSec, 0% funded of $300,000
- [An Open Bug Bounty Program for All of Ethereum: White Hat Rescued Funds Distribution Service](https://initiatives.thedao.fund/initiative/an-open-bug-bounty-program-for-all-of-ethereum-white-hat-res.md): RFP, Detection & Response, 0% funded of $200,000
- [Address Poisoning Detection and Public API for Ethereum and L2s](https://initiatives.thedao.fund/initiative/address-poisoning-detection-and-public-api-for-ethereum-and.md): Grant, Detection & Response, 0% funded of $39,600
- [Know What You Sign: Verified Simulation Against Blind Signing](https://initiatives.thedao.fund/initiative/know-what-you-sign-verified-simulation-against-blind-signing.md): Grant, Wallets & Signing, 0% funded of $135,000
- [Make dApps Verify What They Show: colibri in Wallets, DeFi and Web3 Apps](https://initiatives.thedao.fund/initiative/make-dapps-verify-what-they-show-colibri-in-wallets-defi-and.md): Grant, Wallets & Signing, 0% funded of $175,000
- [Trustless Across Ethereum: colibri Verification for L2 Networks and Bridges](https://initiatives.thedao.fund/initiative/trustless-across-ethereum-colibri-verification-for-l2-networ.md): Grant, Infrastructure & Clients, 0% funded of $245,000
- [Blockful Governance Recovery Responder](https://initiatives.thedao.fund/initiative/blockful-governance-recovery-responder.md): Grant, Detection & Response, 0% funded of $150,000
- [Assertions for Safes: enforced on every transaction, readable by every signer](https://initiatives.thedao.fund/initiative/assertions-for-safes-enforced-on-every-transaction-readable.md): Grant, Wallets & Signing, 0% funded of $75,000
- [Geth as a zkVM guest: a second client family for Ethereum block proving](https://initiatives.thedao.fund/initiative/geth-as-a-zkvm-guest-a-second-client-family-for-ethereum-blo.md): Grant, Infrastructure & Clients, 0% funded of $260,000
- [$1 OpSec Audits](https://initiatives.thedao.fund/initiative/1-opsec-audits.md): RFP, OpSec, 0% funded of $80,000
- [Actual Rollup Exit Guarantees for DeFi and Multisigs](https://initiatives.thedao.fund/initiative/actual-rollup-exit-guarantees-for-defi-and-multisigs.md): RFP, Infrastructure & Clients, 0% funded of $265,000
- [Crypto Social Account Security & Rapid Response Network](https://initiatives.thedao.fund/initiative/crypto-social-account-security-rapid-response-network.md): Grant, Detection & Response, 0% funded of $125,000
- [ZK Clear Signing: verifiable transaction display for hardware and software wallets](https://initiatives.thedao.fund/initiative/zk-clear-signing-verifiable-transaction-display-for-hardware.md): Grant, Wallets & Signing, 0% funded of $200,000
- [Perimeterwatch: Private External Exposure Monitoring for Ethereum Projects](https://initiatives.thedao.fund/initiative/perimeterwatch-private-external-exposure-monitoring-for-ethe.md): Grant, OpSec, 0% funded of $150,000
- [From Community Contracts to OpenZeppelin Contracts: ERC-7786 OpenBridge](https://initiatives.thedao.fund/initiative/from-community-contracts-to-openzeppelin-contracts-erc-7786.md): Grant, Infrastructure & Clients, 0% funded of $21,000
- [Preparing encrypted mempools for inclusion in the earliest EIP possible](https://initiatives.thedao.fund/initiative/preparing-encrypted-mempools-for-inclusion-in-the-earliest-e.md): Grant, Infrastructure & Clients, 0% funded of $11,500
- [Sealed signing agent: a low-cost tamper-responsive HSM with an AI guardrail against social-engineered transactions](https://initiatives.thedao.fund/initiative/sealed-signing-agent-a-low-cost-tamper-responsive-hsm-with-a.md): Grant, Wallets & Signing, 0% funded of $180,000
- [Audit Coverage Attestations: bind every audit report to the exact verified bytecode it covered](https://initiatives.thedao.fund/initiative/audit-coverage-attestations-bind-every-audit-report-to-the-e.md): Grant, Audits & Analysis, 0% funded of $200,000
- [Onay: Local signing companion](https://initiatives.thedao.fund/initiative/onay-local-signing-companion.md): Grant, Wallets & Signing, 0% funded of $45,000
- [Towards a Formally Verified Solc](https://initiatives.thedao.fund/initiative/towards-a-formally-verified-solc.md): Grant, Formal Verification, 0% funded of $350,000
- [Shift-Left Security for Ethereum Open Source: Agent-Enforced Security ADRs](https://initiatives.thedao.fund/initiative/shift-left-security-for-ethereum-open-source-agent-enforced.md): Grant, Audits & Analysis, 0% funded of $120,000
- [Etherform: A Hardened CI/CD Standard for Foundry Smart Contracts](https://initiatives.thedao.fund/initiative/etherform-a-hardened-ci-cd-standard-for-foundry-smart-contra.md): Grant, Fuzzing & Testing, 0% funded of $12,000
- [State of Ethereum AI Agent Security](https://initiatives.thedao.fund/initiative/state-of-ethereum-ai-agent-security.md): Grant, Research & Education, 0% funded of $75,000
- [DPRK IT Worker Screening for the Ethereum Ecosystem](https://initiatives.thedao.fund/initiative/dprk-it-worker-screening-for-the-ethereum-ecosystem.md): Grant, OpSec, 0% funded of $50,000
- [NanoJS Investigations: Sustaining Independent Ethereum Forensic Casework and Open Tooling](https://initiatives.thedao.fund/initiative/nanojs-investigations-sustaining-independent-ethereum-forens.md): Grant, Detection & Response, 0% funded of $10,000
- [Self-serve scoped permissions and pre-signature checks for Safes and AI agents](https://initiatives.thedao.fund/initiative/self-serve-scoped-permissions-and-pre-signature-checks-for-s.md): Grant, Wallets & Signing, 0% funded of $135,000
- [From Code to Audit-Ready: Security Workshops for Smart Contract Developers](https://initiatives.thedao.fund/initiative/from-code-to-audit-ready-security-workshops-for-smart-contra.md): Grant, Research & Education, 0% funded of $110,000
- [Hookscope: Evidence-Backed Uniswap v4 Hook Warnings](https://initiatives.thedao.fund/initiative/hookscope-browser-native-uniswap-v4-hook-transparency.md): Grant, DeFi Safety, 0% funded of $25,000
- [Expiring Approvals (ERC-8255): Registry, Tooling, Audits and Adoption](https://initiatives.thedao.fund/initiative/expiring-approvals-erc-8255-registry-tooling-audits-and-adop.md): Grant, Wallets & Signing, 0% funded of $300,000
- [Onchain Risk Map: An Open Operational Incident Graph for Ethereum Security](https://initiatives.thedao.fund/initiative/onchain-risk-map-an-open-operational-incident-graph-for-ethe.md): Grant, Detection & Response, 0% funded of $50,000
- [Exploit Exposure Layer: Free Data on Every Wallet Still Approved to an Exploited Contract](https://initiatives.thedao.fund/initiative/exploit-exposure-layer-free-data-on-every-wallet-still-appro.md): Grant, Detection & Response, 0% funded of $100,000
- [TEE Security Handbook: practical verification, failure analysis and recovery for Ethereum](https://initiatives.thedao.fund/initiative/tee-security-handbook-practical-verification-failure-analysi.md): Grant, Research & Education, 0% funded of $18,000
- [From Community Contracts to OpenZeppelin Contracts: ERC-7540 Asynchronous Vaults](https://initiatives.thedao.fund/initiative/from-community-contracts-to-openzeppelin-contracts-erc-7540.md): Grant, DeFi Safety, 0% funded of $90,000
- [Solidity (Wake) VS Code Extension Maintenance and AI Fuzzing](https://initiatives.thedao.fund/initiative/solidity-wake-vs-code-extension-maintenance-and-ai-fuzzing.md): Grant, Audits & Analysis, 0% funded of $10,000
- [Wake v5 Maintenance and AI-Assisted Fuzzing](https://initiatives.thedao.fund/initiative/wake-v5-maintenance-and-ai-assisted-fuzzing.md): Grant, Fuzzing & Testing, 0% funded of $20,000
- [Ethereum Decompiler Benchmark & Open Bytecode Analysis Standard](https://initiatives.thedao.fund/initiative/open-ethereum-bytecode-transparency-decompilation-infrastruc.md): Grant, Audits & Analysis, 0% funded of $120,000
- [Spec Bank: a public, composable registry of formal specifications for DeFi](https://initiatives.thedao.fund/initiative/spec-bank-a-public-composable-registry-of-formal-specificati.md): RFP, Formal Verification, 0% funded of $100,000
- [EtherWorld Security News & Reports: EIP-7702, Encrypted Mempools and Post-Quantum Ethereum](https://initiatives.thedao.fund/initiative/etherworld-security-news-reports-eip-7702-encrypted-mempools.md): Grant, Research & Education, 0% funded of $25,000
- [Fund Echidna Development Through 2027](https://initiatives.thedao.fund/initiative/fund-echidna-development-through-2027-2.md): Grant, Fuzzing & Testing, 0% funded of $48,000
- [Open EVM Compiler Differential Fuzzing Platform](https://initiatives.thedao.fund/initiative/open-evm-compiler-differential-fuzzing-platform.md): Grant, Compilers & Languages, 0% funded of $75,000
- [Account Abstraction and Mempool Security Analytics](https://initiatives.thedao.fund/initiative/account-abstraction-and-mempool-security-analytics.md): Grant, Detection & Response, 0% funded of $45,000
- [The Ethernaut: Six New Levels Built from Real-World Exploits](https://initiatives.thedao.fund/initiative/the-ethernaut-six-new-levels-built-from-real-world-exploits.md): Grant, Research & Education, 0% funded of $44,000
- [Open Standard and Automated Triage Tooling for Ethereum Security Issues](https://initiatives.thedao.fund/initiative/open-standard-and-automated-triage-tooling-for-ethereum-secu.md): Grant, Audits & Analysis, 0% funded of $150,000
- [Securing Ethereum with Formal Verification](https://initiatives.thedao.fund/initiative/securing-ethereum-with-formal-verification.md): Grant, Formal Verification, 0% funded of $200,000
- [Provider-Independent, Client-Verified ENS Resolution](https://initiatives.thedao.fund/initiative/provider-independent-client-verified-ens-resolution.md): RFP, Infrastructure & Clients, 0% funded of $150,000
- [Production-Ready Local-First Safe UI](https://initiatives.thedao.fund/initiative/production-ready-local-first-safe-ui.md): RFP, Wallets & Signing, 0% funded of $120,000
- [ForensIQ: Faster Ethereum Incident Response Through Evidence Reconstruction](https://initiatives.thedao.fund/initiative/forensiq-faster-ethereum-incident-response-through-evidence.md): Grant, Detection & Response, 0% funded of $135,000
- [Directory of Value](https://initiatives.thedao.fund/initiative/directory-of-value.md): RFP, Audits & Analysis, 0% funded of $185,000
- [A Unified Platform for Web3 OpSec](https://initiatives.thedao.fund/initiative/a-unified-platform-for-web3-opsec.md): Grant, OpSec, 0% funded of $250,000
- [OPSEC Ratings Coalition to Build & Maintain an "L2Beat for OPSEC"](https://initiatives.thedao.fund/initiative/opsec-ratings-coalition-to-build-maintain-an-l2beat-for-opse.md): RFP, OpSec, 0% funded of $150,000
- [Automated EIP Compliance Checks for Ethereum Clients](https://initiatives.thedao.fund/initiative/automated-eip-compliance-checks-for-ethereum-clients.md): Grant, Infrastructure & Clients, 0% funded of $20,000

## Support

- [The board](https://initiatives.thedao.fund/): donate or pledge from any initiative's page
- [Donation terms](https://initiatives.thedao.fund/donation-terms): what a donation is and how unspent funds are handled

## Rules

- [Drafting guide](https://initiatives.thedao.fund/submit.md): the guide for proposing a new initiative, including the round rules
- [Suggest an initiative](https://initiatives.thedao.fund/submit): where a finished draft is submitted