TheDAO is allocating 400 ETH to the ETHSecurity Initiatives Round via @blossom_labs' Blossom Budgeting. To be eligible for funding, Initiatives will need to meet certain funding thresholds. Read all the details here 👇 paragraph.com/@thedao.fund/4…

🔥 @osec_io has pledged $37.5K to the Community Fuzzing Tooling initiative. This RFP is looking for a team to build scalable, continuous fuzzing infrastructure for Ethereum ecosystem projects. The goal is simple: make serious fuzzing easier to run, easier to access, and less dependent on every project building the same setup alone. Many teams know fuzzing matters. Far fewer can afford to run sustained, compute-heavy campaigns over time. This initiative aims to change that. Explore the initiative and help fund it: initiatives.thedao.fund/init…

Ethereum security gets stronger when the ecosystem funds the infrastructure everyone depends on. We’re excited to announce a collaborative effort with the @ethereumfndn on the End-to-End Formally Verified Vyper Compiler grant, now live in the ETHSecurity Initiatives Round. Vyper contracts are audited and verified at the source-code level, but Ethereum executes bytecode. Everything in between depends on the compiler preserving the meaning of what developers wrote. This grant funds work toward a machine-checked proof that @vyperlang compilation preserves source semantics, plus the infrastructure to re-verify supported releases. The goal is a public --verified compilation mode in the official Vyper compiler, with documented guarantees and real production adoption. The Ethereum Foundation has pledged $100K toward the initiative. Now we have a chance to bring the ecosystem together around one of the deepest layers of Ethereum security and help build a future where critical smart contract code can be verified all the way down to bytecode. Support the initiative: initiatives.thedao.fund/init…

Ethereum security cannot only depend on finding bugs after the fact. This Thursday, TheDAO’s Ethereum Security Space is back to talk formal verification, and how proving critical code behaves as intended can help make Ethereum safer. Join us ↓ xitter.cf/i/spaces/1YGNrbXQkQyGw…

Onchain security is everyone’s problem and nobody’s job. ETHSecurity Initiatives is how we are changing that. Propose the work. Fund the work. Build the work. initiatives.thedao.fund/

Good day to be bullish on ETH.

We just published a new article on the infrastructure securing TheDAO Security Fund. Written by TheDAO Security Fund curator @Pol_Lanski, it looks at how nearly 70,000 ETH is being staked, the architecture behind it, and the thinking that shaped the setup. Read it here ↓ paragraph.com/@thedao.fund/s…

On this day 10 years ago, TheDAO was hacked. If you had told people then that TheDAO would one day be funding Ethereum security, they probably wouldn’t have believed you. Yet here we are. Our first Ethereum Security QF Round funded 134 projects working to make Ethereum safer. Not a bad next chapter.